[TYPES/announce] CALCO 09: Call for Participation

[Ivan Scagnetto]

*------------------------------------------------------------------*
*                         Call for  
Participation                          *
*                                                                  *
*                           CALCO 2009                             *
*                                                                  *
*   3rd Conference on Algebra and Coalgebra in Computer Science    *
*                          CALCO Tools Day                          *
*        		  CALCO-jnr
*      Symposium in honor of Prof. Peter Mosses    *
*                                                                   *
*             September 6-10 2009, Udine, Italy                     *
*                							*
*------------------------------------------------------------------*
*       EARLY REGISTRATION IS OPEN UNTIL JULY 22nd          *
*------------------------------------------------------------------*
*                 http://www.dimi.uniud.it/calco09/                    *
*------------------------------------------------------------------*

CALCO brings together researchers and practitioners to exchange new
results about both traditional and emerging uses of algebras and  
coalgebras
in computer science.

This is a high-level, bi-annual conference formed by joining the forces
and reputations of CMCS (the International Workshop on Coalgebraic  
Methods
in Computer Science), and WADT (the Workshop on Algebraic Development
Techniques). The first and second CALCO conferences took place 2005 in
Swansea, Wales (http://www.cs.swan.ac.uk/calco/index.php), and 2007 in
Bergen, Norway (http://www.ii.uib.no/calco07/).
The second event will take place September 2009 in Udine, Italy.

CALCO 2009 will be preceded by two events on September 6, 2009:

  * CALCO-jnr - a CALCO Young Researchers Workshop dedicated to
    presentations by PhD students and by those who completed
    their doctoral studies within the past few years.

  * CALCO Tools Day - providing the opportunity to give
    system demonstrations. See below for more information.

CALCO 2009 will be followed on September 10, 2009 by the

* Symposium in honor of Prof. Peter Mosses

The CALCO 2009 programme includes the following invited speakers:
------------------
Mai Gehrke (Nijmegen, NL)
Conor McBride (Strathclyde, UK)
Prakash Panangaden (McGill, Canada)
Gordon Plotkin (Edinburgh, UK)

http://www.dimi.uniud.it/calco09/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090619/2f358553/attachment.htm