The Coq mailing list

[ETAPS 2004 <etaps04 AT lsi.upc.es>]

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
               
coq-club AT pauillac.inria.fr
to unsubscribe from ETAPS list: contact 
etaps04 AT lsi.upc.es
 -----------