Programme

Monday, September 2:

CALCO Early Ideas

9:20 - 9:30 Welcome and opening
9:30 - 10:30
  • Tomasz Brengos. Weak bisimulation for coalgebras over ordered monads (slides)
  • Tetsuya Sato. Simulations for Discrete Probabilistic Systems via Preorder TT-liftings (slides)
10:30 - 11:00 Break
11:00 - 12:30
  • Jurriaan Rot and Joost Winter. On language equations and grammar coalgebras for context-free languages (slides)
  • Kenta Cho. Coalgebraic Fixed Point Logics in a Fibration (slides)
  • Henning Kerstan and Bram Westerbaan. Lifting Adjunctions to Coalgebras (slides)
12:30 - 14:30 Lunch
14:30 - 16:00
  • Henning Basold, Marcello Bonsangue and Jan Rutten. Algebraic Characterisations of Signal Flow Graphs
  • Joanna Ochremiak. Nominal sets for symmetries with function symbols (slides)
  • Irina Mariuca Asavoae, Mihail Asavoae and Adrian Riesco. Towards a Formal Semantics-Based Technique for Inter-Procedural Slicing
16:00 - 16:30 Break
16:30 - 17:30
  • Keith Ó Dúlaigh, Rosemary Monahan,James Power. Some Early Ideas on Institutions for Software Metrics
  • Baltasar Trancón Y Widemann and Markus Lepper. Towards (Co)AlgebraicSemantics for the Object-Oriented Rewriter Pattern
from 19:00 CALCO EI Dinner, BrowArmia.

Tuesday, September 3:

8:55 - 9:00 Welcome and opening
9:00 - 10:00 Invited Lecture
Andrej Bauer. An Effect System for Algebraic Effects and Handlers
10:00 - 10:30 Break
10:30 - 12:30 Coalgebraic Logics
  • Marta Bílková and Matěj Dostál. Many-valued Relation Lifting and Moss' Coalgebraic Logic (slides)
  • Adriana Balan, Alexander Kurz and Jiří Velebil. Positive Fragments of Coalgebraic Logics (slides)
  • Sebastian Enqvist. Homomorphisms of coalgebras from predicate liftings (slides)
  • Daniel Gorín and Lutz Schröder. Simulations and Bisimulations For Coalgebraic Modal Logics (slides)
12:30 - 14:30 Lunch
14:30 - 16:00 CALCO Tools I
  • Renato Neves, Alexandre Madeira, Manuel A. Martins and Luís S. Barbosa. Hybridisation at Work (slides)
  • Paweł Sobociński and Owen Stephens. Penrose: Putting Compositionality to Work For Petri Net Reachability (slides)
  • Joost Winter. QStream: A Suite of Streams (slides)
16:00 - 16:30 Break
16:30 - 17:30 Categorical Structures
  • Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz and Jurriaan Rot. Presenting Distributive Laws (slides)
  • Paweł Sobociński. Nets, relations and linking diagrams
18:00 - 20:00 Welcome Reception, Billiard Room, Tyszkiewicz-Potocki Palace in the main university campus.

Wednesday, September 4:

9:00 - 10:00 Invited Lecture
Damien Pous. Coalgebraic up-to techniques (slides)
10:00 - 10:30 Break
10:30 - 12:30 CALCO Tools II
  • Mihai Codescu, Till Mossakowski and Christian Maeder. Checking Conservativity With HETS (slides)
  • Muhammad Fadlisyah and Peter Csaba Ölveczky. The HI-Maude Tool (slides)
  • Daniel Găină, Min Zhang, Yuki Chiba and Yasuhito Arimoto. Constructor-based Inductive Theorem Prover (slides)
  • Daniela Lepri, Erika Ábrahám and Peter Csaba Ölveczky. A Timed CTL Model Checker for Real-Time Maude (slides)
12:30 - 14:30 Lunch
14:30 - 16:00 Processes
  • Tom Hirschowitz. Full abstraction for fair testing in CCS (slides)
  • Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir, Mohammadreza Mousavi and Michel A. Reniers. Exploiting Algebraic Laws to Improve Mechanized Axiomatization (slides)
  • Vincenzo Ciancia. Interaction and observation: categorical semantics of reactive systems trough dialgebras (slides)
16:00 - 16:30 Break
16:30 - 17:30 Logic Programming
  • Ionuţ Ţuţu and José Luiz Fiadeiro. A Logic-Programming Semantics of Services (slides)
  • Filippo Bonchi and Fabio Zanasi. Saturated Semantics for Coalgebraic Logic Programming (slides)
17:30 - 18:30 CALCO Business Meeting

Thursday, September 5:

9:00 - 10:00 Invited Lecture
Mikołaj Bojańczyk. Automata and Algebras for Infinite Words and Trees (slides)
10:00 - 10:30 Break
10:30 - 12:30 Behaviour Modelling
  • Alexandra Silva and Bram Westerbaan. A Coalgebraic View of ε-Transitions (slides)
  • Sergey Goncharov. Trace Semantics via Generic Observations (slides)
  • Pierre Lescanne. A simple case of rationality of escalation (slides)
  • Andrei Popescu, Johannes Hölzl and Tobias Nipkow. Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference (slides)
12:30 - 14:30 Lunch
16:00 - 19:00 Guided tour of the historic centre of Warsaw.
from 19:00 Conference Dinner at Kuźnia Smaku.

Friday, September 6:

9:00 - 10:00 Invited Lecture
Neil Ghani. Positive Inductive-Recursive Definitions (slides)
10:00 - 10:30 Break
10:30 - 12:00 Quantum
  • Yoshihiro Maruyama. From Operational Chu Duality to Coalgebraic Quantum Symmetry
  • Daniel Marsden. Coalgebras with Symmetries and Modelling Quantum Systems (slides)
  • Robert Furber and Bart Jacobs. From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality (slides)
12:00 - 12:15 Closing
12:30 - 14:30 Lunch