|
|
|
Size
|
Fwd: [JTS] Theory seminar tomorrow: cancelled
|
Jonathan Bowen |
Wed, 28 Feb 2018 23:00:04 +0000 |
206 lines |
[JTS] Theory seminar 01/03/18: Andrew Lewis-Smith
|
Jonathan Bowen |
Wed, 28 Feb 2018 00:31:19 +0000 |
168 lines |
CfP: SEFM 2018 EXTENDED DEADLINE
|
Einar Broch Johnsen |
Mon, 26 Feb 2018 20:11:47 +0100 |
67 lines |
VerifyThis 2018: Call for Problems and First Announcement
|
Andrei Paskevich |
Wed, 21 Feb 2018 17:10:42 +0100 |
98 lines |
BCS-FACS Evening Seminar - "The Fumble Programmer" by Rod Chapman on 24/04/2018
|
Jonathan Bowen |
Wed, 21 Feb 2018 12:04:25 +0000 |
214 lines |
iFM 2018 Call for Papers
|
Hao Wu |
Tue, 20 Feb 2018 20:57:07 +0000 |
192 lines |
BCS-FACS Evening Seminar "Model-Based Testing Cyber-Physical Systems: Theory and Practice" 22 March 2018
|
Jonathan Bowen |
Tue, 20 Feb 2018 16:40:06 +0000 |
183 lines |
Final CfP: SEFM 2018
|
Einar Broch Johnsen |
Tue, 20 Feb 2018 09:03:49 +0100 |
63 lines |
Fwd: [JTS] Theory seminar this week: George Theodorakopoulos
|
Jonathan Bowen |
Sun, 18 Feb 2018 14:17:40 +0000 |
166 lines |
[JTS] Theory seminar next week: Paul Brunet, 13 February, Queen Mary University of London
|
Jonathan Bowen |
Sat, 10 Feb 2018 21:49:53 +0000 |
164 lines |