[ecoop-info] CALCO 2009: Call for Participation
CALCO 2009
calco09 at dimi.uniud.it
Thu Jun 18 10:09:11 CEST 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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20090618/4904a3ba/attachment-0001.html
More information about the ecoop-info
mailing list