Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | Welcome Address by the Rector (abstract) |
08:50 | Welcome Address by the Organizers (abstract) |
08:55 | VSL Opening (abstract) |
09:15 | VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract) |
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) |
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: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) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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) |
14:30 | A unified approach to Univalent Foundations and Homotopical Algebra (abstract) |
15:30 | Amortised Resource Analysis and Typed Polynomial Interpretations (abstract) |
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 | VSL Public Lecture: Gödel in Vienna (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 | VSL Keynote Talk: The theory and applications of o-minimal structures (abstract) |
14:30 | Concurrent Programming Languages and Methods for Semantic Analyses (abstract) |
15:30 | A Model of Countable Nondeterminism in Guarded Type Theory (abstract) |
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) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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) |
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) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00 | FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014) (abstract) |
09:00 | FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | FLoC Plenary Talk: Electronic voting: how logic can help? (abstract) |
10:15 | FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7) (abstract) |
10:15 | FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014) (abstract) |
14:30 | FLoC Olympic Games: Answer Set Programming Modeling Competition 2014 (abstract) |