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
Francesca Rossi
Affiliation:
IBM Research, USA
Web page:
http://www.math.unipd.it/~frossi/
Pages in this Program
CP on Tuesday, August 2nd
CP Program
FLoC Program
FSCD on Tuesday, August 2nd
FSCD Program
ICLP on Tuesday, August 2nd
ICLP Program
KR on Tuesday, August 2nd
KR Program
LICS on Tuesday, August 2nd
LICS Program
Mentoring Workshop on Tuesday, August 2nd
Mentoring Workshop Program
Program
Program for Tuesday, August 2nd
SAT on Tuesday, August 2nd
SAT Program
Disclaimer
|
Powered by EasyChair Smart Program