|
|
|
Size
|
Annual Peter Landin Semantics Seminar: On correspondences between programming languages and semantic notations, By Prof.Peter Mosses -- 8th December, 2014, 6pm, London
|
Paul Boca |
Mon, 29 Sep 2014 21:40:17 +0100 |
104 lines |
Preliminary Programme 28th Annual ESM'2014, October 22-24, 2014, University of Porto, Porto, Portugal
|
Philippe Geril |
Thu, 25 Sep 2014 11:27:41 +0100 |
531 lines |
Call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo
|
Volker Stolz (FM'15) |
Thu, 25 Sep 2014 10:39:44 +0200 |
81 lines |
Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track
|
Ylies Falcone |
Tue, 23 Sep 2014 09:21:26 -0400 |
142 lines |
BCS-FACS talk: The CakeML verified compiler by Scott Owens
|
Jonathan Bowen |
Sat, 20 Sep 2014 04:28:27 +0800 |
55 lines |
PhD: Formal Verification for Synthetic Biology and Cyber-Physical Systems
|
Paolo Zuliani |
Fri, 19 Sep 2014 16:17:33 +0100 |
22 lines |
World Congress on Internet Security (WorldCIS-2014): Call for Submissions!
|
Dan Lin |
Thu, 11 Sep 2014 16:44:01 +0100 |
135 lines |
ICFEM 2014 Call for Participation
|
Liu Yang (Asst Prof) |
Thu, 11 Sep 2014 08:50:49 +0000 |
37 lines |
Call for Industry Track papers at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo
|
Martin Steffen |
Wed, 10 Sep 2014 15:42:37 +0200 |
99 lines |
CFP: ISQED'15, Santa Clara, CA (Submission deadline: Sept 19, 2014)
|
Miroslav Velev |
Thu, 4 Sep 2014 10:40:57 -0500 |
123 lines |
CFP: PRDC2014 Call for Participation
|
Yuan-Fang Li |
Mon, 1 Sep 2014 21:27:06 -0700 |
61 lines |
CFP: PRDC2014 Call for Participation
|
Yuan-Fang Li |
Mon, 1 Sep 2014 21:22:46 -0700 |
61 lines |