|
|
|
Size
|
BCS-FACS/LMS Evening Seminar - 22 October 2014 (Decision Problems for Linear Recurrence Sequences)
|
Jonathan Bowen |
Thu, 31 Jul 2014 10:03:32 +0100 |
137 lines |
CfPart ICTSS 2014, 23-25 Sept, Madrid (Spain)
|
Alberto Núñez |
Wed, 30 Jul 2014 19:13:02 +0100 |
44 lines |
Last Mile: 9th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2014)
|
Announce Announcements |
Tue, 29 Jul 2014 16:22:50 +0300 |
429 lines |
LATA 2015: 1st call for papers
|
GRLMC |
Sat, 26 Jul 2014 17:48:54 +0200 |
233 lines |
BigDat 2015: 23 July registration deadline
|
GRLMC - URV |
Fri, 18 Jul 2014 20:43:01 +0200 |
259 lines |
Annual Peter Landin Semantics Seminar: On correspondences between programming languages and semantic notations, By Prof. Peter Mosses, 8th December 2014, 6pm
|
Paul Boca |
Thu, 17 Jul 2014 23:31:44 +0100 |
101 lines |
CFP FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo
|
Martin Steffen |
Tue, 15 Jul 2014 13:27:50 +0200 |
235 lines |
Reminder: BCS-FACS evening seminar, London, "Asynchronous Testing" by Rob Hierons on 17 July 2014
|
Jonathan Bowen |
Sun, 13 Jul 2014 17:39:02 +0100 |
182 lines |
TPNC 2014: extended submission deadline 24 July
|
GRLMC |
Sat, 12 Jul 2014 17:18:16 +0200 |
247 lines |
OCL 2014: Submission Deadline Extended by One Week
|
Achim D. Brucker |
Fri, 11 Jul 2014 07:25:23 +0200 |
168 lines |
SAFECOMP'14 Early Registration and Preliminary Program
|
Francesco Flammini |
Mon, 7 Jul 2014 22:01:46 +0200 |
94 lines |