[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CALCO 2013: First Call for Papers



[Apologies for multiple copies]

=========================================================================

                  FIRST CALL FOR PAPERS:  CALCO 2013                    
                                                                   
5th International Conference on Algebra and Coalgebra in Computer Science
                                          
                       September 3 - 6, 2013                    
                                                                 
                          Warsaw, Poland                          
                                                                   
                     http://coalg.org/calco13/
                                                                   
=========================================================================
 
		Abstract submission:	February 22, 2013             
		Paper submission:	March 1, 2013            
		Author notification:	May 6, 2013               
		Final version due:	June 3, 2013                 

=========================================================================

-- SCOPE --

CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.

It is a high-level, bi-annual conference formed by joining the
forces and reputations of CMCS (the International Workshop on
Coalgebraic Methods in Computer Science), and WADT (the Workshop on
Algebraic Development Techniques). Previous CALCO editions took place
in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009)
and Winchester (UK, 2011). The fifth edition will be held in Warsaw,
the capital of Poland. 

-- INVITED SPEAKERS --

N.N.

-- TOPICS OF INTEREST --

We invite submissions of technical papers that 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 transfer of the resulting
technologies into industrial practice. We encourage submissions in
topics included or related to those listed below.

 * Abstract models and logics
   - Automata and languages
   - Categorical semantics
   - Modal logics
   - Relational systems
   - Graph transformation
   - Term rewriting
   - Adhesive categories

 * Specialised models and calculi
   - Hybrid, probabilistic, and timed systems
   - Calculi and models of concurrent, distributed, mobile, and
     context-aware computing
   - General systems theory and computational models (chemical,
     biological, etc.)

 * Algebraic and coalgebraic semantics
   - Abstract data types
   - Inductive and coinductive methods
   - Re-engineering techniques (program transformation)
   - Semantics of conceptual modelling methods and techniques
   - Semantics of programming languages

 * System specification and verification
   - Algebraic and coalgebraic specification
   - Formal testing and quality assurance
   - Validation and verification
   - Generative programming and model-driven development
   - Models, correctness and (re)configuration of
     hardware/middleware/architectures,
   - Process algebra

-- NEW TOPICS --

This edition of CALCO will feature two new topics, and submission of
papers on these topics is especially encouraged.

  * Corecursion in Programming Languages
    - Corecursion in logic / constraint / functional / answer set 
      programming
    - Corecursive type inference
    - Coinductive methods for proving program properties
    - Implementing corecursion
    - Applications 

  * Algebra and Coalgebra in quantum computing
    - Categorical semantics for quantum computing
    - Quantum calculi and programming languages
    - Foundational structures for quantum computing
    - Applications of quantum algebra 

-- SUBMISSION GUIDELINES --

Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere. Experience papers are
welcome, but they must clearly present general lessons learned that
would be of interest and benefit to a broad audience of both
researchers and practitioners. As with previous editions, the
proceedings will be published in the Springer LNCS series. Final
papers should be no more than 15 pages long in the format specified by
Springer (see http://www.springer.de/comp/lncs/authors.html). It is
recommended that submissions adhere to that format and
length. Submissions that are clearly too long may be rejected
immediately. Proofs omitted due to space limitations may be included
in a clearly marked appendix. Both an abstract and the full paper must
be submitted by their respective submission deadlines.

-- BEST PAPER AND BEST PRESENTATION AWARDS --

For the first time, this edition of CALCO will feature two kinds of
awards: a best paper award whose recipients will be selected by the PC
before the conference and a best presentation award, elected by the
participants.   

-- IMPORTANT DATES --

Abstract submission:	February 22, 2013
Paper submission:	March 1, 2013
Author notification:	May 6, 2013
Final version due:	June 3, 2013

-- PROGRAMME COMMITTEE --

Luca Aceto - Reykjavik University, Iceland
Jiri Adamek - TU Braunschweig, D
Lars Birkedal - IT University of Copenhagen, DK
Filippo Bonchi - CNRS, ENS-Lyon, F
Corina Cirstea - University of Southhampton, UK
Bob Coecke - University of Oxford, UK
Andrea Corradini - University of Pisa, I
Mai Gehrke - Université Paris Diderot - Paris 7, F
H. Peter Gumm - Philipps University Marburg, D
Gopal Gupta - University of Texas at Dallas, USA
Ichiro Hasuo - Tokyo University, Japan
Reiko Heckel - University of Leicester, UK (cochair)
Bart Jacobs - Radboud University Nijmegen, NL
Ekaterina Komendantskaya - University of Dundee, Scotland, UK
Barbara König - University of Duisburg-Essen, D
José Meseguer - University of Illinois, Urbana-Champaign, USA
Marino Miculan - University of Udine, I
Stefan Milius - TU Braunschweig, D (cochair)
Larry Moss - Indiana University, Bloomington, USA
Till Mossakowski - DFKI Lab Bremen and University of Bremen, D
Prakash Panangaden - McGill University, Montreal, Canada
Dirk Pattinson - Imperial College London, UK
Dusko Pavlovic - Royal Holloway, University of London, UK
Daniela Petrisan - University of Leicester, UK
John Power - University of Bath, UK
Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL
Lutz Schröder - Friedrich-Alexander Universität Erlangen-Nürnberg, D
Monika Seisenberger - Swansea University, UK
Sam Staton - University of Cambridge, UK
Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL
Pawel Sobocinski - University of Southampton, UK
Yde Venema - University of Amsterdam, NL
Uwe Wolter - University of Bergen, NO

-- ORGANISING COMMITTEE --

Bartek Klin      (University of Warsaw, Poland)
Andrzej Tarlecki (University of Warsaw, Poland)

-- LOCATION --

Warsaw, the capital of Poland, is a lively city with many historic
monuments and sights, but also with a thriving business district. It
is easily accessible via two airports: the main Chopin Airport, used by
most international carriers, and the recently open Warsaw Modlin
Airport (30 minutes away by rail), used by budget airlines. 

-- SATELLITE WORKSHOPS --

CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired
by Monika Seisenberger (Swansea University). The workshop is dedicated
to presentation of work in progress and original research
proposals. PhD students and young researchers are particularly
encouraged to contribute.

A workshop dedicated to tools based on algebraic and/or coalgebraic
principles, CALCO Tools, will be held alongside the main conference,
chaired by Lutz Schröder (Friedrich Alexander Universität
Erlangen-Nürnberg). Papers of this workshop will be included in the
CALCO proceedings.

-- FURTHER INFORMATION --

Queries related to submission, reviewing, and programme should be sent
to the relevant conference or workshop chairs.

Queries related to the organisation should be emailed to 
calco2013@xxxxxxxxxxxx
.