***************************************************************** *** *** *** 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 [log in to unmask] ---------------------------------------------------------------------------- You received this e-mail via the individual or collective address: [log in to unmask] Please accept our apologies if you have received duplicates. To unsubscribe from the ETAPS list contact: [log in to unmask] (NB: this is the final ETAPS 2005 mailing; unsubscribe requests will be processed before ETAPS 2006)