Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Meeting in Nijmegen, The Netherlands, 27 June 2015


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.


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 is as follows:


Sat, 27 June 2015