|
|
|
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 |
103 lines |
Final CFP: Service-Oriented Architectures and Programming (SOAP'15)
|
Alberto Núñez |
Thu, 25 Sep 2014 22:54:31 +0100 |
272 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:40:12 +0200 |
80 lines |
SLSP 2014: call for participation
|
GRLMC |
Sat, 20 Sep 2014 19:45:29 +0200 |
161 lines |
BCS-FACS talk: The CakeML verified compiler by Scott Owens
|
Jonathan Bowen |
Sat, 20 Sep 2014 04:28:27 +0800 |
143 lines |
LATA 2015: 3rd call for papers
|
GRLMC |
Sun, 14 Sep 2014 11:15:24 +0200 |
238 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:38:37 +0200 |
98 lines |
Deadline extended - CFP: Service-Oriented Architectures and Programming (SOAP'15)
|
Alberto Núñez |
Tue, 9 Sep 2014 00:33:40 +0100 |
272 lines |
BigDat 2015: registration deadline 23 September
|
GRLMC |
Sun, 7 Sep 2014 11:12:07 +0200 |
246 lines |