[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Reminder: CALCO 2009 Call for Participation



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