ETAPS 2006: Call for Participation - Registration is Open (Vienna, Mar 06)

      *****************************************************************
      *** ***
      *** ETAPS 2006 ***
      *** 25 March - 2nd April 2006 ***
      *** Vienna, Austria ***
      *** ***
      *** http://www.complang.tuwien.ac.at/etaps06 ***
      *** ***
      *** CALL FOR PARTICIPATION ***
      *** ***
      *** Early Registration Deadline: 20th February, 2006 ***
      *** ***
      *****************************************************************




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 Vienna. For many centuries, Vienna
has been the capital of the Austrian-Hungarian empire, giving us
jewels like the Hofburg and the Schönbrunn and Belvedere
palaces. Vienna is also the music capital of the world. More famous
composers have lived here than in any other city. Vienna offers
exciting concerts, fantastic musicals, and impressive
exhibitions. Enjoy the delights of Viennese cuisine, typical Viennese
"gemütlichkeit" at cafés and Heurigens, and green Vienna in the city's
many parks.




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


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


  FOSSACS 2006: Foundations of Software Science and Computation Structures
                              http://fossacs06.ru.is/


  FASE 2006: Fundamental Approaches to Software Engineering
                              http://www.elet.polimi.it/conferences/fase06/


  ESOP 2006: European Symposium on Programming
                              http://www.itu.dk/research/esop06/


  CC 2006: International Conference on Compiler Construction
                              http://www.st.cs.uni-sb.de/cc/


  TACAS 2006: Tools and Algorithms for the Construction and Analysis of
                              Systems
                              http://depend.cs.uni-sb.de/tacas06


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


Carlo Ghezzi, Politecnico di Milano, I
Benjamin Pierce, University of Pennsylvania, USA
CC: George Necula, University of California, Berkeley, USA
ESOP: Sophia Drossopoulou, Imperial College London, UK
FASE: Francisco Curbera, IBM TJ Watson, USA
FOSSACS: Wan Fokkink, Vrije Universiteit Amsterdam, NL
TACAS: Somesh Jha, University of Wisconsin, Madison, USA


Further invited speakers are giving talks in the satellite workshops.


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


  ACCAT: Applied and Computational Category Theory
                        http://www.cosy.sbg.ac.at/~jpfalz/ETAPS-2006.html


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


  CMCS: Coalgebraic Methods in Computer Science
                        http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html


  COCV: Compiler Optimization Meets Compiler Verification
                        http://www.complang.tuwien.ac.at/cocv2006/cocv2006.html


  DCC: Designing Correct Circuits
                        http://www.cs.chalmers.se/~ms/DCC06/


  EAAI: Emerging Applications of Abstract Interpretation
                        http://www.math.unipd.it/EAAI06


  FESCA: Formal Foundations of Embedded Software and Component-Based
                        Software Architectures
                        http://www.fesca.informatik.uni-oldenburg.de


  FRCSS: Future Research Challenges for Software and Services
                        http://www.seds.informatik.uni-goettingen.de/FRCSS/


  GT-VMT: Graph Transformation and Visual Modeling Techniques
                        http://www.inf.mit.bme.hu/GT-VMT2006


  LDTA: Language Descriptions, Tools and Applications
                        http://www.ldta06.cs.umn.edu


  MBT: Model Based Testing
                        http://react.cs.uni-sb.de/mbt2006/


  QAPL: Quantitative Aspects of Programming Languages
                        http://www.di.unipi.it/~qapl06


  SC: Software Composition
                        http://www.emn.fr/sc06


  SLAP: Synchronous Languages, Applications, and Programming
                        http://www-verimag.imag.fr/SYNCHRONE/SLAP06/


  SPIN: Model Checking of Software
                        http://www.cs.tut.fi/SPIN2006/


  TERMGRAPH: Term Graph Rewriting
                        http://www.dcs.kcl.ac.uk/events/TERMGRAPH2006/


  WITS: Issues in the Theory of Security
                        http://www4.in.tum.de/~wits06


  WRLA: Rewriting Logic and its Applications
                        http://www-formal.stanford.edu/clt/WRLA06/


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


The Computer Science Perspective on Quantum Information Processing
and Communication
Philippe Jorrand (Leibniz Laboratory, Grenoble, France)


Phoenix: A Framework for Code Generation and Program Analysis
Andy Ayers (Microsoft) and Mark Lewin (Microsoft Research, Redmond, USA)


-----------------------------------------------------------------------
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.complang.tuwien.ac.at/etaps06/
and go to menue item "Registration". On completion of your registration
you will automatically be transferred to the accommodation booking page.


Contact details are at http://www.complang.tuwien.ac.at/etaps06/,
menue item "Contact us". In case of any queries not addressed on the web
pages, please email etaps06 at complang.tuwien.ac.at.

Return to the comp.compilers page.
Search the comp.compilers archives again.