|
|
|
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 |
78 lines |
RV 2014: Call for Participation
|
Runtime Verification |
Mon, 28 Jul 2014 21:16:42 +0200 |
240 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 |
102 lines |
Preliminary Programme GAMEON'2014, September 9-11, 2014, University of Lincoln, Lincoln, United Kingdom
|
Philippe Geril |
Thu, 17 Jul 2014 09:32:09 +0100 |
243 lines |
CFP FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo
|
Martin Steffen |
Tue, 15 Jul 2014 13:31:51 +0200 |
236 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 |
78 lines |
OCL 2014: Submission Deadline Extended by One Week
|
Achim D. Brucker |
Fri, 11 Jul 2014 07:26:10 +0200 |
169 lines |
SAFECOMP'14 Early Registration and Preliminary Program
|
Francesco Flammini |
Wed, 9 Jul 2014 12:10:36 +0200 |
95 lines |
SAFECOMP'14 Early Registration and Preliminary Program
|
Francesco Flammini |
Mon, 7 Jul 2014 22:01:46 +0200 |
95 lines |
CFP: PRDC2014 Call for Fast Abstracts / Industry Track Papers / Posters
|
Yuan-Fang Li |
Fri, 4 Jul 2014 18:50:55 -0700 |
79 lines |
CFP: PRDC2014 Call for Fast Abstracts / Industry Track Papers / Posters
|
Yuan-Fang Li |
Fri, 4 Jul 2014 18:38:18 -0700 |
79 lines |
ICST 2015 - CALL FOR PAPERS
|
Bernhard Aichernig |
Sat, 5 Jul 2014 00:21:24 +0200 |
215 lines |