***Welcome to ETAPS 2007 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 five main annual conferences, accompanied by satellite workshops and other events. ETAPS 2007 in Braga is the tenth event in the series, after Lisbon, Amsterdam, Berlin, Genova, Grenoble, Warsaw, Barcelona, Edinburgh, and Vienna. Over 9 days, ETAPS 2007 will offer 7 invited talks by distinguished speakers, 5 main conferences, 17 workshops, 3 tutorials, and a significant number of invited talks specific to the satellite events. Overall, this year the five main conferences received around 630 submitted papers, with an acceptance rate of 25%. The high quality and quantity of the submitted papers required the overlapping of four conferences on Wednesday, for the first time in the history of ETAPS. The 2007 edition also marks the tenth anniversary of ETAPS. To celebrate the event, brief talks will be given by five people from among those who have been involved in ETAPS over the years: Hartmut Ehrig, Reinhard Wilhelm, Don Sannella, José Fiadeiro, and Perdita Stevens. An informal panel will follow. ***Welcome to Braga In 2007 ETAPS will be held in Braga, an ancient city in the heart of the green and fertile region known as the Costa Verde in the North of Portugal. It is the capital of the Minho historical province, and formerly (as Bracara Augusta) of the Roman province of Gallaecia. Braga is known for its baroque churches and splendid 18th century houses, but it is also a fast-growing commercial centre. The old city is solemn and antique, but animated with commercial activity, and academic and cultural life. With its characterful nineteenth-century cafes, a great choice of restaurants serving splendid traditional gastronomy, and a number of lively bars, there's also plenty to choose from for entertainment. ***How to Get to Braga There are several ways to go from the Oporto Airport to Braga: *Taxi Taking a taxi is the simplest and the fastest way (45 min). The distance between the Oporto airport and Braga is about 50km by road. The cost of traveling from the airport to the Braga city center should be around EUR 50.00. Metro+Train The cheapest way: 1. Take the metro to Oporto Railway Station "Campanhã". Line E (Violet) goes to "Estadio do Dragão". Exit at Campanhã. The metro ticket should cost you around EUR 2.00. 2. Take a train from the Campanhã train station to Braga. The train ticket should cost you about EUR 2.00. In general the earliest train to Braga leaves from Porto-Campanhã station at 6:21. * Rental Car / Driving The following car hire companies have offices at the Oporto International Airport: Budget, Avis, Europcar, Hertz, National/Alamo and SIXT. See the airport webpage for details (location, contacts. etc). Take the A3 motorway from Porto to Braga; exit at "Braga Sul", and then always follow the signs to Braga Sul. If you are driving directly to the university campus, follow the directions to Chaves and then Universidade do Minho. You may park your car in the campus. ***How to get to the University Campus at Gualtar Satellite events on March 24 and 25 will take place at the University Campus, in the area of the city known as Gualtar. If the weather is nice, you may want to walk. It should take you about 30 minutes from the city center. Walk in the direction of Bom Jesus, through Rua de S. Vitor, Rua de D. Pedro V, and Rua Nova de Sta. Cruz. Alternatively you can use the shuttle that will run on Saturday and Sunday. Shuttles will leave from two locations in the city center, see timetable below and map. At the campus (see map) you should have no trouble in finding the CP2 building, where events will be located. This is the first building you will see coming from the city center. The registration desk will be located in the entrance hall of the CP2 building. The opening hours are 8:30 - 18:00. Lunch (included in the workshops daily fees) will be served at the university restaurant. ***Shuttle Information for weekend March 23--25 Day Time From To Friday, March 23 8:30 H. Turismo University Campus Saturday, March 24 8:15 Train Station University Campus 8:15 H. Turismo University Campus 8:15 Bom Jesus University Campus 18:45 Univ. Campus City Center Sunday, March 25 8:15 Train Station University Campus 8:15 H. Turismo University Campus 8:15 Bom Jesus University Campus 18:45 Univ. Campus City Center 18:45 Univ. Campus Bom Jesus (Worshops Dinner) 23:00 Bom Jesus City Center ***Maps - City Center - Campus de Gualtar ***Hotel Addresses Hotel Turismo - Braga Praceta João XXI 4715 - 036 BRAGA - PORTUGAL Tel.: (+351) 253 206 000 Fax.: (+351) 253 206 010 Hotel do Parque Bom Jesus do Monte 4715-056 Braga - Portugal Tel. +351 253 603 470 Fax. +351 253 603 479 Hotel do Elevador Bom Jesus do Monte 4710-455 Braga - Portugal Tel. +351 253 603 400 Fax. +351 253 603 409 Hotel do Templo Bom Jesus do Monte 4710-455 Braga - Portugal Tel. +351 253 603 610 Fax. +351 253 603 619 Albergaria Senhora-a-Branca Largo da Senhora-a-Branca, 58 4710-443 Braga - Portugal Tel. +351 253 269 938 Fax. +351 253 269 937 Albergaria Bracara Augusta Avenida Central, 134 4710-229 Braga - Portugal Tel. +351 253 206 260 Fax. +351 253 206 269 Hotel Residencial D. Sofia Largo S. João do souto, 131 4700-326 BRAGA - PORTUGAL Tel. +351 253 263 160 | +351 253 271 854 Fax. +351 253 611 245 Hotel Carandá Av. da Liberdade, 96 4710-250 Braga - Portugal Tel. +351 253 614 500 Fax. +351 253 614 550 Hotel da Estação Largo da Estação 13 4700-223 Braga - Portugal Tel. +351 253 218 381 Fax. +351 253 276 810 Hotel Lamaçães Av. D. João II, 75 4710 Braga - Portugal Tel. +351 253 603 680 Fax. +351 253 603 689 Hotel IBIS Braga Rua do Carmo 38 4700-309 BRAGA - PORTUGAL Tel. +351 253 204 800 Fax. +351 253 204 801 WS Braga SPRU - Student Residence Largo da Estação - Maximinos 4700-223 Braga Tel. +351 253 206 500 Fax. +351 253 687 116 Residencial dos Terceiros Rua dos Capelistas, 85 4700-307 Braga - Portugal Tel. +351 253 270 466 Fax. +351 253 275 767 Pensão Residencial S. Marcos Rua de S.Marcos, 80 4700-328 Braga Tel. +351 253 277 177/87 Fax. +351 253 277 177 *** Suggested Cultural Activities for March 23 * Concert by the Conservatório de Música Calouste Gulbenkian 21:30, Sé Catedral (city cathedral) * Jazz concert: The Jamie Saft Trio Theatro Circo de Braga, 21:30 * Jazz concert: John O'Gallagher round midnight, Café Vianna *** Logos sponsors / partners