16-24 Mar 2013
Rome, Italy
******************************************************************
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 (Fundacin 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 Frnzle (Univ. of Oldenburg, Germany)
* Ralf Ksters (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@di.uniroma1.it.