[om-a] ETAPS 2005: Second Call for Participation

[David Aspinall]

   *****************************************************************
   ***                                                           ***
   ***                         ETAPS 2005                        ***
   ***                   2nd - 10th April  2005                  ***
   ***                    Edinburgh, Scotland.                   ***
   ***                                                           ***
   ***              http://www.etaps05.inf.ed.ac.uk/             ***
   ***                                                           ***
   ***               SECOND CALL FOR PARTICIPATION               ***
   ***                                                           *** 
   ***   Deadline before late registration:  7th March, 2005     ***
   ***                                                           ***
   *****************************************************************


Dear Colleagues,

This is the second call for participation at ETAPS (European Joint
Conferences on Theory and Practice of Software), a major event in our
field taking place in Edinburgh this April.   It is a confederation of
5 main conferences, 16 satellite workshops and 5 tutorials.

You can find full details of at the web site linked above, or to go 
directly to the programme:

	http://www.etaps05.inf.ed.ac.uk/Programme 

The main conferences (FOSSACS, FASE, ESOP, CC and TACAS) are well
known (see further below).  What may be less familiar is the wide
range of associated satellite workshops and the useful tutorials also
on offer which you may also consider attending.  In particular, I'd
like to highlight a newly announced day of *open* tutorials as part of
the CMSB (Computational Methods in Systems Biology) workshop.

See the bottom of this message for registration information and a link
to local information about reaching Edinburgh and the conference locations.

Edinburgh is a beautiful location and ETAPS a wonderful conference,
it's sure to be an unmissable combination!

 -- The ETAPS 2005 Organizing Committee


-----------------------------------------------------------------------
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
-----------------------------------------------------------------------

New!  Open tutorials at  CMSB (Computational Methods in Systems Biology)
Various speakers, for details see http://homepages.inf.ed.ac.uk/v1bklin/cmsb05

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


-------------------------------------------------------------------------
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.


-----------------------------------------------------------------------
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:   http://www.etaps05.inf.ed.ac.uk/Contact
Local information: http://www.etaps05.inf.ed.ac.uk/LocalInfo

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: om-announce at lars.math.fsu.edu
Please accept our apologies if you have received duplicates.
To unsubscribe from the ETAPS list contact: etaps05 at inf.ed.ac.uk
(NB: this is the final ETAPS 2005 mailing; unsubscribe requests will be
 processed before ETAPS 2006)
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems