|
|
|
Size
|
AVoCS 2015: Final Call for Research Idea Papers & Participation
|
Lin, Yuhui |
Mon, 3 Aug 2015 10:13:46 +0000 |
168 lines |
IEEE/ACM UCC 2015: Final Call for Tutorial Proposals
|
Announce Announcements |
Mon, 3 Aug 2015 17:25:08 +0300 |
313 lines |
Agent Verification Workshop, 11th September 2015, Liverpool, UK
|
Michael Fisher |
Wed, 5 Aug 2015 12:53:14 +0100 |
105 lines |
SAC-SOAP 2016: 2nd CFP
|
Hugo Torres Vieira |
Fri, 7 Aug 2015 15:51:54 +0200 |
259 lines |
IEEE/ACM UCC 2015: Second Call for Posters & Demos and Doctoral Symposium
|
Announce Announcements |
Sat, 15 Aug 2015 15:09:17 +0300 |
412 lines |
Annual Peter Landin Semantics Seminar: 7th December 2015, 6pm, BCS London Offices
|
Paul Boca |
Thu, 20 Aug 2015 13:40:50 +0100 |
43 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 |
114 lines |
IEEE/ACM UCC 2015: Final Call for Posters & Demos and Doctoral Symposium (extended deadline!)
|
Announce Announcements |
Sun, 23 Aug 2015 15:00:41 +0300 |
412 lines |
Computer Science Colloquium on Algorithms and Cryptography, LMS, London, 17 September 2015
|
Jonathan Bowen |
Mon, 31 Aug 2015 13:15:18 +0100 |
215 lines |
Celebrate Ada Lovelace's 200th birthday in Oxford, 9 10 December
|
Jonathan Bowen |
Mon, 31 Aug 2015 23:29:27 +0100 |
110 lines |