Programme
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 |