|
|
|
Size
|
Preliminary Programme - 31st annual ESM'2017, October 25-27, 2017, IST, Lisbon, Portugal
|
Philippe Geril |
Thu, 28 Sep 2017 11:12:47 +0100 |
564 lines |
PEPM 2018 Final Call for Papers
|
PEPM Workshop |
Thu, 28 Sep 2017 13:20:10 +0900 |
305 lines |
ABZ 2018, Call for Contributions
|
Jonathan Bowen |
Fri, 15 Sep 2017 15:18:22 +0100 |
319 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 |
186 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 |
282 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 |
259 lines |
MACIS 2017: Deadline extension
|
Temur Kutsia |
Mon, 4 Sep 2017 11:40:07 +0200 |
136 lines |
RV 2017 - Last Call for Participation
|
Ayoub Nouri |
Fri, 1 Sep 2017 15:25:14 +0200 |
1724 lines |