CALCO: Conference on Algebra and Coalgebra in Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2016 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science
Jun 24, 2015 - Jun 26, 2015 Nijmegen, Netherlands Apr 2, 2015 (Mar 22, 2015)
CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science
Sep 3, 2013 - Sep 6, 2013 Warsaw, Poland Mar 1, 2013 (Feb 22, 2013)
CALCO 2011 4th Conference on Algebra and Coalgebra
Aug 29, 2011 - Sep 2, 2011 Winchester, UK Feb 13, 2011 (Feb 6, 2011)
CALCO 2009 3rd Conference on Algebra and Coalgebra in Computer Science
Sep 6, 2009 - Sep 10, 2009 Udine, Italy Feb 15, 2009 (Feb 8, 2009)
 
 

Present CFP : 2015



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

CALL FOR PAPERS: CALCO 2015

6th International Conference on Algebra and Coalgebra in Computer Science

June 24 - 26, 2015

Nijmegen, Netherlands

http://coalg.org/calco15/

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

Abstract submission: March 22, 2015
Paper submission: April 2, 2015
Author notification: May 6, 2015
Final version due: June 3, 2015

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

-- 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),
Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will
be held in Nijmegen, the Netherlands, colocated with MFPS XXXI.

-- INVITED SPEAKERS --

Andy Pitts - University of Cambridge, UK (joint with MFPS)
Chris Heunen - University of Oxford, UK
Matteo Mio - CNRS, ENS Lyon, FR
Daniela Petrisan - Radboud University, Nijmegen, NL

-- 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

* 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

* 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

-- NEW TOPIC --

This edition of CALCO will feature a new topic, and submission of papers
in this area is particularly encouraged.

* String Diagrams and Network Theory
- Combinatorial approaches
- Theory of PROPs and operads
- Rewriting problems and higher-dimensional approaches
- Automated reasoning with string diagrams
- Applications of string diagrams
- Connections with Control Theory, Engineering and Concurrency


-- 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. Starting with CALCO 2015, proceedings
will be published in the Dagstuhl LIPIcs–Leibniz International Proceedings
in Informatics series. Final papers should be no more than 15 pages long
in the format specified by LIPIcs
(http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/).
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.

A special issue of the open access journal Logical Methods in Computer
Science (http://www.lmcs-online.org), containing extended versions of
selected papers, is also being planned.

Submissions will be handled via EasyChair
https://www.easychair.org/conferences/?conf=calco2015

-- BEST PAPER AND BEST PRESENTATION AWARDS --

Following from the successful trial at CALCO 2013, this edition of
CALCO will feature two 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: March 22, 2015
Paper submission: April 2, 2015
Author notification: May 6, 2015
Final version due: June 3, 2015

-- PROGRAMME COMMITTEE --

Samson Abramsky, University of Oxford, UK
Andrej Bauer, University of Ljubljana, SLO
Filippo Bonchi, CNRS and ENS Lyon, FR
Corina Cirstea, University of Southampton, UK
Andrea Corradini, University of Pisa, IT
Ross Duncan, University of Strathclyde, UK
Martín Escardó, University of Birmingham, UK
Dan Ghica, University of Birmingham, UK
Helle Hansen, Radboud University Nijmegen and CWI, NL
Ichiro Hasuo, University of Tokyo, JP
Bart Jacobs, Radboud University Nijmegen, NL
Bartek Klin, University of Warsaw, PL
Barbara König, University of Duisburg-Essen, D
Dexter Kozen, Cornell, US
Alexander Kurz, University of Leicester, UK
Paul-André Melliès, CNRS and University Paris VII, FR
Stefan Milus, University of Erlangen-Nürnberg, D
Larry Moss (co-chair), Indiana University, US
Dusko Pavlovic, University of Hawaii, US
Daniela Petrisan, ENS Lyon, FR
Damien Pous, ENS Lyon, FR
John Power, University of Bath, UK
Jan Rutten, Radboud University Nijmegen and CWI, NL
Lutz Schroeder, University of Erlangen-Nuernberg, D
Monika Seisenberger, University of Swansea, UK
Alexandra Silva, Radboud University Nijmegen, NL
Pawel Sobocinski (co-chair), University of Southampton, UK
Ana Sokolova, University of Salzburg, AT
Andrzej Tarlecki, University of Warsaw, PL

-- ORGANISING COMMITTEE --

Alexandra Silva
Bart Jacobs
Nicole Messink
Sam Staton

-- PUBLICITY --

Fabio Zanasi

-- LOCATION --

Nijmegen is the oldest city in the Netherlands and celebrated its
2,000th year of existence in 2005. It is situated in the eastern
province of Gelderland, quite near to the German border. The latin
name for Nijmegen, ‘Noviomagus’, is a reminder of its Roman past.
‘Noviomagus’ means ‘new market’ and refers to the right to hold a
market as granted by the Romans. In the days of Charlemagne, the
city was called ‘Numaga’; later on, this became ‘Nieumeghen’ and
‘Nimmegen’. However, citizens born and bred in Nijmegen speak
affectionately of ‘Nimwegen’.

Nijmegen is one of the warmest cities of the Netherlands, especially
during summer, when the highest temperatures in the country are
usually measured in the triangle Roermond – Nijmegen – Eindhoven.
The lack of north-south oriented mountain ranges in Europe make this
area prone to sudden shifts in weather, giving the region a
semi-continental climate.

-- SATELLITE WORKSHOPS --

The workshop is intended to enable presentation of work in progress and
original research proposals. PhD students and young researchers are
particularly encouraged to contribute. CALCO 2015 will run together
with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions
at the end of each conference day.

-- CALCO Early Ideas Overview --

The CALCO Early Ideas Workshop invites 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 transfer of the resulting technologies into
industrial practice. The list of topics of particular interest is
shown on the main CALCO 2015 page.

CALCO Early Ideas presentations will be selected according to originality,
significance, and general interest, on the basis of submitted 2-page short
contributions. It can be work in progress, a summary of work submitted to a
conference or workshop elsewhere, or work that in some other way might be
interesting to the CALCO audience. A booklet with the accepted short
contributions will be made available.

We encourage PhD students and young researchers to submit Early Ideas papers
to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in
the abstract that the paper is to be considered for an Early Ideas talk..


 

Related Resources

DSAA 2017   The 4th IEEE International Conference on Data Science and Advanced Analytics 2017
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)--IEEE(CPS)-Final Call !
ICONIP 2017   International Conference on Neural Information Processing
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
ICCV 2017   International Conference on Computer Vision
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
CSCESM 2017   The Fourth International Conference on Computer Science, Computer Engineering and Social Media
Computation SI 2017   Special Issue in Computational Aspects Related to Unconventional, Bioinspired and Quantum Methods