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
Priyanka Golia
Affiliation:
Indian institute of technology, kanpur
Web page:
http://www.priyankagolia.com
Pages in this Program
All Proceedings Papers
CAV 2022 All Papers
CAV 2022 All Papers: Papers with Abstracts
CAV on Monday, August 8th
CAV Program
CP on Monday, August 1st
CP on Thursday, August 4th
CP Program
dpcp22 Doctoral Program Papers
dpcp22 Doctoral Program Papers: Papers with Abstracts
MC on Thursday, August 11th
MC Program
Paper: A Scalable Shannon Entropy Estimator
Paper: Boolean Functional Synthesis and its Applications
Program
Program for Monday, August 1st
Program for Monday, August 8th
Program for Thursday, August 11th
Program for Thursday, August 4th
QBF on Monday, August 1st
QBF Program
VardiFest22 Talk Abstracts
VardiFest22 Talk Abstracts: Papers with Abstracts
Disclaimer
|
Powered by EasyChair Smart Program