[Prev][Next][Index][Thread]
ETAPS 2002: CALL FOR PARTICIPATION
**********************************************************
*** ***
*** ETAPS 2002 ***
*** APRIL, 6-14, 2002 ***
*** GRENOBLE, FRANCE ***
*** ***
**********************************************************
*** ***
*** REGISTRATION IS NOW OPEN ***
*** ***
*** !!!! REGISTER NOW !!!! ***
*** ***
**********************************************************
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-etaps.imag.fr/ *
******************************
-----------------------------------------------------------------------
5 Conferences - 13 Satellite Events - 11 Tutorials - Tool Demonstrations
-----------------------------------------------------------------------
-----------------------------------------------------------------------
Main Conferences
-----------------------------------------------------------------------
CC 2002: International Conference on Compiler Construction
Chair: Nigel Horspool
http://www.csr.UVic.CA/cc2002/
ESOP 2002, European Symposium On Programming
Chair: Daniel Le Metayer
FASE 2002, Fundamental Approaches to Software Engineering
Chairs: Ralf-Detlef Kutsche and Herbert Weber
http://www.cis.cs.tu-berlin.de/~fase2002/index_general.html
FOSSACS 2002 Foundations of Software Science and Computation Structures
Chair: Mogens Nielsen
http://www.brics.dk/fossacs02/
TACAS 2002, Tools and Algorithms for the Construction and Analysis of Systems
Chairs: Perdita Stevens and Joost-Pieter Katoen
Tool chair: Hubert Garavel
http://www.dcs.ed.ac.uk/tacas2002/
-----------------------------------------------------------------------
Satellite Events
-----------------------------------------------------------------------
ACL2: Third Workshop on the ACL2 Theorem Prover and its Applications
Contact: Matt Kaufmann, matt.kaufmann@amd.com
http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
AGT: APPLIGRAPH Workshop on Applied Graph Transformation
Contact: Hans-Joerg Kreowski, kreo@informatik.uni-bremen.de
http://www.informatik.uni-bremen.de/theorie/AGT2002
CMCS: Coalgebraic Methods in Computer Science
Contact: Larry Moss, University of Indiana, lsm@cs.indiana.edu
http://www.cs.indiana.edu/cmcs
COCV: Compiler Optimization Meets Compiler Verification
Contact: Jens Knoop, knoop@ls5.cs.uni-dortmund.de
http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html
DCC: Designing Correct Circuits
Contact: Mary Sheeran, ms@cs.chalmers.se
http://www.cs.chalmers.se/~ms/DCC02/
INT: Second Workshop on Integration of Specification Techniques for
Applications in Engineering
Contact: Martin Grosse-Rhode, mgr@cs.tu-berlin.de
http://tfs.cs.tu-berlin.de/~mgr/int02/
LDTA: Second Workshop on Language Descriptions, Tools and Applications
Contact: Marjan Mernik, marjan.mernik@uni-mb.si
http://www.cwi.nl/conferences/LDTA2002/
SC: Software Composition
Contact: Elke Pulvermueller, pulvermueller@acm.org
http://i44www.info.uni-karlsruhe.de/~pulvermu/workshops/SC2002
SFEDL: Semantic Foundations of Engineering Design Languages
Contact: Gerald Luttgen, g.luettgen@dcs.shef.ac.uk
http://www.dcs.shef.ac.uk/~sfedl
SLAP: Synchronous Languages, Applications, and Programming
Contact: Florence Maraninchi, Florence.Maraninchi@imag.fr
http://www.inrialpes.fr/bip/people/girault/Slap02
SPIN: 9th International SPIN Workshop on Model Checking of Software
Contact: Stefan Leue, spin2002@informatik.uni-freiburg.de
http://tele.informatik.uni-freiburg.de/spin2002
TPTS: Theory and Practice of Timed Systems
Contact: Oded Maler, Oded.Maler@imag.fr
http://www-verimag.imag.fr/~maler/TPTS.html
VISS: Validation and Implementation of Scenario-based Specifications
Contact: Anca Muscholl, muscholl@liafa.jussieu.fr
http://www.liafa.jussieu.fr/~anca/VISS02.html
-----------------------------------------------------------------------
Tutorials
-----------------------------------------------------------------------
See the Tutorials page at http://www-etaps.imag.fr/
for the complete list of tutorials
-----------------------------------------------------------------------
Tool Demonstrations
-----------------------------------------------------------------------
Demonstrations of tools presenting advances on the state of the art
have been selected and are integrated in the programmes of the main
conferences. Have a look at the Programme page at
http://www-etaps.imag.fr/
-----------------------------------------------------------------------
-----------
you received this e-mail via the individual or collective address
types@cis.upenn.edu
to unsubscribe from ETAPS list: contact etaps02@ormelune.imag.fr
-----------