[TYPES/announce] ETAPS 2013 Call for Participation

[Joost-Pieter Katoen]

[We apologise for multiple copies.]

******************************************************************

                CALL FOR PARTICIPATION: ETAPS 2013

   European Joint Conferences on Theory And Practice of Software

                     March 16 - March 24, 2013

                            Rome, Italy

                    http://www.etaps.org/2013

           Early registration deadline: January 30, 2013

******************************************************************

-- ABOUT ETAPS --

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 and invited tutorials (new in 2013).
ETAPS 2013 is already the sixteenth event in the series.

-- MAIN CONFERENCES --

    * 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 
Systems

-- INVITED SPEAKERS --

    * Gilles Barthe (Fundación IMDEA Software, Madrid, Spain)
    * Emily Berger (Univ. of Mussachusetts, Amherst, USA)
    * Krzysztof Czarnecki (Univ. of Waterloo, Canada)
    * Cedric Fournet (Microsoft Research, Cambridge, UK)
    * Orna Grumberg (Technion, Haifa, Israel)
    * Martin Hofmann (Univ. of Munich, Germany)
    * Jean-Pierre Hubaux (EPFL, Losanna, Switzerland)
    * Mark S. Miller (Google Research, USA)

-- INVITED TUTORIAL SPEAKERS --

    * John C. Mitchell (Stanford Univ., USA)
    * Martin Fränzle (Univ. of Oldenburg, Germany)
    * Ralf Küsters (Univ. of Trier, Germany)

The tutorials take place on Sunday March 17 before ETAPS 2013.

-- SATELLITE EVENTS --

22 satellite workshops will take place before or after ETAPS 2013.

ACCAT, AiSoS, BX, DICE, Found. Syst. Spec., HAS, HotSpot, MBT, MEALS, 
SR, OCCP, and VSSE will take place in the weekend on 16-17 March 2013.

Bytecode, CerCo, FESCA, GT-VMT, GRAPHITE, IC1201, MLQA, PLACSE, QAPL,
and TERMGRAPH are scheduled for 31 March-1 April 2012.

-- REGISTRATION

Early registration is until Sunday, January 30 2013.

-- ACCOMMODATION

Roma has a huge hotel capacity. You can either arrange your 
accommodation on your own or find some reserved hotels on the 
registration page. Such reservations expire on February 15, but new ones 
will appear after this deadline during the entire registration period.

-- HOST CITY --

Rome is the capital of Italy and the country's largest and most 
populated municipality. The city is located in the central- western 
portion of the Italian Peninsula, on the Tiber river. Rome's history 
spans over two and a half thousand years. It was the capital city of the 
Roman Kingdom, of the Roman Republic and of the Roman Empire, which was 
a major political and cultural influence in the lands bordering the 
Mediterranean Sea. Since the 2nd century AD, Rome has been the seat of 
the Papacy and, after the end of the Byzantine domination, in the eighth 
century it became the capital of the Papal States. In 1871, Rome became 
the capital of the Kingdom of Italy, and in 1946 that of the Italian 
Republic. Rome's influence on western Civilisation can hardly be 
overstated, and the city is still recognised as a centre of the arts and 
education. Due to this centrality on many levels, and much of the city's 
past power and influence, Rome has been nicknamed "Caput Mundi" (Latin 
for "Capital of the World") and "The Eternal City".

-- ORGANIZERS --

The event is organized in Sapienza Università di Roma. Sapienza has a 
very long and prestigious history, it is the largest university in 
Europe and the second-largest in the world, with more than 150,000 
students.

    * General chair: Daniele Gorla
    * Conferences Chair: Francesco Parisi Presicce
    * Workshops Chairs: Paolo Bottoni  and  Pietro Cenciarelli
    * Publicity Chair: Ivano Salvo
    * Finance Chairs: Enrico Tronci  and  Federico Mari
    * Web Site Chair: Igor Melatti

-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at etaps13 at di.uniroma1.it.