FP /
WelcomeBackWalidSeminar
The "Welcome Back Walid!" seminar will take place in the EDIT room, from 13-17.
Programme
13:15 | Modelling Cyberphysical Systems, Walid Taha |
13:45 | High Level Proofs that Don't Leak Low Level Details, Paul Brauner |
14:15 | Reflections on the Post-Modern Stage, Jun Inoue |
14:45 | Coffee break |
15:15 | Feldspar (Emil A + Josef S) |
15:30 | Koen Claessen |
15:45 | Some Recent Research in the "Generic Programming Group", Patrik Jansson |
16:00 | QuickCheck and QuickSpec, John Hughes + Nick Smallbone |
16:15 | Discussion: opportunities for collaboration |
17:00 | Finis |
Links:
- Acumen language: http://acumen.cyphy.org/
- Hybrid modelling prover: http://symbolaris.com/info/KeYmaera.html
- Advanced FP course: http://www.cse.chalmers.se/edu/course/afp/
- Quviq QuickCheck Finite State Machine: http://www.quviq.com/eqc_fsm%20example/index.htm
- Chalmers FP workshop: http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/ChalmersFPWorkshop2010
- GSDP project: GSDP