| 2011 | A Categorical Semantics for Inductive-Inductive Definitions. Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
| 2011 | A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita |
| 2011 | A Counterexample to Tensorability of Effects. Sergey Goncharov, Lutz Schröder |
| 2011 | Abstract Local Reasoning for Program Modules. Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse |
| 2011 | Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings Andrea Corradini, Bartek Klin, Corina Cîrstea |
| 2011 | Bases as Coalgebras. Bart Jacobs |
| 2011 | Coalgebraic Semantics for Derivations in Logic Programming. Ekaterina Komendantskaya, John Power |
| 2011 | Context-Free Languages, Coalgebraically. Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2011 | Distributive-Law Semantics for Cellular Automata and Agent-Based Models. Baltasar Trancón y Widemann, Michael Hauhs |
| 2011 | Finitary Functors: From Set to Preord and Poset. Adriana Balan, Alexander Kurz |
| 2011 | From Corecursive Algebras to Corecursive Monads. Jirí Adámek, Mahdieh Haddadi, Stefan Milius |
| 2011 | Generalized Product of Coalgebraic Hybrid Logics. Katsuhiko Sano |
| 2011 | Hybridization of Institutions. Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa |
| 2011 | Indexed Induction and Coinduction, Fibrationally. Clément Fumex, Neil Ghani, Patricia Johann |
| 2011 | Infinite Computation, Co-induction and Computational Logic. Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
| 2011 | Linearly-Used State in Models of Call-by-Value. Rasmus Ejlers Møgelberg, Sam Staton |
| 2011 | Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger |
| 2011 | Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. Corina Cîrstea |
| 2011 | Model Constructions for Moss' Coalgebraic Logic. Jort Bergfeld, Yde Venema |
| 2011 | On the Fusion of Coalgebraic Logics. Fredrik Dahlqvist, Dirk Pattinson |
| 2011 | On the Statistical Thermodynamics of Reversible Communicating Processes. Giorgio Bacci, Vincent Danos, Ohad Kammar |
| 2011 | PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
| 2011 | PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. Musab AlTurki, José Meseguer |
| 2011 | Preface to CALCO-Tools. Dorel Lucanu |
| 2011 | Proving Safety Properties of Rewrite Theories. Camilo Rocha, José Meseguer |
| 2011 | Refinement Trees: Calculi, Tools, and Applications. Mihai Codescu, Till Mossakowski |
| 2011 | Relation Liftings on Preorders and Posets. Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil |
| 2011 | Shacc: A Functional Prototyper for a Component Calculus. André Martins, Luís Soares Barbosa, Nuno F. Rodrigues |
| 2011 | Solving Fixed-Point Equations by Derivation Tree Analysis. Javier Esparza, Michael Luttenberger |
| 2011 | Stone Duality for Nominal Boolean Algebras with И. Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan |
| 2011 | The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. Ichiro Hasuo |
| 2011 | Tool Interoperability in the Maude Formal Environment. Francisco Durán, Camilo Rocha, José María Álvarez |
| 2011 | WiCcA : LTS Generation Tool for Wire Calculus. Jennifer Lantair, Pawel Sobocinski |