FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM
AUTHORS
KEYWORDS
SLIDES
VOLUMES
FLoC
|
LICS
|
ICLP
|
FSCD
|
NMR
|
KR
|
ITP
|
CP
|
SAT
|
CSF
|
DL
|
CAV
|
IJCAR
|
Olympic Games
|
SYNT
|
HoTT/UF
|
PC
|
TERMGRAPH
|
FoMLAS
|
ABR
|
PAAR
|
FOMEO
|
XLoKR
|
PERR
|
CHANGE
|
VeriProp
|
NSV
|
PLP
|
WST
|
IFIP-WG1.6
|
QBF
|
ThEdu
|
DECFOML
|
ModRef
|
ASPOCP
|
MC
|
LMML
|
GDE
|
WPTE
|
GuttmanFest
|
iPRA
|
FCS
|
BCORE
|
UNIF
|
Coq
|
WOLVERINE
|
PDAR
|
Isabelle
|
SMT
|
ASL
|
DatalogMTL
|
TLLA-LINEARITY
|
LFMTP
|
IWC
|
ARQNL
|
REAI
|
PCCR
|
VardiFest
|
WiL
|
FMBC
|
Mentoring Workshop
|
SC^2
|
LogTeach
|
POS
|
FRIDA
|
DSV
Olaf Beyersdorff
Affiliation:
Friedrich Schiller University Jena
Web page:
https://www.ti1.uni-jena.de
Pages in this Program
All Proceedings Papers
Paper: QCDCL with Cube Learning or Pure Literal Elimination – What is best?
PC 2022 Program papers
PC 2022 Program papers: Papers with Abstracts
PC on Monday, August 1st
PC Program
Program
Program for Monday, August 1st
Program for Thursday, August 4th
Program for Tuesday, August 2nd
Program for Wednesday, August 3rd
QBF on Monday, August 1st
QBF Program
SAT on Thursday, August 4th
SAT on Tuesday, August 2nd
SAT on Wednesday, August 3rd
SAT Program
Slides
Slides
Slides
Disclaimer
|
Powered by EasyChair Smart Program