Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Chairman: L. Schröder      Vice Chairman: M. Roggenbach      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski

Meeting in Braga, Portugal, 23 - 24 March 2007


  1. The meeting will start on Friday at 9:00. A shuttle bus will be leaving Hotel Turismo at 8:30. People staying at Bom-Jesus will be picked up by a member of the organising team at 8:30. People staying at Hotel Lamações are at walking distance.
  2. The meeting will be held at Complexo Pedagógico 2 (CP2), and the room will be "Sala do Conselho Académico" on the 3rd floor. On Saturday, the shuttle buses for the satellite events will be in operation leaving at 8:15 from the railway station, Hotel Turismo, and Bom Jesus. The bus for the dinner on Saturday will leave Hotel Turismo at 18:30. We'll be aiming to hold the business meeting on Saturday at 16:00. If we finish early enough (as I hope...) there will be time to go back to the hotel, otherwise the bus will stop at the campus to pick us up. Related events The meeting precedes the 10th European Joint Conferences on Theory and Practice of Software (ETAPS'07).