From: etaps2001@disi.unige.it (Etaps 2001)
To: etaps2001@disi.unige.it
Subject: ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
Date: Tue, 6 Jun 2000 16:06:08 +0200 (MET DST) [thread overview]
Message-ID: <200006061406.QAA08437__4695.98840359158$1241017911$gmane$org@disi.unige.it> (raw)
ETAPS 2001
APRIL 2 - 6, 2001
GENOVA - ITALY
The European Joint Conferences on Theory and Practice of Software
(ETAPS) is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.
http://www.disi.unige.it/etaps2001/
FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
-----------------------------------------------------------------------
5 Conferences - Tutorials - Tool Demonstrations - 7 Satellite Events
-----------------------------------------------------------------------
Conferences
-----------------------------------------------------------------------
CC 2001: International Conference on Compiler Construction
Chair: Reinhard Wilhelm
ESOP 2001, European Symposium On Programming
Chair: David Sands
FASE 2001, Fundamental Approaches to Software Engineering
Chair: Heinrich Hußmann
FOSSACS 2001,
Foundations of Software Science and Computation Structures
Chair: Furio Honsell
TACAS 2001,
Tools and Algorithms for the Construction and Analysis of Systems
Chairs: Tiziana Margaria and Wang Yi
Prospective authors are invited to submit, before October 20, 2001,
full papers in English presenting original research. Submitted papers
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is forbidden. The proceedings of each main
conference will be published as a separate volume in the Springer
Verlag Lecture Notes in Computer Science series.
Tutorials
-----------------------------------------------------------------------
Proposals for half-day or full-day tutorials related to ETAPS 2001 are
invited. Tutorial proposals will be evaluated on the basis of their
assessed benefit for prospective participants to ETAPS 2001.
Contact: Bernhard Rumpe, (Technische Universitaet Munchen, Germany)
etaps2001-tut@forsoft.de
Tool Demonstrations
-----------------------------------------------------------------------
Demonstrations of tools presenting advances on the state of the art are
invited. Submissions in this category should present tools having a
clear connection to one of the main ETAPS conferences, possibly
complementing a paper submitted separately. These should not be
confused with contributions to TACAS, which emphasizes principles of
tool design, implementation, and use, rather than focusing on specific
domains of application.
Contact: Don Sannella (University of Edinburgh)
etaps2001-demo@dcs.ed.ac.uk
Satellite Events
-----------------------------------------------------------------------
Besides the five main conferences the following satellite events are
planned for ETAPS 2001
CMCS: Co-algebraic Methods in Computer Science
Contact: Ugo Montanari (Universita' di Pisa, Italy)
ETI Day: Electronic Tool Integration platform Day
Contacts: Tiziana Margaria (Universitaet Dortmund, Germany) and
Andreas Podelski (MPI Saarbrucken, Germany)
LDTA: Workshop on Language Descriptions, Tools and Applications
Contact: Mark van den Brand (CWI Amsterdam, The Netherlands)
PFM: Proofs For Mobility
Contact: Davide Sangiorgi (INRIA-Sophia Antipolis, France)
RelMiS: Relational Methods in Software
Contact: Wolfram Kahl (Universitaet der Bundeswehr Munchen, Germany)
UNIGRA:
Uniform Approaches to Graphical Process Specification Techniques
Contact: Julia Padberg (Technische Universitaet Berlin, Germany)
WADT: Workshop on Algebraic Development Techniques
Contact: Maura Cerioli (DISI-Universita' di Genova, Italy)
Important Dates:
-----------------------------------------------------------------------
October 20, 2000: Submissions Deadline for the Main Conferences,
Demos and Tutorials
December 15, 2000: Notification of Acceptance/Rejection
January 15 2001: Camera-ready Version Due
April 2-6, 2001: ETAPS 2001 in Genova
March 31 - April 8, 2001: Satellite Events
-----------------------------------------------------------------------
reply other threads:[~2000-06-06 14:06 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='200006061406.QAA08437__4695.98840359158$1241017911$gmane$org@disi.unige.it' \
--to=etaps2001@disi.unige.it \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).