VSL 2014: VIENNA SUMMER OF LOGIC 2014
LCC PROGRAM

Days: Saturday, July 12th Sunday, July 13th

Saturday, July 12th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 13A: LCC Opening and Invited Talk (Moser)
Location: FH, Zeichensaal 3
08:45
LCC'14 Opening Remarks (abstract)
08:50
Weighted Automata Theory for Complexity Analysis of Rewrite Systems (abstract)
09:45
Non-uniform Polytime Computation in the Infinitary Affine Lambda-calculus (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 16B: Contributed Talks
Location: FH, Zeichensaal 3
10:45
Towards recursion schemata for the probablistic class PP (abstract)
11:15
Closing a Gap in the Complexity of Refinement Modal Logic (abstract)
11:45
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic (abstract)
12:15
First-Order Logic of Order and Metric has the Three-Variable Property (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 18B: Invited Talk (Buss) and Contributed Talks
Location: FH, Zeichensaal 3
14:30
Search problems, proof complexity, and second-order bounded arithmetic (abstract)
15:30
Infinite AC0 Circuits for Parity (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 20B: Contributed Talks
Location: FH, Zeichensaal 3
16:30
Descriptive Complexity and CSP (abstract)
17:00
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic (abstract)
17:30
Small Dynamic Descriptive Complexity Classes (abstract)
Sunday, July 13th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:15 Session 23F: ImmermanFest Opening and Invited Talk
Location: FH, Zeichensaal 3
09:00
ImmermanFest Opening Remarks (abstract)
09:15
27 and still counting: Iterated product, inductive counting, and the structure of P (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 26A: Invited Talks
Location: FH, Zeichensaal 3
10:45
Some Reflections on Definability and Complexity (abstract)
11:45
Crane Beach Revisited (abstract)
13:00-14:30Lunch Break
14:00-16:00 Session 30: Invited Talks
Location: FH, Zeichensaal 3
14:00
On the power of fixed-point logic with counting (abstract)
15:00
Reasoning about transitive closure in Immerman's style (abstract)
16:00-16:30Coffee Break
16:30-17:45 Session 34A: Invited Talk and Closing
Location: FH, Zeichensaal 3
16:30
The Variable Hierarchy on Ordered Graphs (abstract)
17:30
Closing Remarks (abstract)