| 2015 | Fragments of ML Decidable by Nested Data Class Memory Automata. | Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong |
| 2015 | Sequent Calculus in the Topos of Trees. | Ranald Clouston, Rajeev Gor |
| 2015 | Programming and Reasoning with Guarded Recursion for Coinductive Types. | Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
| 2015 | Game Semantics and Normalization by Evaluation. | Pierre Clairambault, Peter Dybjer |
| 2015 | Decidable and Expressive Classes of Probabilistic Automata. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben |
| 2015 | Unifying Hyper and Epistemic Temporal Logics. | Laura Bozzelli, Bastien Maubert, Sophie Pinchinat |
| 2015 | Step-Indexed Logical Relations for Probability. | Ales Bizjak, Lars Birkedal |
| 2015 | On the Dependencies of Logical Rules. | Marc Bagnol, Amina Doumane, Alexis Saurin |
| 2015 | On the Total Variation Distance of Semi-Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare |
| 2015 | Three Variables Suffice for Real-Time Logic. | Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell |
| 2015 | Foundations of Differential Dataflow. | Martn Abadi, Frank McSherry, Gordon D. Plotkin |
| 2014 | Complexity of Model-Checking Call-by-Value Programs. | Takeshi Tsukada, Naoki Kobayashi |
| 2014 | Combining Bialgebraic Semantics and Equations. | Jurriaan Rot, Marcello M. Bonsangue |
| 2014 | Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. | Luca Padovani |
| 2014 | Game Semantics for Nominal Exceptions. | Andrzej S. Murawski, Nikos Tzevelekos |
| 2014 | Models of a Non-associative Composition. | Guillaume Munch-Maccagnoni |
| 2014 | A Relatively Complete Calculus for Structured Heterogeneous Specifications. | Till Mossakowski, Andrzej Tarlecki |
| 2014 | Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus. | Matteo Mio |
| 2014 | Resource Reachability Games on Pushdown Graphs. | Martin Lang |
| 2014 | Bisimulations for Communicating Transactions - (Extended Abstract). | Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy |
| 2014 | Equivalences of Pushdown Systems Are Hard. | Petr Jancar |
| 2014 | Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes. | Hongfei Fu |
| 2014 | Generalized Synchronization Trees. | James Ferlez, Rance Cleaveland, Steven I. Marcus |
| 2014 | On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. | Javier Esparza, Jrg Desel |
| 2014 | On Asymmetric Unification and the Combination Problem in Disjoint Theories. | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen |