VSL 2014: VIENNA SUMMER OF LOGIC 2014

LCC ON SATURDAY, JULY 12TH: TALK VIEW

Days:
next day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
08:45-08:50
LCC'14 Opening Remarks
Arnold Beckmann
08:50-09:45
Weighted Automata Theory for Complexity Analysis of Rewrite Systems
Georg Moser
09:45-10:15
Non-uniform Polytime Computation in the Infinitary Affine Lambda-calculus
Damiano Mazza
10:45-11:15
Towards recursion schemata for the probablistic class PP
Reinhard Kahle, Isabel Oitavem
11:15-11:45
Closing a Gap in the Complexity of Refinement Modal Logic
Antonis Achilleos, Michael Lampis
11:45-12:15
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
12:15-12:45
First-Order Logic of Order and Metric has the Three-Variable Property
Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell
14:30-15:30
Search problems, proof complexity, and second-order bounded arithmetic
Sam Buss
15:30-16:00
Infinite AC0 Circuits for Parity
Benjamin Rossman
16:30-17:00
Descriptive Complexity and CSP
Szymon Toruńczyk
17:00-17:30
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic
Martin Lange, Etienne Lozes
17:30-18:00
Small Dynamic Descriptive Complexity Classes
Thomas Zeume
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program