[TYPES/announce] ETAPS 2007: Call for Participation
João Saraiva
jas at di.uminho.pt
Fri Feb 23 09:54:42 EST 2007
*****************************************************************
*** ***
*** ETAPS 2007 ***
*** March 24 - April 1, 2007 ***
*** Braga, Portugal ***
*** ***
*** http://www.di.uminho.pt/etaps07/ ***
*** ***
*** CALL FOR PARTICIPATION ***
*** ***
*** Normal Registration Deadline: 26th February, 2007 ***
*** Students Grant Deadline : 26th 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.
More information about the Types-announce
mailing list