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
Nir Piterman
Affiliation:
University of Gothenburg
Web page:
http://www.cse.chalmers.se/~piterman/
Pages in this Program
Accepted Papers
All Proceedings Papers
CAV on Tuesday, August 9th
CAV Program
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Monday, August 8th
IJCAR Program
Paper: Actions over Core-Closed Knowledge Bases
Paper: Modelling with Reconfigurable Communication Interfaces
Program
Program for Monday, August 8th
Program for Sunday, July 31st
Program for Tuesday, August 9th
VardiFest on Sunday, July 31st
VardiFest Program
VardiFest22 Talk Abstracts
VardiFest22 Talk Abstracts: Papers with Abstracts
Disclaimer
|
Powered by EasyChair Smart Program