[TYPES] ETAPS 2005: CALL FOR PARTICIPATION

[David Aspinall]

   *****************************************************************
   ***                                                           ***
   ***                         ETAPS 2005                        ***
   ***                   2nd - 10th April  2005                  ***
   ***                    Edinburgh, Scotland.                   ***
   ***                                                           ***
   ***              http://www.etaps05.inf.ed.ac.uk/             ***
   ***                                                           ***
   ***                  CALL FOR PARTICIPATION                   ***
   ***                                                           *** 
   ***     Early Registration Deadline: 14th February, 2005      ***
   ***                                                           ***
   *****************************************************************


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.

This year ETAPS is taking place in Edinburgh, the capital city of
Scotland.  Edinburgh is a beautiful, dynamic, prosperous European
city that benefits from a unique architectural heritage and a
magnificent natural setting.

============================================================================
 5 Conferences - 16 Satellite Workshops - 4 Tutorials - Tool Demonstrations
============================================================================


-------------------------------------------------------------------------
Main Conferences
-------------------------------------------------------------------------

 FOSSACS 2005: Foundations of Software Science and Computation Structures
 URL:          http://www.cogs.susx.ac.uk/fossacs05

 FASE 2005:    Fundamental Approaches to Software Engineering
 URL:          http://fase05.disi.unige.it/

 ESOP 2005:    European Symposium on Programming
 URL:          http://www.cs.tau.ac.il/~msagiv/esop05.html

 CC 2005:      International Conference on Compiler Construction
 URL:          http://cc05.cs.berkeley.edu/

 TACAS 2005:   Tools and Algorithms for the Construction and Analysis of Systems
 URL:          http://www-verimag.imag.fr/TACAS2005.html

See http://www.etaps05.inf.ed.ac.uk/Programme for details.


-----------------------------------------------------------------------
Invited Speakers
-----------------------------------------------------------------------

Gerard Berry, Ecole des Mines de Paris, Sophia-Antipolis, France
Marcelo Fiore, University of Cambridge, UK
Ugo Montanari, University of Pisa, Italy
Thomas Henzinger, Ecole Polytechnique Federale de Lausanne, Switzerland
Andrew Myers, Cornell University, USA
Andreas Zeller, Saarland University, Germany
Ken McMillan, Cadence Berkeley Labs, USA

For titles and abstracts, see http://www.etaps05.inf.ed.ac.uk/InvitedSpeakers
Further invited speakers are giving talks in the satellite workshops.

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

 AVIS:     Automated Verification of Infinite-State Systems
 URL:      http://chacs.nrl.navy.mil/AVIS05

 BYTECODE: Bytecode Semantics, Verification, Analysis and Transformation
 URL:      http://www.sci.univr.it/~spoto/Bytecode05/

 CLASE:    Constructive Logic for Automated Software Engineering
 URL:      http://www.csse.monash.edu.au/clase

 CMSB      Computational Methods in Systems Biology
 URL:      http://homepages.inf.ed.ac.uk/v1bklin/cmsb05

 COCV:     Compiler Optimization Meets Compiler Verification
 URL:      http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html

 FAC:      Formal verification of Analog Circuits
 URL:      http://www-verimag.imag.fr/~maler/FAC

 FESCA:    Formal Foundations of Embedded Software and Component-Based
           Software Architectures
 URL:      http://www.csse.monash.edu.au/fesca/

 FINCO:    Foundations of Interactive Computation
 URL:      http://www.cse.uconn.edu/cse/finco05/

 GCW-DSE:  Grand Challenge Workshop on Dependable Systems Evolution
 URL:      http://www.dcs.qmul.ac.uk/~ohearn/DSE-Workshop/etaps05.html

 GLPL:     Games for Logic and Programming Languages
 URL:      http://users.ox.ac.uk/~coml0074/galop.html

 LDTA:     Language Descriptions, Tools and Applications
 URL:      http://www-i2.informatik.rwth-aachen.de/Events/LDTA2005/

 QAPL:     Workshop on Quantitative Aspects of Programming Languages
 URL:      http://www.doc.ic.ac.uk/~qapl05

 SC:       Software Composition
 URL:      http://www.infosys.tuwien.ac.at/staff/tom/SC2005

 SLAP      Synchronous Languages, Applications, and Programming
 URL:      http://www-sop.inria.fr/cma/slap/slap2005.html

 TGC:      Trustworthy Global Computing
 URL:      http://www.cs.unibo.it/~sangio/TGC05/

 UITP:     User Interfaces for Theorem Provers
 URL:      http://uitp05.inf.ed.ac.uk

See also http://www.etaps05.inf.ed.ac.uk/Programme for workshop schedules
        
-----------------------------------------------------------------------
Tutorials
-----------------------------------------------------------------------

Dynamic Compilation and Adaptive Optimization in Virtual Machines
Michael Hind, IBM Watson Research Centre, New York, USA
http://www.research.ibm.com/people/h/hind/etaps.html

WCET : Timing Analysis of Embedded Software
Abhik Roychoudhury and Tulika Mitra, National University of Singapore
http://www.comp.nus.edu.sg/~abhik/WCET_papers.html

AVASP: Automatic Validation of Security Protocols
Jorge R. Cuellar, Siemens Munich, Germany, 
Sebastian Mödersheim and Luca Viganò, ETH Zürich, Switzerland 
http://www.avispa-project.org/avasp/avasp05-index.html

Design by Contract and Automatic Verification for Java with JML and ESC/Java2
Joe Kiniry, University College Dublin, Ireland and
Erik Poll, Raboud University Nijmegen, Netherlands.
http://secure.ucd.ie/~kiniry/etaps_tutorial.html


-----------------------------------------------------------------------
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. See http://www.etaps05.inf.ed.ac.uk/Programme.

-----------------------------------------------------------------------
Registration and Contact Details
-----------------------------------------------------------------------

For online registration, please visit http://www.etaps05.inf.ed.ac.uk/Registration
For accommodation booking, see http://www.etaps05.inf.ed.ac.uk/Accommodation

Contact details are at http://www.etaps05.inf.ed.ac.uk/Contact
In case of any queries not addressed on the web pages, please email
etaps05 at inf.ed.ac.uk.




---------------------------------------------------------------------------- 
You received this e-mail via the individual or collective address: types at cis.upenn.edu
Please accept our apologies if you have received duplicates.
To unsubscribe from the ETAPS list contact: etaps05 at inf.ed.ac.uk