[TYPES] CALCO: 1st call for Participation

Markus Roggenbach M.Roggenbach at swansea.ac.uk
Tue May 17 16:04:56 EDT 2005

*                   1st Call for Participation                       *
*                                                                    *
*                            CALCO 2005                              *
*                                                                    *
* 	1st Conference on Algebra and Coalgebra in Computer Science  *
*                                                                    *
*               September 3-6, 2005, Swansea, Wales, UK              *
*                                                                    *
*                  http://www.cs.swan.ac.uk/calco/                   *
*                  With the support of IFIP WG1.3                    *

CALCO 2005 is an exciting new conference that brings together
researchers and practitioners to exchange new results related to
foundational aspects and both traditional and emerging uses of
algebras and coalgebras in computer science.

Registration and fees:
Registration is open now on

Early registration (till June 15): 160 GBP
Normal registration:               180 GBP

The fee includes a volume of Springer's Lecture Notes in Computer
Science with the proceedings.

CALCO 2005 is preceded by a Young Researchers Workshop,
dedicated to presentations by PhD students and people who
completed their doctoral studies within the past few years (see
www.cs.swan.ac.uk/calco-jnr/ for details).

Venue and Accommodation

CALCO 2005 is held in the Department of Computer Science at the
University of Wales Swansea. Swansea is Wales' second largest city,
situated in the centre of the South Wales coast. It has a long
maritime history. Swansea is a growth centre for high
tech. industry. It is next to the Gower Peninsula with its dramatic
coastal scenery.

On campus accommodation is available in newly-built en-suite
residences. In addition, a range of quality hotels has been selected.

The social programme for CALCO 2005 includes a conference dinner, an
excursion, as well as an "alternative" beach party.

Invited Speakers:

Professor Samson Abramsky, Christopher Strachey Professor of
Computing, University of Oxford, UK

Professor Gordon Plotkin, School of Informatics, University of
Edinburgh, UK.

Professor Vladimiro Sassone, Professor of Informatics, University of
Sussex, UK.

Accepted Papers:

"Bisimilarity is not Finitely Based over BPA with Interrupt"
Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain

"The Intersection of Algebra and Coalgebra"
Jiri Adamek

"On the Semantics of Coinductive Types in Martin-Lof Type Theory"
Federico De Marchi

"Look: simple stochastic systems are just, well, simple"
Ernst-Erich Doberkat

"An Algebraic Framework for Verifying the Correctness of Hardware with
Input and Output: A Formalization in HOL"
Anthony Fox

"Using Proofs by Coinduction to Find 'Traditional' Proofs"
Clemens Grabmayer

"From $T$-coalgebras to filter structures and transition systems"
H. Peter Gumm

"Context-free Languages via Coalgebraic Trace Semantics"
Ichiro Hasuo, Bart Jacobs

"A Coalgebraic Approach to the Semantics of the Ambient Calculus"
Daniel Hausmann, Till Mossakowski, Lutz Schröder

"The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic"
Bartek Klin

"Ultrafilter Extensions for Coalgebras"
Clemens Kupke, Alexander Kurz, Dirk Pattinson

"Normal forms for stateless connectors"
Ivan Lanese, Roberto Bruni, Ugo Montanari

"Equational Logic of Recursive Program Schemes"
John G Mersch

"Strong Splitting Bisimulation Equivalence"
Kees Middelburg, Jan Bergstra

"The Category Theoretic Solution of Recursive Program Schemes"
Stefan Milius, Lawrence S. Moss

"A categorical approach to simulations"
Miguel Palomino, Jose Meseguer, Narciso Marti-Oliet

"Behavioral Extensions of Institutions"
Andrei Popescu, Grigore Rosu

"Discrete Lawvere Theories"
John Power

"Final Semantics for Event-Pattern Reactive Programs"
Cesar Sanchez, Henny B. Sipma, Matteo Slanina, Zohar Manna

"Parametrized Exceptions"
Lutz Schröder, Dennis Walter, Till Mossakowski

"Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing"
Prasanna Thati, Jose Meseguer

"Modelling Fusion Calculus Using HD-automata"
Emilio Tuosto, Gianluigi Ferrari, Ugo Montanari, Bjorn Victor, Kidane Yemane

"Final Sequences and Final Coalgebras for Measurable Spaces"
Ignacio Viglizzo

"Bireachability and final multialgebras"
Michal Walicki

"Property Preserving Redesign of Specifications"
Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko

Markus Roggenbach                 Phone +44-1792-51-3578
Dept. of Computer Science         Fax +44-1792-295708
University of Wales Swansea       M.Roggenbach at Swan.ac.uk
Singleton Park                    http://www.cs.swan.ac.uk/~csmarkus
Swansea SA2 8PP, United Kingdom

More information about the Types-list mailing list