VSL 2014: VIENNA SUMMER OF LOGIC 2014
RTA-TLCA PROGRAM

Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th

Monday, July 14th, 2014

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

08:45-09:15 Session 37: VSL Opening
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
Welcome Address by the Rector (abstract)
08:50
Welcome Address by the Organizers (abstract)
08:55
VSL Opening (abstract)
09:15-10:15 Session 38: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
09:15
VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 38D
Location: Informatikhörsaal
10:45
Implicational Relevance Logic is 2-ExpTime-Complete (abstract)
11:15
An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting (abstract)
11:45
Unification and Logarithmic Space (abstract)
12:15
Automated Complexity Analysis Based on Context-Sensitive Rewriting (abstract)
12:45
Automatic Evaluation of Context-Free Grammars (System Description) (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 41C
Location: Informatikhörsaal
14:30
Process types as a descriptive tool for distributed protocols (abstract)
15:30
Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB (abstract)
16:00-16:30Coffee Break
16:30-18:15 Session 42D
Location: Informatikhörsaal
16:30
A Coinductive Confluence Proof for Infinitary Lambda-Calculus. (abstract)
17:00
Confluence by Critical Pair Analysis (abstract)
17:30
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams (abstract)
18:00
Conditional Confluence (System Description) (abstract)
Tuesday, July 15th, 2014

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

08:45-10:15 Session 44: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract)
Monday, July 14th, 2014

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

Tuesday, July 15th, 2014

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

10:15-10:45Coffee Break
10:45-13:00 Session 47D
Location: Informatikhörsaal
10:45
Ramsey Theorem as an intuitionistic property of well founded relations (abstract)
11:15
Termination of Cycle Rewriting (abstract)
11:45
First-Order Formative Rules (abstract)
12:15
Formalizing monotone algebras for certification of termination- and complexity proofs (abstract)
12:45
Nagoya Termination Tool (System Description) (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 50D
Location: Informatikhörsaal
14:30
A unified approach to Univalent Foundations and Homotopical Algebra (abstract)
15:30
Amortised Resource Analysis and Typed Polynomial Interpretations (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 52C
Location: Informatikhörsaal
16:30
Self Types for Dependently Typed Lambda Encodings (abstract)
17:00
The Structural Theory of Pure Type Systems (abstract)
17:30
Unnesting of Copatterns (abstract)
19:00-20:00 Session 56A: VSL Public Lecture 1
Location: MB, Kuppelsaal
19:00
VSL Public Lecture: Gödel in Vienna (abstract)
Wednesday, July 16th, 2014

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

10:45-13:00 Session 56D
Location: Informatikhörsaal
10:45
Cut Admissibility by Saturation (abstract)
11:15
Predicate Abstraction of Rewrite Theories (abstract)
11:45
All-Path Reachability Logic (abstract)
12:15
Construction of retractile proof structures (abstract)
08:45-10:15 Session 57: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
VSL Keynote Talk: The theory and applications of o-minimal structures (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
14:30-16:00 Session 59D
Location: Informatikhörsaal
14:30
Concurrent Programming Languages and Methods for Semantic Analyses (abstract)
15:30
A Model of Countable Nondeterminism in Guarded Type Theory (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 61D
Location: Informatikhörsaal
16:30
Abstract datatypes for real numbers in type theory (abstract)
17:00
Local stores in string diagrams (abstract)
17:30
Preciseness of subtyping on intersection and union types (abstract)
Thursday, July 17th, 2014

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

08:45-10:15 Session 62A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract)
Wednesday, July 16th, 2014

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

Thursday, July 17th, 2014

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

10:15-10:45Coffee Break
10:45-12:45 Session 66AD
Location: Informatikhörsaal
10:45
Tree Automata with Height Constraints between Brothers (abstract)
11:15
Reduction System for Extensional Lambda-mu Calculus (abstract)
11:45
Proof terms for infinitary rewriting (abstract)
12:15
Near semi-rings and lambda calculus (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Location: MB, Kuppelsaal
16:30
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
FLoC Closing Week 1 (abstract)
Friday, July 18th, 2014

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

09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)
Location: FH, 2nd floor
09:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract)
Thursday, July 17th, 2014

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

Saturday, July 19th, 2014

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

08:45-10:15 Session 106A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract)
Sunday, July 20th, 2014

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

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)