[TYPES] ETAPS 2007: Call for Participation

[João Saraiva]

   *****************************************************************
   ***                                                           ***
   ***                         ETAPS 2007                        ***
   ***                 March 24 - April 1, 2007                  *** 
   ***                       Braga, Portugal                     ***
   ***                                                           ***
   ***              http://www.di.uminho.pt/etaps07/             ***
   ***                                                           ***
   ***                  CALL FOR PARTICIPATION                   ***
   ***                                                           ***
   ***     Early Registration Deadline: 12th February, 2007      ***
   ***                                                           ***
   *****************************************************************


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, several satellite workshops
and other events.

ETAPS 2007 is taking place in Braga, Portugal. Braga, capital of the
Minho province, is an ancient city in the heart of the green and
fertile region known as the Costa Verde. The region is known for its
attractiveness in terms of climate, gastronomy, prices, and
culture. Braga is known for its barroque churches and splendid 18th
century houses. The old city is solemn and antique, but animated with
commercial activity and academic life.


============================================================================
 5 Conferences - 18 Satellite Workshops - 3 Tutorials - Tool
Demonstrations
============================================================================

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


 CC 2007:      International Conference on Compiler Construction
               http://cc2007.cs.brown.edu/

 ESOP 2007:    European Symposium on Programming
               http://rap.dsi.unifi.it/esop07/

 FASE 2007:    Fundamental Approaches to Software Engineering
               http://fase07.di.fc.ul.pt

 FOSSACS 2007: Foundations of Software Science and Computation 
               Structures
               http://www2.in.tum.de/~seidl/fossacs07/

 TACAS 2007:   Tools and Algorithms for the Construction and Analysis 
               of Systems
               http://www.doc.ic.ac.uk/tacas07/


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

ETAPS 2007:   Rance Cleaveland - University of Maryland, USA
ETAPS 2007:   Bertrand Meyer - ETH Zürich, Switzerland
CC 2007:      Don Batory - University of Texas at Austin, USA
ESOP 2007:    Andrew Pitts - Cambridge University, UK
FASE 2007:    Jan Bosch - Nokia, Finland
FOSSACS 2007: Radha Jagadeesan - DePaul University, USA
TACAS 2007:   K. Rustan M. Leino - Microsoft Research, USA


Further invited speakers are giving talks in the satellite workshops.

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


ACCAT:     Applied and Computational Category Theory
           http://tfs.cs.tu-berlin.de/workshops/accat2007/

AVIS:      Int. Workshop on Automated Verification of Infinite-State 
           Systems
           http://chacs.nrl.navy.mil/AVIS07

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

COCV:      Sixth Workshop on Compiler Optimization Meets 
           Compiler Verification
           http://pes.cs.tu-berlin.de/cocv2007/

FESCA:     Formal Foundations of Embedded Software and 
           Component-Based Software Architectures
           http://palab.dcs.kcl.ac.uk/fesca/

FinCo:     Foundations of Interactive Computation
           http://www.cs.brown.edu/sites/finco07/

GT-VMT:    Int. Workshop on Graph Transformation and Visual 
           Modeling Techniques
           http://www.cs.le.ac.uk/events/GTVMT07/

HAV:       Heap Analysis and Verification
           http://www.cs.tau.ac.il/~msagiv/hav.html

HFL:       Hardware design using Functional Languages
           http://hfl07.hflworkshop.org/

LDTA:      Seventh Workshop on Language Descriptions, Tools and 
           Applications
           http://www.di.uminho.pt/ldta07

MBT:       Third Workshop on Model Based Testing
           http://react.cs.uni-sb.de/mbt2007/

MOMPES:    Model-based Methodologies for Pervasive and 
           Embedded Software
           http://www.di.uminho.pt/mompes

OpenCert:  Foundations and Techniques for Open Source Software 
           Certification
           http://opencert.iist.unu.edu/

QAPL:      Fifth Workshop on Quantitative Aspects of Programming 
           Languages
           http://www.cse.yorku.ca/qapl07

SC:        Software Composition
           http://ssel.vub.ac.be/sc2007

SLA++P:    Model-driven High-level Programming of Embedded Systems
           http://web.uni-bamberg.de/wiai/gdi/SLAP07/

TERMGRAPH: Fourth International Workshop on Computing with 
           Terms and Graphs
           http://www.termgraph.org.uk

WITS:      Seventh Workshop on Issues in the Theory of Security
           http://www.dsi.unive.it/IFIPWG1_7/wits2007.html

        
-----------------------------------------------------------------------
Tutorials
-----------------------------------------------------------------------

Program Transformation with Stratego/XT
Martin Bravenboer (Utrecht University) and 
Eelco Visser (Delft University of Technology)


Beyond the Generators: Practical Techniques for Real-World Software
Generation
Anthony M. Sloane (Macquarie University)


Mobility, Ubiquity, and Security
Gilles Barthe (INRIA), David Pichardie (IRISA), 
David Aspinall (Univ. of Edinburgh), Peter Müller (ETH Zurich), 
Lennart Beringer (LMU Munich) and Joe Kiniry (UC Dublin)

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

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

For online registration, please visit

     http://www.di.uminho.pt/etaps07/

and go to menu item "Registration". 

Contact details are available at the menu item "Contact us". In case
of any questions not addressed on the web pages, please email
etaps07 at di.uminho.pt.