Subject: categories: ETAPS 2004: CALL FOR PARTICIPATION

From: ETAPS 2004 <[email-masked]>
Date: Wed, 21 Jan 2004 10:25:47 +0100 (MET)

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 worki=
ng
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)  [email-masked]

ESOP 2004, European Symposium On Programming
http://www.cis.ksu.edu/santos/esop2004/
Chair: David Schmidt (Kansas, USA)  [email-masked]

FASE 2004, Fundamental Approaches to Software Engineering
http://ctp.di.fct.unl.pt/~mw/conf/fase04/
Co-Chairs: Tiziana Margaria (Dortmund, Germany) [email-masked]
           Michel Wermelinger (Lisboa, Portugal) [email-masked]

FOSSACS 2004 Foundations of Software Science and Computation Structures
http://www.labri.fr/Perso/~igw/FOSSACS/
Chair: Igor Walukiewicz (Bordeaux, France) [email-masked]

TACAS 2004, Tools and Algorithms for the Construction and Analysis of Syste=
ms
http://www.daimi.au.dk/~cpn/tacas04/
Co-Chairs: Kurt Jensen (Aarhus, Denmark)  [email-masked]
           Andreas Podelski (Saarbr=FCcken, Germany)  [email-masked]=
e

-----------------------------------------------------------------------
Satellite Workshops
-----------------------------------------------------------------------

* AVIS'04 - Third International Workshop on Automatic Verification
   of Infinite-State Systems
   Contact: Dr. Ramesh Bharadwaj ([email-masked])
   URL: http://chacs.nrl.navy.mil/AVIS04

* CMCS 2004 - Coalgebraic Methods in Computer Science 2004
   Contact: Jiri Adamek ([email-masked])
   URL: http://www.iti.cs.tu-bs.de/~cmcs/

* COCV - 3rd International Workshop on Compiler Optimization Meets
   Compiler Verification
   Contact: Jens Knoop ([email-masked])
   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 ([email-masked])
   URL: http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/cp_etaps=
04.html

* DCC - Designing Correct Circuits
   Contact: Mary Sheeran ([email-masked]) and
            Tom Melham ([email-masked])
   URL: http://www.cs.chalmers.se/~ms/DCC04/

* eTX - eclipse Technology eXchange
  Contact: Brian Barry ([email-masked]) or
           Oege de Moor ([email-masked]
  URL: http://web.comlab.ox.ac.uk/oucl/work/oege.de.moor/etxpage/eclipse.ht=
ml

* FESCA - Formal Foundation of Embedded Software and
   Component-based Software Architectures
   Contact: Juliana K=FCster Filipe ([email-masked])
   URL: http://www.csse.monash.edu.au/fesca
   email: [email-masked]

* FUSE 2004 - Foundations of Unanticipated Software Evolution
   Contact: Tom Mens, ([email-masked])
   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: [email-masked]

* INT - Third International Workshop on Integration of Specification
   Techniques for Applications in Engineering
   Contact: Hartmut Ehrig ([email-masked]) and
            Gunnar Schroeter ([email-masked])
   URL: http://tfs.cs.tu-berlin.de/~gschroet/int04/index.html

* LDTA - Fourth Workshop on Language Descriptions, Tools and Applications
   Contact: Joao Saraiva ([email-masked])
   URL: http://www.di.uminho.pt/LDTA04

* MBT 2004 - International Workshop on Model-Based Testing
   Contact: Alexander Kossatchev ([email-masked])
   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: [email-masked]

* RV'04 - Fourth Workshop on Runtime Verification
   Contact: Klaus Havelund ([email-masked])
   URL: http://ase.arc.nasa.gov/rv2004

* SC 2004 - Software Composition
   Contact: Uwe Assmann ([email-masked])
   URL: http://www.ida.liu.se/~uweas/sc2004

* SFEDL - Semantic Foundations of Engineering Design Languages
   Contact:  Michael Mendler ([email-masked])
   URL: http://www.uni-bamberg.de/~ba7gi99/sfedl04/

* SLAP 2004 : Synchronous Languages, Applications, and Programs
   Contact: Florence Maraninchi ([email-masked])
   URL: http://www.inrialpes.fr/pop-art/people/girault/Slap04

* SPIN - 11th International Workshop on Model-Checking of Software
   Contact: Susanne Graf, Verimag/CNRS ([email-masked])
   URL: http://www-verimag.imag.fr/SPIN-2004

* TACoS - Test and Analysis of Component-Based Systems
   Contact: Mauro Pezz=E8 ([email-masked])
   URL: www.lta.disco.unimib.it/tacos

* WADT'04 - 17th International Workshop on Algebraic Development Techniques
   Contact: Peter Mosses ([email-masked])
   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 ([email-masked])
   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 ([email-masked])
   URL: http://www.fdi.ucm.es/wrla2004
   email: [email-masked]

-----------------------------------------------------------------------
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
               [email-masked]
to unsubscribe from ETAPS list: contact [email-masked]
 -----------