Monday 29 August: CALCO-Jnr


0845-0915 Registration
0915-0930 Opening
0930-1030 Session I
Baltasar Trancón Y Widemann. Coalgebraic Semantics of Recursive Computation on Circular Data Structures [slides]
Toby Wilkinson. Internal Models for Coalgebraic Modal Logics
1030-1100 Break
1100-1200 Session II
Tetsuya Sato. A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics [slides]
Liang-Ting Chen and Achim Jung. A final Vietoris coalgebra beyond compact spaces and a generalized Jonsson-Tarski duality
1230-1430 Lunch
1430-1530 Session III
Michal Przybylek. Realizable Institutions
Tie Hou and Ulrich Berger. Domain-theoretic Modelling of Functional Programming Languages
1530-1600 Break
1600-1700 Session IV
Darin Morrison. Two Notions of Globular Setoids in Type Theory
Fredrik Nordvall Forsberg. Elimination Principles for Initial Dialgebras [slides]
1800-2000 CALCO-Jnr Barbecue


Tuesday 30 August: CALCO and CALCO-Tools

0830-0900 Registration
0900-1000 Opening and Invited talk
Philippa Gardner. Abstract Local Reasoning about Program Modules
1000-1030 Break
1030-1230 Session I: Coalgebraic logic
Jort Bergfeld and Yde Venema. Model constructions for Moss' coalgebraic logic
Fredrik Dahlqvist and Dirk Pattinson. On the fusion of coalgebraic modal logics
Corina Cirstea. Model Checking Linear Coalgebraic Temporal Logics: an Automata-Theoretic Approach
Katsuhiko Sano. Generalized Product of Coalgebraic Hybrid Logics
1230-1400 Lunch
1400-1530 Session II: Induction and coinduction
Clément Fumex, Neil Ghani and Patricia Johann. Indexed Induction and Coinduction, Fibrationally
Jiri Adamek, Mahdie Haddadi and Stefan Milius. From Corecursive Algebras to Corecursive Monads [slides]
Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg and Anton Setzer. A categorical semantics for inductive-inductive definitions [slides]
1530-1600 Break
1600-1730 Session III: CALCO-Tools
André Martins, Luís Barbosa and Nuno Rodrigues. SHACC: A functional animator for a component calculus [slides]
Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg and Monika Seisenberger. Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras [slides]
Pawel Sobocinski and Jennifer Lantair. WiCcA: LTS generation tool for wire calculus
1800-1900 CALCO Welcome Reception


Wednesday 31 August: CALCO and CALCO-Tools

0900-1000 Invited talk
Gopal Gupta. Infinite Computation, Co-induction and Computational Logic
1000-1030 Break
1030-1230 Session I: Applications of coalgebras
Bart Jacobs. Bases as Coalgebras
Joost Winter, Marcello Bonsangue and Jan Rutten. Context-Free Languages, Coalgebraically
Ekaterina Komendantskaya and John Power. Coalgebraic semantics for derivations in logic programming
Jun Kohjina, Toshimitsu Ushio and Yoshiki Kinoshita. Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata [slides]
1230-1400 Lunch
1400-1530 Session II: System specification
Camilo Rocha and José Meseguer. Proving Safety Properties of Rewrite Theories [slides]
Mihai Codescu and Till Mossakowski. Refinement trees: calculi, tools and applications [slides]
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu and Luis Barbosa. Hybridization of Institutions
1530-1600 Break
1600-1730 Session III: CALCO-Tools
Musab Alturki and José Meseguer. PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool [slides]
Francisco Durán, Camilo Rocha and José María Álvarez. Tool Interoperability in the Maude Formal Environment [slides]
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac and Anna Ingolfsdottir. PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates [slides]


Thursday 1 September: CALCO

0900-1000 Invited talk
Javier Esparza. Solving Fixed-Point Equations by Derivation Tree Analysis [slides]
1000-1030 Break
1030-1230 Session I: Effects. Bialgebras.
Rasmus Ejlers Møgelberg and Sam Staton. Linearly-used state in models of call-by-value
Sergey Goncharov and Lutz Schröder. A Counterexample to Tensorability of Effects [slides]
Baltasar Trancón Y Widemann and Hauhs Michael. Distributive-Law Semantics for Cellular Automata and Agent-Based Models [slides]
Ichiro Hasuo. The Microcosm Principle and Compositionality of GSOS-Based Component Calculi [slides]
1230-1400 Lunch
1430-1730 Guided tour, Winchester College and the City of Winchester
1900- Conference Banquet, Winchester Guildhall


Friday 2 September: CALCO

0900-1030 Session I: Categorical foundations
Marta Bilkova, Alexander Kurz, Daniela Petrisan and Jiri Velebil. Relation Liftings on Preorders [slides]
Adriana Balan and Alexander Kurz. Finitary Functors: from Set to Preord and Poset [slides]
Murdoch Gabbay, Tadeusz Litak and Daniela Petrisan. Stone duality for nominal Boolean algebras with `new': topologising Banonas
1030-1100 Break
1100-1230 Session II: Discussion panel
1230-1400 Lunch
1400-1500 CALCO Steering Committee meeting