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 Royal Holloway, United Kingdom, 05 - 07 July 2018

London

Colocated with WADT 2018, followed by the FLoC conferences (in Oxford).

Accommodation will be either in the college or, if asked for, in a hotel. Registration will open in May and will be available over the WADT webpage.

Travel should be easy: there is a short connection to Heathrow (between 10 - 20 mins by taxi).

The meeting with starts on the 5th at 2pm, it will end on the 7th with lunch at 12.00 noon.

Talks

Thu, 05 July 2018

Fri, 06 July 2018

Thu, 07 June 2018

Thu, 10 May 2018

Fri, 13 April 2018

Thu, 26 April 2018