CALCO 2011:
- Clément Fumex, Neil Ghani and Patricia Johann. Indexed Induction and Coinduction, Fibrationally
- Jort Bergfeld and Yde Venema. Model constructions for Moss' coalgebraic logic
- Jiri Adamek, Mahdie Haddadi and Stefan Milius. From Corecursive Algebras to Corecursive Monads
- Sergey Goncharov and Lutz Schröder. A Counterexample to Tensorability of Effects
- Camilo Rocha and José Meseguer. Proving Safety Properties of Rewrite Theories
- Ekaterina Komendantskaya and John Power. Coalgebraic semantics for derivations in logic programming
- Adriana Balan and Alexander Kurz. Finitary Functors: from Set to Preord and Poset
- Joost Winter, Marcello Bonsangue and Jan Rutten. Context-Free Languages, Coalgebraically
- Marta Bilkova, Alexander Kurz, Daniela Petrisan and Jiri Velebil. Relation Liftings on Preorders
- Murdoch Gabbay, Tadeusz Litak and Daniela Petrisan. Stone duality for nominal Boolean algebras with `new': topologising Banonas
- Bart Jacobs. Bases as Coalgebras
- Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg and Anton Setzer. A categorical semantics for inductive-inductive definitions
- Jun Kohjina, Toshimitsu Ushio and Yoshiki Kinoshita. Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata
- Ichiro Hasuo. The Microcosm Principle and Compositionality of GSOS-Based Component Calculi
- Mihai Codescu and Till Mossakowski. Refinement trees: calculi, tools and applications
- Baltasar Trancón Y Widemann and Hauhs Michael. Distributive-Law Semantics for Cellular Automata and Agent-Based Models
- Corina Cirstea. Model Checking Linear Coalgebraic Temporal Logics: an Automata-Theoretic Approach
- Katsuhiko Sano. Generalized Product of Coalgebraic Hybrid Logics
- Rasmus Ejlers Møgelberg and Sam Staton. Linearly-used state in models of call-by-value
- Fredrik Dahlqvist and Dirk Pattinson. On the fusion of coalgebraic modal logics
- Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu and Luis Barbosa. Hybridization of Institutions
CALCO-Tools:
CALCO-Jnr:
- Baltasar Trancon Y Widemann. Coalgebraic Semantics of Recursive Computation on Circular Data Structures
- Toby Wilkinson. Internal Models for Coalgebraic Modal Logics
- Tetsuya Sato. A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics
- Liang-Ting Chen and Achim Jung. A final Vietoris coalgebra beyond compact spaces and a generalized Jonsson-Tarski duality
- Darin Morrison. Two Notions of Globular Setoids in Type Theory
- Michal Przybylek. Realizable Institutions
- Tie Hou and Ulrich Berger. Domain-theoretic Modelling of Functional Programming Languages
- Gourinath Banda. Modelling and Analysis of Real Time Systems with Logic Programming and Constraints
- Fredrik Nordvall Forsberg. Elimination Principles for Initial Dialgebras