| 2015 | On Probabilistic Distributed Strategies. | Glynn Winskel |
| 2015 | A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. | Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge |
| 2015 | First Steps Towards Cumulative Inductive Types in CIC. | Amin Timany, Bart Jacobs |
| 2015 | Multi-rate System Design Through Integrating Synchronous Components. | Ke Sun |
| 2015 | A Graphical Theorem of the Alternative for UTVPI Constraints. | K. Subramani, Piotr Wojciechowski |
| 2015 | The Proof Technique of Unique Solutions of Contractions. | Davide Sangiorgi |
| 2015 | Enforcement of (Timed) Properties with Uncontrollable Events. | Matthieu Renard, Ylis Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jron, Herv Marchand |
| 2015 | Specifying and Analyzing the Kademlia Protocol in Maude. | Isabel Pita, Adrin Riesco |
| 2015 | Deterministic Regular Expressions with Interleaving. | Feifei Peng, Haiming Chen, Xiaoying Mou |
| 2015 | MSO Logic and the Partial Order Semantics of Place/Transition-Nets. | Mateus de Oliveira Oliveira |
| 2015 | Undecidability Results for Multi-Lane Spatial Logic. | Heinrich Ody |
| 2015 | Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture). | Csar A. Muoz |
| 2015 | Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2015 | A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. | Damiano Mazza, Luc Pellissier |
| 2015 | A Game of Attribute Decomposition for Software Architecture Design. | Jiamou Liu, Ziheng Wei |
| 2015 | Asynchronous Announcements in a Public Channel. | Sophia Knight, Bastien Maubert, Franois Schwarzentruber |
| 2015 | A Resource Aware Computational Interpretation for Herbelin's Syntax. | Delia Kesner, Daniel Ventura |
| 2015 | Higher-Order Dynamics in Event Structures. | David S. Karcher, Uwe Nestmann |
| 2015 | Inverse Monoids of Higher-Dimensional Strings. | David Janin |
| 2015 | A Mathematical Game Semantics of Concurrency and Nondeterminism. | Julian Gutierrez |
| 2015 | Quotients of Unbounded Parallelism. | Nils Erik Flick |
| 2015 | Modeling Product Lines with Kripke Structures and Modal Logic. | Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David |
| 2015 | Aspect-Oriented Development of Trustworthy Component-based Systems. | Jos Dihego, Augusto Sampaio |
| 2015 | A Note on Monitors and Bchi Automata. | Volker Diekert, Anca Muscholl, Igor Walukiewicz |
| 2015 | Rigid Families for CCS and the π-calculus. | Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca |