ETAPS 2013: 16 - 24 March 2013, Rome, Italy
Issue 1 (Saturday, March 16, 2013) Issue 2 (Sunday, March 17, 2013) Issue 3 (Monday, March 18, 2013) Issue 4 (Tuesday, March 19, 2013) Issue 5 (Wednesday, March 20, 2013) Issue 6 (Thursday, March 21, 2013) Issue 7 (Friday, March 22, 2013) Issue 8 (Saturday, March 23, 2013) Issue 9 (Sunday, March 24, 2013)
[Mar 20th]: IMPORTANT: there is a strike of public transport scheduled for friday, from 8.30 am to 5 pm and from 8pm until midnight. It will be possible that several (if not all) public means will be canceled in this period. Organize yourselves for being at the conference before 8.30 that morning.
[Mar 20th]: The pictures taken during ETAPS'13 are now starting to appear on-line!
[Mar 18th]: beware that all public transport tickets (bus, metro, train, ...) must be stamped before your trip starts!
[Mar 13th]: The registration desk will be open every day (from the 16th to the 24th), from 8.00 to 18.00, and will be located in Via Caserta 6 (venue for workshops and parallel sessions). Thus, there will be no registration desk in the plenary venue (Aula Magna). On Sunday 17th, the registration desk will close at 19.00. To reduce the waiting time, we warmly invite all the delegates of the main conferences to come and register on Sunday afternoon. In that occasion, you can also have a drink and a simple appetizer offered by our organization.
[Mar 8th]: deadline for late registrations EXTENDED to Sun 10th, midnight (IT time). After this deadline, only on site registrations will be allowed.
[Mar 6th]: The final program is on line
[Mar 1st]: Student grants!! ETAPS has decided to grant to the best PhD students that will attend the 2013 edition a contribution to partially subside their expenses. We have allocated some grants of 500 euros each, that can be used by the recepients to cover their travel or subsistence expenses.Notice that we need receipts to justify the payment you will receive after ETAPS. So, you can use up-to 500 euros, by summing all the receipts you have, until you reach that sum. You should send your updated CV in plain ascii to both Prof. Joost-Pieter Katoen(
[Feb 28th]: Celebrating the 15 Years of ETAPS: the welcome reception of Monday (March 18th) will be an occasion to celebrate the 15 years of ETAPS. Thus, every friend of ETAPS will be welcome and freely attend the event. Consequently, all the extra tickets purchased for the welcome reception will be reimbursed.
[Feb 13th]: tickets for the workshop dinners should be purchased by the end of the late registration period (i.e., March 8th). On site purchases are not guaranteed.
[Feb 13th]: if you want to have any form of proceedings for the main conferences (either books or USB pens) AND you want them at the conference, you must buy them by next Sunday, February 17th. After that date, we cannot ensure to have the proceedings at the venue and your proceedings may be sent to your home institution after the event.
[Feb 12th]: because of the Pope election in mid-March, we strongly encourage you to immediately fix your hotel and travel arrangements. Rome will be very crowded in that period!
[Jan 30th]: Possibility of registering only to the last day of the conferences (friday, march 22nd), at the cost of a one-day workshop. With this registration, you'll have access to all the sessions, invited talks, the Bohm fest, the Honda tribute, coffee/tea breaks and lunch of that day.
[Jan 29th]: Deadline for early registrations delayed to Sunday, February 3rd (midnight, GMT+1)
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, has traditionally been a confederation of five main annual conferences (CC, ESOP, FASE, FOSSACS and TACAS) accompanied by satellite workshops and other events. Since 2012, a new main conference, POST, has been added to the other five ones.The sixteenth edition, ETAPS 2013, will take place in Rome, Italy.
Rome "The Eternal 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".
Rome Fiumicino is one of the main airports in Europe; it provides direct connections with all the main cities in Europe and with several ones in the world. Rome is also served by a second airport, Rome Ciampino, featuring low cost flights from several European cities.The event is organized by 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.