Friday, September 2
CALCO-jnr
Registration
Saturday, September 3
08:45-09:00 Welcome
09:00-10:00 Invited Speaker 1
Vladimiro Sassone
10:00-10:30 Break
10:30-12:30 Session 1
"Bisimilarity is not Finitely Based over BPA with
Interrupt", Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain
"From T-coalgebras to filter structures and transition
systems", H. Peter Gumm
"Strong Splitting Bisimulation Equivalence", Kees
Middelburg, Jan Bergstra
12:30-14:00 Lunch
14:00-15:20 Session 2
"A Coalgebraic Approach to the Semantics of the Ambient
Calculus", Daniel Hausmann, Till Mossakowski, Lutz Schröder
"Modelling Fusion Calculus Using HD-automata", Emilio
Tuosto, Gianluigi Ferrari, Ugo Montanari, Bjorn Victor, Kidane Yemane
15:20-15:40 Break
15:40-17:00 Session 3
"The Category Theoretic Solution of Recursive Program
Schemes", Stefan Milius, Lawrence S. Moss
"Equational Logic of Recursive Program Schemes", John G
Mersch
"An Algebraic Framework for Verifying the Correctness of
Hardware with Input and Output: A Formalization in HOL", Anthony Fox
Sunday, September 4
09:00-10:20 Session 4
"Complete axioms for stateless connectors", Ivan Lanese,
Roberto Bruni, Ugo Montanari
"Property Preserving Redesign of Specifications", Artur
Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko
10:20-10:40 Break
10:40-12:40 Session 5
"Final Sequences and Final Coalgebras for Measurable
Spaces", Ignacio Viglizzo
"Bireachability and final multialgebras", Michal
Walicki
"Complete Symbolic Reachability Analysis Using
Back-and-Forth Narrowing", Prasanna Thati, Jose Meseguer
12:40-14:00 Lunch
14:00-16:00 Session 6
"A categorical approach to simulations", Miguel
Palomino, Jose Meseguer, Narciso Marti-Oliet
"Final Semantics for Event-Pattern Reactive Programs",
Cesar Sanchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
15:45-22:00 Excursion
Monday, September 5
09:00-10:00 Invited Speaker 2
Samson Abramsky
10:00-10:30 Break
10:30-12:30 Session 7
"The Least Fibred Lifting and the Expressivity of
Coalgebraic Modal Logic", Bartek Klin
"On the Semantics of Coinductive Types in Martin-Lof Type
Theory", Federico De Marchi
"Using Proofs by Coinduction to Find 'Traditional'
Proofs", Clemens Grabmayer
12:30-14:00 Lunch
14:00-15:20 Session 8
"Behavioral Extensions of Institutions", Andrei
Popescu, Grigore Rosu
"Discrete Lawvere Theories", John Power
15:20-15:40 Break
15:40-17:00 Session 9
"Context-free Languages via Coalgebraic Trace
Semantics", Ichiro Hasuo, Bart Jacobs
"Parameterized Exceptions", Lutz Schröder, Dennis
Walter, Till Mossakowski
20:00 Conference Dinner
Tuesday, September 6
09:00-10:00 Invited Speaker 3
"Adequacy for Algebraic Effects with State", Gordon Plotkin
10:00-10:30 Break
10:30-12:30 Session 10
"The Intersection of Algebra and Coalgebra", Jiri
Adamek
"Ultrafilter Extensions for Coalgebras", Clemens Kupke,
Alexander Kurz, Dirk Pattinson
"Look: simple stochastic systems are just, well,
simple", Ernst-Erich Doberkat
12:30-14:00 Lunch
