|
|
|
Size
|
Celebrate Ada Lovelace's 200th birthday in Oxford, 9 10 December
|
Jonathan Bowen |
Mon, 31 Aug 2015 23:29:27 +0100 |
63 lines |
Open Postdoc Position in formal methods applied to timed systems
|
Ezio Bartocci |
Mon, 31 Aug 2015 19:41:06 +0200 |
99 lines |
CPS Week 2016: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS
|
Ezio Bartocci |
Mon, 31 Aug 2015 19:32:06 +0200 |
143 lines |
Computer Science Colloquium on Algorithms and Cryptography, LMS, London, 17 September 2015
|
Jonathan Bowen |
Mon, 31 Aug 2015 13:15:18 +0100 |
66 lines |
ICADIWT 2016
|
<> |
Fri, 28 Aug 2015 17:07:32 +0530 |
126 lines |
1st CFP GAMEON-ARABIA'2016, 6th Annual GAMEON-ARABIA Conference, March 21-23, 2016, AOU, Amman, Jordan
|
Philippe Geril |
Tue, 25 Aug 2015 15:07:24 +0100 |
434 lines |
BCS-FACS/LMS Evening Seminar: Roland Backhouse, The Mathematics of Program Construction, 3/11/15
|
Jonathan Bowen |
Thu, 20 Aug 2015 22:15:42 +0100 |
57 lines |
Annual Peter Landin Semantics Seminar: 7th December 2015, 6pm, BCS London Offices
|
Paul Boca |
Thu, 20 Aug 2015 13:40:50 +0100 |
44 lines |
1st CFP MESM'2016, 16th Annual Middle Eastern Simulation and Modelling Conference, March 21-23, 2016, AOU, Amman, Jordan
|
Philippe Geril |
Thu, 20 Aug 2015 11:27:32 +0100 |
447 lines |
Cluster Computing @ ICDIM 2015
|
<> |
Mon, 3 Aug 2015 20:29:38 +0530 |
82 lines |
AVoCS 2015: Final Call for Research Idea Papers & Participation
|
Lin, Yuhui |
Mon, 3 Aug 2015 10:13:42 +0000 |
169 lines |
1st Call for Papers & Demos - 2nd SIMEX'2016, February 4-6, 2016, The Hotel, Brussels, Belgium
|
Philippe Geril |
Mon, 3 Aug 2015 10:21:54 +0100 |
283 lines |