|
|
|
Size
|
ABZ 2018, Call for Contributions
|
Jonathan Bowen |
Fri, 15 Sep 2017 15:18:22 +0100 |
318 lines |
Reminder: BCS-FACS Evening Seminar "How can you trust formally verified software?" 29 September 2017
|
Jonathan Bowen |
Wed, 13 Sep 2017 23:54:32 +0100 |
185 lines |
BCS-FACS Newsletter: August 2017
|
Brian Monahan |
Mon, 11 Sep 2017 23:12:00 +0100 |
68 lines |
Re: BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof. Simon Peyton Jones, 12 December, 6pm
|
Paul Boca |
Fri, 8 Sep 2017 23:23:34 +0100 |
281 lines |
BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof. Simon Peyton Jones, 12 December, 6pm
|
Paul Boca |
Fri, 8 Sep 2017 22:57:11 +0100 |
258 lines |
INVITATION
|
Francois Siewe |
Wed, 6 Sep 2017 09:10:29 +0000 |
157 lines |