Recent Changes - Search:

FP


The Chalmers FP wiki is part of the CSE dept. wiki.

Recent Changes


edit SideBar

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:

Edit - History - Print - Recent Changes - Search
Page last modified on September 16, 2010, at 03:07 PM