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
Andrew Reynolds
Affiliation:
University of Iowa
Web page:
http://homepage.cs.uiowa.edu/~ajreynol/
Pages in this Program
Accepted Papers
All Proceedings Papers
CAV 2022 All Papers
CAV 2022 All Papers: Papers with Abstracts
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 on Wednesday, August 10th
IJCAR Program
Organization
Paper: Cooperating Techniques for Solving Nonlinear Arithmetic in the cvc5 SMT Solver (System Description)
Paper: Even Faster Conflicts and Lazier Reductions for String Solvers
Paper: Flexible Proof Production in an Industrial-Strength SMT Solver
Paper: Reasoning About Vectors using an SMT Theory of Sequences
Program
Program for Monday, August 8th
Program for Thursday, August 11th
Program for Tuesday, August 9th
Program for Wednesday, August 10th
Slides
Slides
SMT on Thursday, August 11th
SMT Program
SYNT on Thursday, August 11th
SYNT Program
Disclaimer
|
Powered by EasyChair Smart Program