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
Armin Biere
Affiliation:
Freiburg
Web page:
https://cca.informatik.uni-freiburg.de/biere
Pages in this Program
All Proceedings Papers
Organization
PAAR on Thursday, August 11th
PAAR Program
Paper: Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
POS on Monday, August 1st
POS PoS'22 FLoC papers
POS PoS'22 FLoC papers: Papers with Abstracts
POS Program
Program
Program for Monday, August 1st
Program for Thursday, August 11th
Program for Tuesday, August 2nd
Program for Wednesday, August 3rd
SAT on Tuesday, August 2nd
SAT on Wednesday, August 3rd
SAT Program
Slides
Slides
Slides
Disclaimer
|
Powered by EasyChair Smart Program