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
Nicolas Beldiceanu
Affiliation:
IMT Atlantique (LS2N)
Web page:
https://cv.archives-ouvertes.fr/nicolasbeldiceanu
Pages in this Program
All Proceedings Papers
CP on Monday, August 1st
CP on Thursday, August 4th
CP on Wednesday, August 3rd
CP Program
dpcp22 Doctoral Program Papers
dpcp22 Doctoral Program Papers: Papers with Abstracts
Paper: A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Paper: Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Program
Program for Monday, August 1st
Program for Thursday, August 4th
Program for Wednesday, August 3rd
Slides
Slides
Disclaimer
|
Powered by EasyChair Smart Program