[TYPES] CALCO-jnr 2005 - CALCO Young Researchers Workshop

[Monika Seisenberger]

                [Apologies for multiple copies]

*--------------------------------------------------------------------*
*                        Announcement                                *
*                                                                    *
*                       CALCO-jnr 2005                               *
*                                                                    *
*                CALCO Young Researchers Workshop                    * 
*                                                                    *
*          2 September 2005, University of Wales Swansea, UK         *
*                                                                    *
*         A satellite event of CALCO 2005, 3-6 September 2005        *
*     1st Conference on Algebra and Coalgebra in Computer Science    *
*--------------------------------------------------------------------*
*               http://www.cs.swan.ac.uk/calco-jnr/                  *
*--------------------------------------------------------------------*

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 highlevel
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
event 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).

Some grants supporting the participation of young researchers from 
developing countries will be provided by IFIP <http://www.ifip.or.at>.

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
 

Important Dates (all in 2005)

      30 April: Firm deadline for 2-page abstract submission
        31 May: Notification of abstract selection decision	
       30 June: Final version of abstract due

   2 September: CALCO Young Researchers Workshop 
 3-6 September:	CALCO Conference

  30 September:	Firm deadline for 10-15 page paper submission
   15 November:	Notification of paper selection decision
   30 November:	Final version of paper due


Organizing Committee

  Peter Mosses, BRICS & University of Aarhus, DK 
                (From 2005: University of Wales Swansea, UK)
  John Power, University of Edinburgh, UK
  Monika Seisenberger, University of Wales Swansea, UK


Location and Organization

The City of Swansea dates from the 10th Century AD and is currently an
expanding centre for high tech. industry. Swansea is located at the
centre of the South Wales coastline, next to the Gower peninsula,
renowned for its dramatic coastal scenery and beaches. The conference
will be held on the Swansea University campus overlooking the
sea. Accommodation will be available in newly built halls of residence
and also in a small selection of good quality hotels. A full social
programme drawing on the culture of the area will complement the
scientific event.


--
Dr Monika Seisenberger
Department of Computer Science
University of Wales Swansea
phone 0044 1792 602131