5 X-Accept-Language: en-us, en MIME-Version: 1.0 To: undisclosed-recipients:; Subject: categories: 2nd CFP: CALCO 2005 Content-Type: text/plain; charset=3DISO-8859-1; format=3Dflowed Content-Transfer-Encoding: 8bit X-SA-Exim-Mail-From: M.Roggenbach@swansea.ac.uk Sender: cat-dist@mta.ca Precedence: bulk We apologise if you receive multiple copies. *--------------------------------------------------------------------* * 2nd Call for Papers * * * * CALCO 2005 * * * * =091st Conference on Algebra and Coalgebra in Computer Science * * * * September 3-6, 2005, Swansea, Wales, UK * * * *--------------------------------------------------------------------* * Abstract submission : January 21, 2005 * * Technical paper submission: January 31, 2005 * * Author notification: April 11, 2005 * *--------------------------------------------------------------------* * http://www.cs.swan.ac.uk/calco/ * *--------------------------------------------------------------------* With the support of IFIP WG1.3 on Foundations of System Specification 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. CALCO 2005 will be preceded by a CALCO Young Researchers Workshop, CALCO-jnr, dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years (see www.cs.swan.ac.uk/calco-jnr/ for details). Topics of Interest ------------------ We invite submission 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 transition of resulting technologies into industrial practise. We encourage submissions in topics included or related to those in the lists below. 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 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. Proceedings will be published in the Springer LNCS series. Final papers will be no more than 15 pages long in the format specified by Springer. It is recommended that submissions adhere to that format and length (see at http://www.springer.de/comp/lncs/authors.html). Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Paper submissions will be made electronically at he conference web site. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of Theoretical Computer Science consisting of extended versions of selected papers will be produced after the conference if there are enough good papers that can be extended and revised to the standards of this journal. Invited Speakers ---------------- The so-far confirmed invited speakers for CALCO 05 are: * Samson Abramsky, Christopher Strachey Professor of Computer Science, University of Oxford, UK. * Vladimiro Sassone, Professor of Informatics, University of Sussex, UK. Important Dates (all in 2005) ----------------------------- Jan 21 Abstract submission due Jan 31 Technical paper submissions due April 11 Author notification May 30 Camera ready due Sept 3-6 CALCO technical programme Programme Committee ------------------- Jose Fiadeiro, University of Leicester, UK (co-chair) Jan Rutten, CWI & Free University Amsterdam, NL (co-chair) Luca Aceto, Aalborg University, DK, and Reykjav=EDk University, IS Jiri Adamek, University of Braunschweig, D Christel Baier, University of Bonn, D Michel Bidoit, CNRS, Cachan, F Jules Desharnais, Laval University, CAN Marie-Claude Gaudel, LRI-CNRS, Paris, F Reiko Heckel, University of Paderborn, D H.Peter Gumm, Philipps University, Marburg, D Ugo Montanari, University of Pisa, I Larry Moss, Indiana University, Bloomington, USA Peter Mosses, BRICS and University of Aarhus, DK Fernando Orejas, Politechnical University Catalunia, Barcelona, E Francesco Parisi-Presicce, George Mason University, Fairfax, USA John Power, University of Edinburgh, UK Horst Reichel, Technical University Dresden, D Eugene Stark, Stony Brook University, New York, USA Andrzej Tarlecki, Warsaw University, PL John Tucker, University of Wales Swansea, UK Martin Wirsing, Ludwig-Maximilian University, Muenchen, D Steering Committee ------------------ Jiri Adamek, Nakagawa Ataru, Michel Bidoit, Jose Fiadeiro (co-chair), H.Peter Gumm, Bart Jacobs Hans- Jorg Kreowski, Ugo Montanari, Larry Moss, Peter Mosses, Fernando Orejas, Francesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair), Andrzej Tarlecki Organising Committee -------------------- Neal Harman and Markus Roggenbach, University of Wales Swansea, UK Location and Organisation ------------------------- 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. This CFP version dated: 22nd October 2004. --=20 ------------------------------------------------------------------- Markus Roggenbach Phone +44-1792-51-3578 Dept. of Computer Science Fax +44-1792-295708 University of Wales Swansea M.Roggenbach@Swan.ac.uk Singleton Park http://www.cs.swan.ac.uk/~csmarkus Swansea SA2 8PP, United Kingdom -------------------------------------------------------------------- 23-Oct-2004 10:16:08 -0300,1376;000000000001-00000000