20-24 August 2007
Bergen, Norway
CALCO 2007
2nd Conference on Algebra and Coalgebra in Computer Science
CALCO Tools Day
August 20-24, 2007, Bergen, Norway
July 1 Rgular registration deadline
Hotel booking deadline
After this date late registration prices take effect,
and it may become very difficult to find hotel rooms.
------------------------------------------------------------------
http://www.ii.uib.no/calco07/
------------------------------------------------------------------
August 20 CALCO-jnr, CALCO-tools
August 21-24 CALCO technical programme
CALCO'07 takes place at Grand Hotel Terminus in Bergen, one of many
historic hotels in Norway. The conference starts Monday with two workshops
followed by an official reception Monday evening. The main program runs
Tuesday through Friday, each morning starting with an invited speaker.
Additional events are excursion by boat in the Bergen archipelago
(Wednesday afternoon) and conference dinner on one of the mountains
surrounding the city centre (Thursday afternoon).
Registration
------------
Registration fee is 3200 NOK (1200 NOK for students), with a noticeable
increase for late registration after July 1. The fee includes the full
conference
with all workshops, a copy of the proceedings, lunches and coffee breaks,
and the official reception Monday evening.
Registration is via the calco07 web site:
http://www.ii.uib.no/calco07/
Note that Bergen is very busy during the tourist season, so early booking
of accommodation and transportation is strongly recommended.
Main CALCO'07 conference
------------------------
CALCO is a high-level, bi-annual conference. It 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. The study of algebra
and coalgebra relates to the data, process and structural aspects of
software systems. The accepted papers report results of theoretical work
on the mathematics of algebras and coalgebras, the way these results
can support methods and techniques for software development, as well as
experience with the transition of resulting technologies into industrial
practise. Some main key words are:
* Abstract models and logics
* Specialised models and calculi
* Algebraic and coalgebraic semantics
* System specification and verification
The list of accepted papers is available at the web site.
CALCO is Tuesday-Friday, 0900-1700, but ends at 1400 Friday.
Invited speakers
----------------
Stephen L. Bloom, Stevens Institute of Technology, NJ, USA
Luis Caires, New University of Lisbon, Portugal
Barbara Knig, University of Duisburg-Essen, Germany
Glynn Winskel, University of Cambridge, United Kingdom
CALCO-jnr (CALCO Young Researchers Workshop)
--------------------------------------------
CALCO-jnr is dedicated to presentations by PhD students and by those who
completed their doctoral studies within the past few years. This year
12 contributions within the theme of CALCO have been accepted. See the
overview on the CALCO-jnr web page on the CALCO web site.
CALCO-jnr is Monday 0900-1730.
CALCO-tools
-----------
CALCO-tools is dedicated to presentation and demonstration of
tools based on algebraic and coalgebraic principles. These include
systems/prototypes/tools developed specifically for design, checking,
execution, and verification of (co)algebraic specifications, but
also tools targeting different application domains but making core or
interesting use of (co)algebraic techniques. A Maude tool environment
and a coinductive prover will be showcased this year.
CALCO-tools is Monday 1530-1700.
--
http://www.ii.uib.no/calco07/