CALCO 2009: Call for Participation

[CALCO 2009]

*------------------------------------------------------------------*

*                         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/ 

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog