Recent Changes - Search:

CSE dept.


This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.


edit SideBar

SET /

FP session, part 1

Schedule

Testing

10.00Nick Smallbone: QuickSpec: Formal Specifications for Free!
10.15Meng Wang: Bidirectional Programming and its applications

Theorem proving and verification

10.45Ann Lillieström: Sort it out with Monotonox
11.00Claudio Amaral: Reasoning about Erlang values

Type-theory

11.15Jean-Philippe Bernardy: Computational irrelevance in type-theory

Problems

11.30Björn von Sydow: Division problems, and more.
Edit - History - Print - Recent Changes - Search
Page last modified on February 08, 2011, at 10:09 AM