* Call for papers GETCO 2001
@ 2001-03-16 18:27 Philippe Gaucher
0 siblings, 0 replies; only message in thread
From: Philippe Gaucher @ 2001-03-16 18:27 UTC (permalink / raw)
To: categories
3rd workshop on
Geometric and
Topological Methods
in Concurrency
GETCO 2001
hosted by
Concur 2001, , and Aalborg University
Venue: Aalborg University, Denmark
Conference dates:
CONCUR: August 21-24, 2001
GETCO: August 25, 2001
Call for papers
Scope of the workshop
The main mathematical disciplines that have been used in computer science
are discrete mathematics (especially, graph theory and ordered structures),
logics (mostly proof theory for all kinds of logics, classical,
intuitionistic, modal etc.) and category theory (cartesian closed
categories, topoi etc.). General Topology has also been used for instance in
denotational semantics, with relations to ordered structures in particular.
Recently, ideas and notions from mainstream "geometric" topology and
algebraic topology have entered the scene in Concurrency Theory and
Distributed Systems Theory (some of them based on older ideas). They have
been applied in particular to problems dealing with coordination of
multi-processor and distributed systems (see the historical note ). Among
those are techniques borrowed from algebraic and geometric topology:
Simplicial techniques have led to new theoretical bounds for coordination
problems. Higher dimensional automata have been modelled as cubical
complexes with a partial order reflecting the time flows, and their homotopy
properties allow to reason about a system's global behaviour.
The first workshop on the subject Geometric and Topological Methods in
Concurrency Theory has been held in Aalborg, Denmark, in June 1999. GETCO
2000 was organised as a workshop affiliated with CONCUR 2000 at Penn State
University.The recent volumes 10 of Math. Struct. in Comp. Science and 39,
issue 2, of Electr. Notes Theor. Comp. Science have been devoted to this
area.
The 3rd workshop in this series will be organised as a satellite to CONCUR
2001 at Aalborg University (Aug.21 - Aug.24). It aims at bringing together
researchers from both the mathematical (geometry, topology, algebraic
topology etc.) and computer scientific side (concurrency theorists,
semanticians, researchers in distributed systems etc.) with an active
interest in these or related developments.
Topics include (but are not limited to) Semantics, Concurrency Theory,
Model-checking, Abstract Interpretation, Fault-tolerant Protocols for
Distributed Systems, Geometrical/Topological models, Applications of
algebraic topology, Category theory etc.
Paper submission
The deadline for submission to the workshop is May 20, 2001 (midnight).
Submissions may be of two forms:
* Short abstracts: up to 4 pages, in format A4, typeset 11 points
* Full papers: up to 12 pages, in format A4, typeset 11 points (excluding
bibliography and technical appendices)
Both forms of submission should include a separate page with the following
informations: title, author(s), corresponding author, contact information
and a 12-15 lines summary. Simultaneous submission to other conferences or
journals is only allowed for short abstracts.
Electronic submission is strongly encouraged. The paper or abstract should
be sent by e-mail in the form of a postscript file to both the addresses
raussen@math.auc.dk and goubault@aigle.saclay.cea.fr. The accompanying page
should be sent in a separate email message. If surface mail has to be used,
then 3 copies of the paper/abstract should be sent to: Martin Raussen, Dept.
of Mathematical Sciences, Aalborg University, Fredrik Bajersvej 7G, DK-9220
Aalborg Øst, Denmark.
Publication
Accepted papers will be made available in the BRICS Notes series.
For full publication -- only full papers -- first contacts have been taken
with Electronic Notes in Theoretical Computer Science. Acceptance of papers
will be decided upon after the workshop.
Registration
The registration for GETCO'2001 is made through the registration for
Concur'2001 with no extra-charge.
Programme Committee (to be completed):
* Patrick Cousot, Ecole Normale Superieure, Paris, France
* Lisbeth Fajstrup, Aalborg University, Denmark
* Eric Goubault, Commissariat à l'Energie Atomique, France
* Jeremy Gunawardena, Hewlett-Packard BRIMS, England
* Martin Raussen, Aalborg University, Denmark
* Vladimiro Sassone, Catania University, Italy
Important Dates
* Call for Papers: March 13, 2001
* Deadline for submission: May 20, 2001
* Notification of acceptance: July 1, 2001
* Final version due: July 29, 2001
* CONCUR: August 21-August 24, 2001
* GETCO: August 25, 2001
Local Organization
* Lisbeth Fajstrup, Aalborg University, Denmark
* Eric Goubault, Commissariat à l'Energie Atomique, France
* Martin Raussen, Aalborg University, Denmark
Contact
http://www.math.auc.dk/~raussen/GETCO/getco.html
Martin Raussen
Department of Mathematics
Aalborg University
Fredrik Bajersvej 7G
DK-9220 Aalborg Øst
Denmark
Phone: (+45) 96 35 88 55
Fax: (+45) 98 15 81 29
Email: raussen@math.auc.dk
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2001-03-16 18:27 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-03-16 18:27 Call for papers GETCO 2001 Philippe Gaucher
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).