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.

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:

• Participants wanting to register for both the IFIP meeting and MFPS/Calco should fill in the registration form, see the link at http://mfpscalco2015.cs.ru.nl/.
• Participants wanting to register only for the IFIP meeting should send an email to mfpscalco2015@cs.ru.nl, with "IFIP meeting registration" in the subject, and their name and affiliation. - In this case, the fee will be €60. This can be paid by bank transfer or by credit card (Visa or Mastercard). The payment instructions on http://mfpscalco2015.cs.ru.nl/ are also applicable to IFIP-only registrations.

Talks

Sat, 27 June 2015

• 09:00 NetKAT - a formal system for the verification of networks by Alexandra Silva      abstract slides
• 10:00 Towards a Metalanguage for Corecursive Definitions by Sergey Goncharov      abstract slides
• 11:30 Full Abstraction for Signal Flow Graphs by Filippo Bonchi      abstract slides
• 15:00 A formal framework for privacy policies by Gerardo Schneider      abstract slides paper
• 16:30 Interoperability of Asynchronous Relational Nets using Communicating machines by Carlos Gustavo Lopez Pombo      abstract slides paper
• 17:00 A demonic lattice of information by Carroll Morgan      abstract slides
• 17:30 Who counts your vote, and how? by Dirk Pattinson      abstract slides