FP /

WelcomeBackWalidSeminar

The "Welcome Back Walid!" seminar will take place in the EDIT room, from 13-17.

Programme

13:15Modelling Cyberphysical Systems, Walid Taha
13:45High Level Proofs that Don't Leak Low Level Details, Paul Brauner
14:15Reflections on the Post-Modern Stage, Jun Inoue
14:45Coffee break
15:15Feldspar (Emil A + Josef S)
15:30Koen Claessen
15:45Some Recent Research in the "Generic Programming Group", Patrik Jansson
16:00QuickCheck and QuickSpec, John Hughes + Nick Smallbone
16:15Discussion: opportunities for collaboration
17:00Finis

Links: