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
Louis-Martin Rousseau
Affiliation:
Polytechnique
Web page:
http://www.crt.umontreal.ca/~louism
Pages in this Program
All Proceedings Papers
CP on Monday, August 1st
CP on Thursday, August 4th
CP on Tuesday, August 2nd
CP on Wednesday, August 3rd
CP Program
dpcp22 Doctoral Program Papers
dpcp22 Doctoral Program Papers: Papers with Abstracts
Paper: Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
Program
Program for Monday, August 1st
Program for Thursday, August 4th
Program for Tuesday, August 2nd
Program for Wednesday, August 3rd
Slides
Slides
Disclaimer
|
Powered by EasyChair Smart Program