SET /
FP session, part 1
Schedule
Testing
| 10.00 | Nick Smallbone: QuickSpec: Formal Specifications for Free! |
| 10.15 | Meng Wang: Bidirectional Programming and its applications |
Theorem proving and verification
| 10.45 | Ann Lillieström: Sort it out with Monotonox |
| 11.00 | Claudio Amaral: Reasoning about Erlang values |
Type-theory
| 11.15 | Jean-Philippe Bernardy: Computational irrelevance in type-theory |
Problems
| 11.30 | Björn von Sydow: Division problems, and more. |