CALCO-jnr 2005: First Announcement
This announcement can be downloaded as a
text file; a
PDF file; or a
RTF file.
CMCS - the International Workshop on Coalgebraic Methods in Computer Science, and
WADT - the Workshop on Algebraic Development Techniques, are joining their forces
and reputations into a new high-level bi-annual conference. Starting in 2005, CALCO
will bring 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 CALCO Young Researchers Workshop, CALCO-jnr, is a CALCO satellite
meeting dedicated to presentations by PhD students and by those who
completed their doctoral studies within the past few years. Attendance
at the workshop is open to all - it is anticipated that many CALCO
conference participants will want to attend the CALCO-jnr workshop
(and vice versa).
CALCO-jnr presentations will be selected according to originality,
significance, and general interest, on the basis of submitted 2-page
abstracts, by the organisers. A booklet with the abstracts of the
accepted presentations will be available at the workshop.
After the workshop, the author(s) of each presentation will be invited
to submit a full 10-15 page paper on the same topic. They will also be
asked to write (anonymous) reviews of papers submitted by other
authors on related topics; further reviewing, and the final selection
of papers, will be carried out by the organisers, assisted by members
of the CALCO PC.
The volume of selected papers from the workshop will be published as a
technical report at Swansea by the end of 2005. Authors will retain
copyright, and are also encouraged to disseminate the results reported
at CALCO-jnr by subsequent publication elsewhere.
Topics of Interest
The CALCO Young Researchers Workshop will invite submissions on the
same topics as the CALCO conference: reporting 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 practice. In particular, the workshop will encourage
submissions on the topics listed below, and on related topics.
Algebras and coalgebras as mathematical objects:
- Automata and languages
- Categorical semantics
- Hybrid, probabilistic, and timed systems
- Inductive and coinductive methods
- Modal logics
- Relational systems and term rewriting
Algebras and coalgebras in computer science:
- Abstract data types
- Algebraic and coalgebraic specification
- Calculi and models of concurrent, distributed, mobile, and context-aware computing
- Formal testing and quality assurance
- General systems theory and computational models (chemical, biological, etc)
- Generative programming and model-driven development
- Models, correctness and (re)configuration of hardware/middleware/architectures
- Re-engineering techniques (program transformation)
- Semantics of conceptual modelling methods and techniques
- Semantics of programming languages
- Validation and verification
