|
|
|
Size
|
ThEdu'17 Post-Proceedings: Call for Papers
|
Achim D. Brucker |
Thu, 31 Aug 2017 16:07:56 +0100 |
88 lines |
Second CfP: MACIS 2017
|
Temur Kutsia |
Fri, 25 Aug 2017 23:31:29 +0200 |
138 lines |
An Appreciation of Alan Turing, Virtuoso and Visionary, 19 October 2017, BCS, London
|
Jonathan Bowen |
Wed, 23 Aug 2017 15:33:00 +0100 |
163 lines |
Deadline Extended - Workshop on Meta-Programming Techniques and Reflection (META)
|
Elisa Gonzalez Boix |
Wed, 16 Aug 2017 11:10:39 +0200 |
323 lines |
BCS-FACS Evening Seminar "How can you trust formally verified software?" 29 September 2017
|
Jonathan Bowen |
Wed, 9 Aug 2017 19:14:12 +0100 |
204 lines |
[Mycolleagues] RV 2017 - 2nd Call for Participation
|
Ayoub Nouri |
Tue, 8 Aug 2017 17:23:33 +0200 |
1080 lines |
RV 2017 - 2nd Call for Participation
|
Ayoub Nouri |
Tue, 8 Aug 2017 17:23:33 +0200 |
1057 lines |
Real-Time Intelligent Systems 2017
|
Diana Christy |
Fri, 4 Aug 2017 16:37:14 +0530 |
139 lines |
PEPM 2018 Call for Papers
|
PEPM Workshop |
Wed, 2 Aug 2017 08:50:16 +0900 |
258 lines |