FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM
AUTHORS
KEYWORDS
SLIDES
FLoC
|
FoPSS
|
ITP
|
CSF
|
FSCD
|
SAT
|
CAV
|
IJCAR
|
ICLP
|
FM
|
LICS
|
ADHS
|
ADSL
|
ARQNL
|
ASPOCP
|
AVOCS
|
CL&C
|
COALG
|
Coq
|
DCM
|
Domains13
|
DS-FM
|
EICNCL
|
F-IDE
|
FCS
|
FRIDA
|
GraMSec
|
GS
|
HCVS
|
HDRA
|
HOR
|
HoTT/UF
|
ICLP-DC
|
IFIP WG 1.6
|
Isabelle
|
ITRS
|
IWC
|
LaSh
|
LCC
|
LearnAut
|
LFMTP
|
Linearity/TLLA
|
LMW
|
LOLA
|
LPOP
|
LSB
|
MLP
|
MoRe
|
MSFP
|
NLCS
|
NSV
|
Overture
|
PAAR
|
PARIS
|
PC
|
PLR
|
POS
|
PRUV
|
QBF
|
RCRA
|
REFINE
|
ReMOTE
|
rv4rise
|
SCSC
|
SMT
|
SoMLMFM
|
SR
|
SYNT
|
TERMGRAPH
|
Tetrapod
|
ThEdu
|
TLA
|
TYDI
|
UITP
|
UNIF
|
Vampire
|
VaVAS
|
VDMW
|
VEMDP
|
VSTTE
|
WiL
|
WPTE
|
WST
Rayna Dimitrova
Organization:
University of Leicester
Web page:
https://raynadimitrova.github.io
Pages in this Program
Program
Program for Friday, July 13th
Program for Thursday, July 12th
Program for Thursday, July 19th
Program for Wednesday, July 18th
SMT on Friday, July 13th
SMT on Thursday, July 12th
SMT Program
SYNT on Wednesday, July 18th
SYNT Program
VSTTE on Thursday, July 19th
VSTTE Program
Disclaimer
|
Powered by EasyChair Smart Program
