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
Rajeev Alur
Affiliation:
University of Pennsylvania
Web page:
http://www.cis.upenn.edu/~alur/
Pages in this Program
All Proceedings Papers
CAV 2022 All Papers
CAV 2022 All Papers: Papers with Abstracts
CAV on Wednesday, August 10th
CAV Program
Mentoring Workshop on Friday, August 5th
Mentoring Workshop Program
Paper: Specification-Guided Learning of Nash Equilibria with High Social Welfare
Program
Program for Friday, August 5th
Program for Sunday, July 31st
Program for Thursday, August 11th
Program for Wednesday, August 10th
Slides
Slides
SYNT on Thursday, August 11th
SYNT Program
VardiFest on Sunday, July 31st
VardiFest Program
Disclaimer
|
Powered by EasyChair Smart Program