[ecoop-info] ETAPS 2015 final call for participation

Tarmo Uustalu tarmo at cs.ioc.ee
Sun Mar 8 00:08:55 CET 2015

[Tutorials information added.
Note that normal-rate registration ends 10 March.]


                   CALL FOR PARTICIPATION

                         ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

                London, UK, 11-18 April 2015




The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is already
the eighteenth event in the series.

-- MAIN CONFERENCES (13-17 April) --

* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of


Unifying speakers:

    Daniel Licata (Wesleyan University, USA)
    Catuscia Palamidessi (INRIA Saclay and LIX, France)

CC invited speaker:

    Keshav Pingali (University of Texas, USA)

FoSSaCS invited speaker:

    Frank Pfenning (Carnegie Mellon University, USA)

TACAS invited speaker:

    Wang Yi (Uppsala University, Sweden)


   Daniel J. Bernstein (U. of Illinois at Chicago, USA / 
     Technische Universiteit Eindhoven, The Netherlands):
   The death of optimizing compilers

   Florian Kirchner (CEA, France):
   Keep calm and verify your software: an overview of the 
     Frama-C platform 


See the accepted paper lists and the programme of the main conferences
at the conference website.

-- SATELLITE EVENTS (11-12 and 18 April) --

17 satellite workshops will take place before or after ETAPS 2015.

GALOP, GaM, QAPL (11-12 April)

FMSPLE, FOPARA, SynCop, VPT (11 April)
DICE, FESCA, VerifyThis, WoC, WPLI (12 April)

HotSpot, MBT, PLACES, TTATT, TPDP (18 April)


Early registration is until Saturday, 14 February 2015.

Normal-rate registration is until Tuesday, 10 March 2015.


We request that participants arrange their accommodation on their own.
See our recommendations on the website.


London is one of the most visited and cosmopolitan cities on earth. It
is a leading global city, with strengths in the arts, commerce,
education, entertainment, fashion, finance, healthcare, media,
professional services, research and development, tourism and transport
all contributing to its prominence. It can be reached by more people,
from more destinations, in less time, than any other destination in
the world.


General chairs: Pasquale Malacaria, Nikos Tzevelekos

Workshop chair: Paulo Oliva

Publicity chairs: Michael Tautschnig and Greta Yorsh

Further organizers: 
  Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh


Queen Mary University of London


Please do not hesitate to contact the organizers at
etaps2015 at qmul.ac.uk

More information about the ecoop-info mailing list