***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. This is about a 20 minute walk from the city center, but you can use the shuttle that will run on Saturday and Sunday, see timetable below. 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 Day Time From To 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 - (só) Campus de Gualtar *** Day Programme Tutorials - Stratego/XT - Program Transformation with Stratego/XT - SoftwGen - Beyond the Generators: Practical Techniques for Real-World Software Generation Workshops - FESCA - Formal Foundations of Embedded Software and Component-Based Software Architectures - HFL - Hardware design using Functional Languages - QAPL - Fifth Workshop on Quantitative Aspects of Programming Languages - SC - Workshop on Software Composition - WITS - 7th International Workshop on Issues in the Theory of Security *** Suggested Cultural Activities for March 24 * Concert by Coral Clásico de Vigo 21:30, Church of S. Victor * Jazz concert: Bunky Green Quartet 21:30, Theatro Circo * Jazz concert: John O'Gallagher round midnight, Café Vianna * "Tunas" (student music groups) Festival Auditório do Parque de Exposições de Braga Avenida Doutor Francisco Pires Gonçalves 21.30h *** Internet Connection *** Logos sponsors / partners