CTCS'99, 10-12 September 1999: Conference Programme

Conference address: James Clerk Maxwell Building (Lecture theatre B), King's Buildings, Edinburgh EH9 3JZ.

Thursday 9 September

18.00-19.30 Welcome Reception and Registration

Friday 10 September

09.00-10.10 Invited Talk by Marcelo Fiore: Fibred models of processes
10.10-10.40 Coffee Break
10.40-11.20 A Fully abstract presheaf semantics for SCCS with finite delay
by Thomas Hildebrandt
11.20-12.00 A Coalgebraic Foundation for Linear Time Semantics
by John Power, Daniele Turi
12.00-12.40 On the Semantics of Message Passing Processes
by Lindsay Errington
12.40-14.10 Lunch
14.10-15.20 Invited Talk by Peter Freyd: Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good?
15.20-15.50 Coffee Break
15.50-16.20 Abstract Games for Linear Logic
by Martin Hyland, Andrea Schalk
16.20-17.00 Exhausting Strategies, Joker Games and IMLL with Units
by Andrzej Murawski and Luke Ong
17.00-17.40 Internal Languages for Autonomous and *-Autonomous Categories
by Thong-Wei Koh and Luke Ong
17.40-18.20 Denotational Completeness Revisited
by Thomas Streicher

Saturday 11 September

09.00-10.10 Invited Talk by Ryu Hasegawa: Several Applications of Analytic Functors to Theoretical Computer Science
10.10-10.40 Coffee Break
10.40-11.20 Coalgebra-to-Algebra Morphisms.
by Adam Eppendahl
11.20-12.00 Equational Lifting Monads
by Anna Bucalo, Carsten Führmann, Alex Simpson
12.00-12.40 Monads, shapely functors, and traversals
by Eugenio Moggi, Gianna Bellè, Barry Jay
12.40-14.10 Lunch
14.10-14.50 A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
by Fabio Gadducci, Reiko Heckel and Merce Llabres
14.50-15.30 Concurrent Realizations of Reactive Systems
by Marek Bednarczyk, Andrzej Borzyszkowski
15.30-16.10 Functorial semantics for Petri nets under the individual token philosophy
by Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
16.10-16.40 Coffee break
16.40-17.20 A domain-theoretic semantics of lax generic functions
by Hideki Tsuiki
17.20-18.00 Dependent Coercions
Zhaohui Luo and Sergei Soloviev
18.00-19.00 Business meeting
19.30 for 20.00 Conference Dinner

Sunday, 12 September

10.00-11.10 Invited talk by Doug Smith: Designware: Software Development by Refinement
11.10-11.40 Coffee Break
11.40-12.20 Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality.
by Jan Paseka
12.20-13.00 Higher-dimensional syntax
by Martin Wehr
13.00-14.30 Lunch
14.30-15.10 Structured Theories and Institutions
by Francisco Durán, José Meseguer
15.10-15.50 Precategories for combining probabilistic automata
by Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Last Updated: 6 July 1999 by Martin Hofmann