1. CALCO 2005: Swansea, Wales, UK

• Samson Abramsky:
  Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories. 1-29
  
• Bartek Klin, Vladimiro Sassone, Pawel Sobocinski:
  Labels from Reductions: Towards a General Theory. 30-50
  
• Gordon D. Plotkin:
  Adequacy for Algebraic Effects with State. 51-51
  
• Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain:
  Bisimilarity Is Not Finitely Based over BPA with Interrupt. 52-66
  
• Jirí Adámek:
  Algebra 'cap' Coalgebra = Presheaves. 67-82
  
• Jan A. Bergstra, C. A. Middelburg:
  Strong Splitting Bisimulation Equivalence. 83-97
  
• Roberto Bruni, Ivan Lanese, Ugo Montanari:
  Complete Axioms for Stateless Connectors. 98-113
  
• Federico De Marchi:
  On the Semantics of Coinductive Types in Martin-Löf Type Theory. 114-126
  
• Ernst-Erich Doberkat:
  Look: Simple Stochastic Relations Are Just, Well, Simple. 127-141
  
• Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane:
  Modelling Fusion Calculus using HD-Automata. 142-156
  
• Anthony C. J. Fox:
  An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. 157-174
  
• Clemens Grabmayer:
  Using Proofs by Coinduction to Find "Traditional" Proofs. 175-193
  
• H. Peter Gumm:
  From T-Coalgebras to Filter Structures and Transition Systems. 194-212
  
• Ichiro Hasuo, Bart Jacobs:
  Context-Free Languages via Coalgebraic Trace Semantics. 213-231
  
• Daniel Hausmann, Till Mossakowski, Lutz Schröder:
  Towards a Coalgebraic Semantics of the Ambient Calculus. 232-246
  
• Bartek Klin:
  The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. 247-262
  
• Clemens Kupke, Alexander Kurz, Dirk Pattinson:
  Ultrafilter Extensions for Coalgebras. 263-277
  
• John G. Mersch:
  Equational Logic of Recursive Program Schemes. 278-292
  
• Stefan Milius, Lawrence S. Moss:
  The Category Theoretic Solution of Recursive Program Schemes. 293-312
  
• Miguel Palomino, José Meseguer, Narciso Martí-Oliet:
  A Categorical Approach to Simulations. 313-330
  
• Andrei Popescu, Grigore Rosu:
  Behavioral Extensions of Institutions. 331-347
  
• John Power:
  Discrete Lawvere Theories. 348-363
  
• César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna:
  Final Semantics for Event-Pattern Reactive Programs. 364-378
  
• Prasanna Thati, José Meseguer:
  Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. 379-394
  
• Ignacio D. Viglizzo:
  Final Sequences and Final Coalgebras for Measurable Spaces. 395-407
  
• Michal Walicki:
  Bireachability and Final Multialgebras. 408-423
  
• Dennis Walter, Lutz Schröder, Till Mossakowski:
  Parametrized Exceptions. 424-438
  
• Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko:
  Property Preserving Redesign of Specifications. 439-455