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
Claude-Guy Quimper
Affiliation:
Laval University
Web page:
http://www.ift.ulaval.ca/~quimper
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: Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Paper: Extended Abstract: Constraint Acquisition Based on Solution Counting
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