2nd Conference on Algebra and Coalgebra in Computer Science

August 20-24, 2007, Bergen, Norway

CALCO-tools workshop

August 20, 2007

A special workshop at CALCO'07 is dedicated to 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. Tool submissions should be no longer than 5 pages in the LNCS format; the accepted tool papers will be included in the final LNCS proceedings of the conference. The tools should be available on the web for download and evaluation. Each submission will be evaluated by at least three reviewers; one or more of the reviewers will be asked to download and run the tool. At least one of the authors of each tool paper must attend the conference to demo the tool.

Submissions and correspondence are to be sent by e-mail to Grigore Rosu, grosu@cs.uiuc.edu.

Accepted contributions

CALCO-tools will take place 1530-1700 Monday August 20, 2007.
Tea, coffee and snacks are available from 1500.
Each contribution is given 45 minutes, typically 20 minutes for background presentation, 20 minutes for a demonstration, and 5 minutes for discussion.

Important Dates (deadline extensions in red)

February 24 Tools software and paper submissions due
March 28 Author notification
May 16 Camera ready due
Early registration deadline
July 1 Registration deadline
August 20 CALCO-tools

Program Committee

http://www.ii.uib.no/calco07/