FoSSaCS 2015 accepted papers
- Stefan Kiefer, Ines Marusic and James Worrell. Minimisation of Multiplicity Tree Automata
- Timos Antonopoulos, Paul Hunter, Shahab Raza and James Worrell. Three Variables Suffice for Real-Time Logic
- Matthijs Vákár. Syntax and Semantics of Linear Dependent Types
- Moses Ganardi. Parity Games of Bounded Tree- and Clique-Width
- Aleš Bizjak and Lars Birkedal. Step-Indexed Logical Relations for Probability
- Yaron Velner. Robust Multidimensional Mean-Payoff Games are Undecidable
- Hsi-Ming Ho and Joel Ouaknine. The Cyclic-Routing UAV Problem is PSPACE-Complete
- Paul-André Melliès and Charles Grellois. An infinitary model of linear logic
- Sylvain Salvati and Igor Walukiewicz. Typing weak MSOL properties
- Daniel Leivant and Ramyaa Ramyaa. The computational contents of ramified corecurrence
- Conrad Cotton-Barratt, David Hopkins, Andrzej Murawski and Luke Ong. Fragments of ML Decidable by Nested Data Class Memory Automata
- Joost Winter. A completeness result for finite λ-bisimulations
- Bartek Klin and Jurriaan Rot. Coalgebraic trace semantics via forgetful logics
- Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl and Lars Birkedal. Programming and Reasoning with Guarded Recursion for Coinductive Types
- Ranald Clouston and Rajeev Goré. Sequent Calculus in the Topos of Trees
- Konstantinos Mamouras. Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism
- Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen and Radu Mardare. On the Total Variation Distance of Semi-Markov Chains
- Bart Jacobs, Bas Westerbaan and Bram Westerbaan. States of Convex Sets
- Laura Bozzelli, Bastien Maubert and Sophie Pinchinat. Unifying Hyper and Epistemic Temporal Logics
- Pierre Clairambault and Peter Dybjer. Game Semantics and Normalization by Evaluation
- Daniel Gebler, Kim Guldstrand Larsen and Simone Tini. Compositional metric reasoning with Probabilistic Process Calculi
- Marc Bagnol, Amina Doumane and Alexis Saurin. On the dependencies of logical rules
- Guilhem Jaber. Operational Nominal Game Semantics
- Aleksy Schubert, Pawel Urzyczyn and Konrad Zdanowski. On the Mints Hierarchy in First-Order Intuitionistic Logic
- Martín Abadi, Frank McSherry and Gordon Plotkin. Foundations of Differential Dataflow
- Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan and Yue Ben. Decidable and Expressive classes of Probabilistic Automata
- Peter Habermehl and Dietrich Kuske. On Presburger arithmetic extended with modulo counting quantifiers
- Blaise Genest, Doron Peled and Sven Schewe. Knowledge = observation + memory + computation