[We apologise for multiple copies.]
******************************************************************
SECOND 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
Web-based registration deadline: March 8, 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.
-- FRIDAY MARCH 22 EVENT --
On Friday 22, there is a special programm on the occasion of the 90th
birthday of Corrado Böhm. Attendance with full ETAPS registration is
free. A registration solely for Friday 22, is also possible.
-- 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
Web-based registration is until March 8, 2013. After that date, only
on-site registration will be possible.
-- 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 --
You can contact the organizers at [email protected].
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
