Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CMCS'03 - Coalgebraic Methods in Computer Science

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CMCS'03 - Coalgebraic Methods in Computer Science


chronological Thread 
  • From: "H. Peter Gumm" <gumm AT mathematik.uni-marburg.de>
  • To: amast AT cs.utwente.nl, behavior AT cs.ucsd.edu, categories AT mta.ca, ccl-request AT dfki.uni-sb.de, coalgebras AT iti.cs.tu-bs.de, comlab AT comlab.ox.ac.uk, concurrency AT cwi.nl, coq-club AT pauillac.inria.fr, cpworld AT gmu.edu, eatcs-it-l AT unifi.it, ecoop-info AT ecoop.org, formal-methods AT cs.uidaho.edu, isabelle-users AT cl.cam.ac.uk, lics-request AT dcs.ed.ac.uk, nuprllist AT cs.cornell.edu, parva AT upb.de, prog-lang AT diku.dk, pvs AT csl.sri.com, qed AT mcs.anl.gov, theorem-provers AT ai.mit.ed, theory-logic AT cs.cmu.edu, THEORYNT AT LISTSERV.NODAK.EDU, types AT cis.upenn.edu
  • Subject: [Coq-Club] CMCS'03 - Coalgebraic Methods in Computer Science
  • Date: Fri, 06 Dec 2002 11:39:50 +0100
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

+ + +  CMCS '03  + + +  2nd CALL FOR PAPERS    + + +   CMCS '03 + + +


       +----------------------------------------------------------+
       |                                                          |
       |                                                          |
       |           6-th International Workshop on                 |
       |       Coalgebraic Methods in Computer Science            |
       |                                                          |
       |                    C M C S  2003                         |
       |                                                          |
       |                                                          |
       |           Warsaw, Poland, 5-6 April, 2003                |
       |       http://www.mathematik.uni-marburg.de/~cmcs         ;|
       |                                                          |
       +----------------------------------------------------------+



The workshop is held in conjunction with

               ETAPS 2003 (6th European Joint Conferences on
               Theory and Practice of Software, April 5-13,2003)
               http://www.mimuw.edu.pl/etaps03

AIMS AND SCOPE

During the last few years, it is becoming increasingly clear that a
great variety of state-based dynamical systems, like transition systems,
automata, process calculi and class-based systems can be captured uniformly
as  coalgebras. Coalgebra is developing into a field of its own interest
presenting a deep mathematical foundation, a growing field of applications
and interactions with various other fields such as reactive and interactive
system theory, object oriented and concurrent programming, formal system
specification, modal logic, dynamical systems, control systems, category
theory, algebra, analysis, etc. The aim of the workshop is to bring together
researchers with a common interest in the theory of coalgebras and its
applications.

The topics of the workshop include, but are not limited to:
  - the theory of coalgebras (incl. set theoretic and categorical
    approaches);
  - coalgebras as computational and semantical models (for programming
    languages, dynamical systems, etc.);
  - coalgebras in (functional, object-oriented, concurrent) programming;
  - coalgebras and data types;
  - (coinductive) definition and proof principles for coalgebras (with
    bisimulations or invariants);
  - coalgebras and algebras;
  - coalgebraic specification and verification;
  - coalgebras and (modal) logic;
  - coalgebra and control theory (notably of discrete event and hybrid
     systems).

The workshop will provide an opportunity to present recent and ongoing
work, to meet colleagues, and to discuss new ideas and future trends.

Previous workshops of the same series have been organized in Lisbon,
Amsterdam, Berlin, Genova, and Grenoble. The proceedings appeared as
"Electronic Notes in Theoretical Computer Science (ENTCS)", Volumes 11,
19, 33, 41. Selected papers have been/are being published in
"Theoretical Computer Science (TCS)", "Theoretical Informatics and
Applications", "Mathematical Structures in Computer Science (MSCS)".

You can get an idea of the types of papers presented at previous meetings
by looking at the tables of content of the ENTCS volumes from these
meetings. They are available at the ENTCS page
http://www.elsevier.nl/gej-ng/31/29/23/show/Products/notes/contents.htt
The proceedings from 2002 appeared in ENTCS, Vol. 65. They can be found at http://www.elsevier.com/gej-ng/31/29/23/117/54/show/Products/notes/index.htt

PROGRAM COMMITTEE

   Jiri Adamek       (Braunschweig),
   Corina Cirstea    (Oxford),
   H. Peter Gumm     (chair, Marburg),
   Bart Jacobs       (Nijmegen),
   Alexander Kurz    (Amsterdam),
   Marina Lenisa     (Udine),
   Ugo Montanari     (Pisa),
   Larry Moss        (Bloomington, IN),
   Ataru T. Nakagawa (Tokyo),
   Horst Reichel     (Dresden),
   Grigore Rosu      (Urbana),
   Jan Rutten        (Amsterdam),
   James Worrell     (New Orleans).


LOCATION

CMCS 2003 will be held in Warsaw in April 2003. It is a  satellite workshop
of ETAPS 2003, the European Joint Conferences on Theory and Practice
of Software. For venue, registration and suggested accommodation see the
ETAPS 2003 Web page: http://www.mimuw.edu.pl/etaps03.

SUBMISSIONS

Submissions will be evaluated by the Program Committee for inclusion
in the proceedings, which will be published in the ENTCS series. Papers must
contain original contributions, be clearly written, and include  appropriate
reference to and comparison with related work. Papers (of at  most 15 pages)
should be submitted electronically as PostScript files at the address gumm AT mathematik.uni-marburg.de. A separate message should also be sent, with
a text-only one-page abstract and with mailing addresses (both postal and
electronic), telephone number and fax number of the corresponding author.

IMPORTANT DATES

Deadline for submission:     5   January 2003
Notification of acceptance:  7   February 2003
Final version due:           26  February 2003
Workshop dates:              5-6 April 2003


For more information, please contact:

H. Peter Gumm gumm AT mathematik.uni-marburg.de
 FB Mathematik und Informatik                 +49-(0)6421-282-1516 (office)
 Philipps-Universitaet Marburg                               -1514 (sekr.)
 35032 Marburg, Germany                                      -5419 (fax)


+ + +  CMCS '03  + + +  2nd CALL FOR PAPERS    + + +   CMCS '03  + + +






Archive powered by MhonArc 2.6.16.

Top of Page