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

IFIPWG1.6

QBF

ThEdu

DECFOML

ModRef

ASPOCP

MC

LMML

GDE

WPTE

GuttmanFest

iPRA

FCS

BCORE

UNIF

Coq

WOLVERINE

PDAR

Isabelle

SMT

ASL

DatalogMTL

TLLALINEARITY

LFMTP

IWC

ARQNL

REAI

PCCR

VardiFest

WiL

FMBC

Mentoring Workshop

SC^2

LogTeach

POS

FRIDA

DSV
Jürgen Giesl
Affiliation:
RWTH Aachen University, Germany
Web page:
http://verify.rwthaachen.de/giesl/
Pages in this Program
Accepted Papers
All Proceedings Papers
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Wednesday, August 10th
IJCAR Program
Organization
Paper: Automatic Complexity Analysis of (Probabilistic) Integer Programs via KoAT
Paper: Automatic Complexity Analysis of Integer Programs via Triangular Weakly NonLinear Loops
Paper: Deciding Termination of Uniform Loops with Polynomial Parameterized Complexity
Paper: Improved Automatic Complexity Analysis of Integer Programs
Paper: Proving NonTermination and Lower Runtime Bounds with LoAT (System Description)
Program
Program for Friday, August 12th
Program for Thursday, August 11th
Program for Wednesday, August 10th
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