[TYPES] ETAPS 2004: CALL FOR PARTICIPATION
ETAPS 2004
etaps04 at lsi.upc.es
Wed Jan 21 10:27:54 EST 2004
Excuse us if you receive multiple copies of this message.
**********************************************************
*** ETAPS 2004 ***
*** March 27 - April 4, 2004 ***
*** Barcelona, SPAIN ***
*** ***
*** http://www.lsi.upc.es/etaps04/ ***
**********************************************************
The European Joint Conferences on Theory and Practice of Software (ETAPS)
is the primary European forum for academic and industrial researchers working
on topics related to Software Science. It is a confederation of five main
conferences, a number of satellite workshops and other events.
-------------------------------------------------------------------------
5 Conferences - 22 Satellite Workshops - 1 Tutorial - Tool Demonstrations
-------------------------------------------------------------------------
**********************************************************
*** ***
*** CALL FOR PARTICIPATION ***
*** Early Registration Deadline: February 15, 2004 ***
*** ***
**********************************************************
-----------------------------------------------------------------------
Conferences
-----------------------------------------------------------------------
CC 2004: International Conference on Compiler Construction
http://www.research.ibm.com/CC2004/home.html
Chair: Evelyn Duesterwald (IBM, USA) duester at us.ibm.com
ESOP 2004, European Symposium On Programming
http://www.cis.ksu.edu/santos/esop2004/
Chair: David Schmidt (Kansas, USA) schmidt at cis.ksu.edu
FASE 2004, Fundamental Approaches to Software Engineering
http://ctp.di.fct.unl.pt/~mw/conf/fase04/
Co-Chairs: Tiziana Margaria (Dortmund, Germany) tmargaria at metaframe.de
Michel Wermelinger (Lisboa, Portugal) mw at di.fct.unl.pt
FOSSACS 2004 Foundations of Software Science and Computation Structures
http://www.labri.fr/Perso/~igw/FOSSACS/
Chair: Igor Walukiewicz (Bordeaux, France) igw at labri.fr
TACAS 2004, Tools and Algorithms for the Construction and Analysis of Systems
http://www.daimi.au.dk/~cpn/tacas04/
Co-Chairs: Kurt Jensen (Aarhus, Denmark) kjensen at daimi.au.dk
Andreas Podelski (Saarbrücken, Germany) podelski at mpi-sb.mpg.de
-----------------------------------------------------------------------
Satellite Workshops
-----------------------------------------------------------------------
* AVIS'04 - Third International Workshop on Automatic Verification
of Infinite-State Systems
Contact: Dr. Ramesh Bharadwaj (ramesh at itd.nrl.navy.mil)
URL: http://chacs.nrl.navy.mil/AVIS04
* CMCS 2004 - Coalgebraic Methods in Computer Science 2004
Contact: Jiri Adamek (J.Adamek at tu-bs.de)
URL: http://www.iti.cs.tu-bs.de/~cmcs/
* COCV - 3rd International Workshop on Compiler Optimization Meets
Compiler Verification
Contact: Jens Knoop (Jens.Knoop at FernUni-Hagen.De)
URL: http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html
* CP+CV'04 - Workshop on Constraint Programming and Constraints
for Verification
Contact: Thom Fruehwirth (Thom.Fruehwirth at informatik.uni-ulm.de)
URL: http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/cp_etaps04.html
* DCC - Designing Correct Circuits
Contact: Mary Sheeran (ms at cs.chalmers) and
Tom Melham (Tom.Melham at comlab.ox.ac.uk)
URL: http://www.cs.chalmers.se/~ms/DCC04/
* eTX - eclipse Technology eXchange
Contact: Brian Barry (brian at bedarra.com) or
Oege de Moor (oege at comlab.ox.ac.uk
URL: http://web.comlab.ox.ac.uk/oucl/work/oege.de.moor/etxpage/eclipse.html
* FESCA - Formal Foundation of Embedded Software and
Component-based Software Architectures
Contact: Juliana Küster Filipe (jkfilipe at inf.ed.ac.uk)
URL: http://www.csse.monash.edu.au/fesca
email: fesca-04 at inf.ed.ac.uk
* FUSE 2004 - Foundations of Unanticipated Software Evolution
Contact: Tom Mens, (Tom.Mens at vub.ac.be)
URL: http://joint.org/fuse2004/
* GT-VMT - Graph Transformation and Visual Modelling Techniques
Contact: Reiko Heckel
URL: http://www.uni-paderborn.de/cs/ag-engels/GT-VMT04
email: gtvmt04 at upb.de
* INT - Third International Workshop on Integration of Specification
Techniques for Applications in Engineering
Contact: Hartmut Ehrig (ehrig at cs.tu-berlin.de) and
Gunnar Schroeter (schroetg at cs.tu-berlin.de)
URL: http://tfs.cs.tu-berlin.de/~gschroet/int04/index.html
* LDTA - Fourth Workshop on Language Descriptions, Tools and Applications
Contact: Joao Saraiva (jas at di.uminho.pt)
URL: http://www.di.uminho.pt/LDTA04
* MBT 2004 - International Workshop on Model-Based Testing
Contact: Alexander Kossatchev (kos at ispras.ru)
URL: http://www.ispras.ru/news/MBT2004.html
* QAPL'04 - 2nd Workshop on Quantitative Aspects of Programming Languages
Contact: Alessandra Di Pierro
URL: http://qapl04.di.unipi.it/
email: qapl04 at di.unipi.it
* RV'04 - Fourth Workshop on Runtime Verification
Contact: Klaus Havelund (havelund at email.arc.nasa.gov)
URL: http://ase.arc.nasa.gov/rv2004
* SC 2004 - Software Composition
Contact: Uwe Assmann (uweas at ida.liu.se)
URL: http://www.ida.liu.se/~uweas/sc2004
* SFEDL - Semantic Foundations of Engineering Design Languages
Contact: Michael Mendler (michael.mendler at wiai.uni-bamberg.de)
URL: http://www.uni-bamberg.de/~ba7gi99/sfedl04/
* SLAP 2004 : Synchronous Languages, Applications, and Programs
Contact: Florence Maraninchi (Florence.Maraninchi at imag.fr)
URL: http://www.inrialpes.fr/pop-art/people/girault/Slap04
* SPIN - 11th International Workshop on Model-Checking of Software
Contact: Susanne Graf, Verimag/CNRS (spin04 at imag.fr)
URL: http://www-verimag.imag.fr/SPIN-2004
* TACoS - Test and Analysis of Component-Based Systems
Contact: Mauro Pezzè (pezze at disco.unimib.it)
URL: www.lta.disco.unimib.it/tacos
* WADT'04 - 17th International Workshop on Algebraic Development Techniques
Contact: Peter Mosses (wadt2004 at brics.dk)
URL: http://www.lsi.upc.es/etaps04/wadt2004/index.html
* WITS'04 - Workshop on Issues in the Theory of Security
Contact: Peter Y A Ryan (peter.ryan at ncl.ac.uk)
URL: http://www.dsi.unive.it/IFIPWG1_7/wits2004.html
* WRLA 2004 - 5th International Workshop on Rewriting Logic
and its Applications
Contact: Narciso Marti-Oliet (narciso at sip.ucm.es)
URL: http://www.fdi.ucm.es/wrla2004
email: wrla2004 at sip.ucm.es
-----------------------------------------------------------------------
Tutorial
-----------------------------------------------------------------------
See the Tutorials page at http://www.lsi.upc.es/etaps04
for details
-----------------------------------------------------------------------
INVITED SPEAKERS
-----------------------------------------------------------------------
Serge Abiteboul, INRIA-Rocquencourt, France
Hubert Comon, Cachan, France
Robin Milner, Cambridge, UK
Peter O'Hearn, London, UK
Gruia-Catalin Roman, Washington Univ., USA
Mary Lou Soffa, Pittsburgh, USA
Antti Valmari, Tampere, Finland
-----------------------------------------------------------------------
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 Program page at
http://www.lsi.upc.es/etaps04
-----------
you received this e-mail via the individual or collective address
types at cis.upenn.edu
to unsubscribe from ETAPS list: contact etaps04 at lsi.upc.es
-----------
More information about the Types-list
mailing list