| 9.10-10.00 | Lawrence S.Moss and Ignacio Viglizzo |
| | Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories |
| | |
| 10.00-10.30 | coffee |
| | |
| 10.30-11.20 | Clemens Kupke, Alexander Kurz and Dirk Pattinson |
| | Algebraic Semantics for Coalgebraic Logics |
| | |
| 11.20-12.10 | Corina Cirstea |
| | On Logics for Coalgebraic Simulation |
| | |
| 12.10-13.00 | Riccardo Pucella |
| | On the Equivalence of Timed Regular Expressions |
| | |
| 13.00-14.00 | lunch |
| | |
| 14.00-15.10 | invited lecture: |
| | Alex Simpson |
| | Delaying Closing Time |
| | |
| 15.10-16.00 | Alexander Kurz and Alessandra Palmigiano |
| | Coalgebras and Modal Expansions of Logics |
| | |
| 16.00-16.30 | coffee |
| | |
| 16.30-17.20 | Helle Hvid Hansen and Clemens Kupke |
| | A Coalgebraic Perspective on Monotone Modal Logic |
| | |
| 17.20-18.10 | Yde Venema |
| | Automata and Fixed Point Logics for Coalgebras |
| 9.10-10.00 | Luís Monteiro |
| | A Noninterleaving Model of Concurrency Based on Transition |
| | |
| 10.00-10.30 | coffee |
| | |
| 10.30-11.20 | Roberto Bruni, Furio Honsell, Marina Lenisa and Marino Miculan |
| | Modeling Fresh Names in the pi-calculus Using Abstraction |
| | |
| 11.20-12.10 | Marcelo Fiore and Sam Staton |
| | Comparing Operational Models of Name-Passing Process Calculi |
| | |
| 12.10-13.00 | Neil Ghani, Kidane Yemane and Björn Victor |
| | Relationally Staged Computations in Calculi of Mobile Processes |
| | |
| 13.00-14.00 | lunch |
| | |
| 14.00-15.10 | invited lecture: |
| | Prakash Panangaden |
| | Probabilistic Bisimulation Revisited |
| | |
| 15.10-16.00 | Bart Jacobs |
| | Trace Semantics for Coalgebra |
| | |
| 16.00-16.30 | coffee |
| | |
| 16.30-17.20 | Bartek Klin |
| | A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces |
| | |
| 17.20-18.10 | Dmitri Schamschurko and Konstantin Tchekine |
| | Coalgebraic Approach for Resource Reservation Using Bandwidth Model |
| 11.00-11.50 | Bart Jacobs |
| | Relating two Approches to Coinductive Solution of Recursive Equations |
| | |
| 11.50-12.40 | John Power and Olha Shkaravska |
| | From Comodels to Coalgebras |
| | |
| 12.30-14.20 | lunch |
| | |
| 14.20-15.10 | Venanzio Capretta, Tarmo Uustalu and Varmo Vene |
| | Recursive Coalgebras from Comonads |
| | |
| 15.10-16.00 | Jirí Adámek, Stefan Milius and Jirí Velebil |
| | From Iterative Algebras to Iterative Theories |
| | |
| 16.00-16.30 | coffee |
| | |
| 16.30-17.20 | Hendrik Tews |
| | Predicate and Relation Lifting for Parametric Algebraic Specifications |
| | |
| 17.20-18.10 | Marco Kick and John Power |
| | Modularity of Behaviours for Mathematical Operational Semantics |