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
Marcel Hark
Affiliation:
RWTH Aachen University
Web page:
https://verify.rwth-aachen.de/mhark/
Pages in this Program
All Proceedings Papers
Paper: Automatic Complexity Analysis of (Probabilistic) Integer Programs via KoAT
Paper: Deciding Termination of Uniform Loops with Polynomial Parameterized Complexity
Paper: Improved Automatic Complexity Analysis of Integer Programs
Program
Program for Friday, August 12th
Program for Thursday, August 11th
VeriProp on Friday, August 12th
VeriProp Program
WST on Friday, August 12th
WST on Thursday, August 11th
WST Program
WST22 Program papers
WST22 Program papers: Papers with Abstracts
Disclaimer
|
Powered by EasyChair Smart Program
