IFIP Logo
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 Nijmegen, The Netherlands, 27 June 2015

Nijmegen

The meeting has taken place in Nijmegen, Huize Heyendaal in the university campus. It is colocated with MFPS 2015 and CALCO 2015. The registration fee includes coffee breaks, lunch (on site), and dinner at Koks and Ko.

Schedule

9h talks (details below)
12.30h lunch
13.15h business meeting
15.00h talks (details below)
19.30 dinner

How to get to the meeting venue

Here is the exact location. From the station you can take several busses that go to Radboud UMC (hospital). For instance bus 6, 9 and 83 go often. You can also take a cab, this should cost around 10 euros.

Registration

Registration is as follows:

Talks

Sat, 27 June 2015