CALCO-Tools Workshop
NEW: The extended and firm deadline is March 30, 2011.
A special workshop at CALCO 2011 is dedicated to tools based on algebraic and/or coalgebraic principles or that are emerging from the intersection of the two approaches, such as graph grammars or coinductive ;plugins/editors/tinymce/jscripts/tiny_mce/themes/advanced/langs/en.js" type="text/javascript"> proof techniques. These i nclude systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic tec hniques.
CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events.
Submission
Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission, 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 use the tool. At least one of the authors of each tool paper must attend the conference to demo the tool.
Submissions are handled via the EasyChair system.
Important Dates
| March 30 March 23, 2011 | Tools software and paper submissions deadline | |||
| April 20, 2011 | Author notification | |||
| May 18, 2011 | Final version due | |||
| August 30-September 2, 2011 | CALCO-Tools |
Program Committee
- Paolo Baldan, University of Padova, IT
- Luis Barbosa, Universidade do Minho, PT
- Dorel Lucanu (chair), Al. I. Cuza University of Iasi, RO
- Milad Niqui, CWI, Amsterdam, NL
- Peter Olveczky, University of Oslo, NO
- Dirk Pattinson, Imperial College London, UK
