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
Meghyn Bienvenu
Affiliation:
CNRS, University of Bordeaux
Pages in this Program
All Proceedings Papers
DL on Monday, August 8th
DL on Sunday, August 7th
DL Proceedings
DL Proceedings: Papers with Abstracts
DL Program
KR on Friday, August 5th
KR on Tuesday, August 2nd
KR on Wednesday, August 3rd
KR Program
Paper: Complexity Landscape for Counting Queries (Extended abstract)
Paper: Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)
Program
Program for Friday, August 5th
Program for Monday, August 8th
Program for Sunday, August 7th
Program for Tuesday, August 2nd
Program for Wednesday, August 3rd
Slides
Slides
Slides
Disclaimer
|
Powered by EasyChair Smart Program