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
Christoph M. Wintersteiger
Organization:
Microsoft
Web page:
http://research.microsoft.com/people/cwinter/
Pages in this Program
IJCAR on Sunday, July 15th
IJCAR Program
Program
Program for Monday, July 9th
Program for Sunday, July 15th
Program for Thursday, July 12th
Program for Wednesday, July 11th
SAT on Monday, July 9th
SAT on Thursday, July 12th
SAT on Wednesday, July 11th
SAT Program
Slides
Slides
Slides
SMT on Thursday, July 12th
SMT Program
Disclaimer
|
Powered by EasyChair Smart Program