|
|
|
Size
|
1st Intl. Competition of Software for Runtime Verification: call for participation
|
Runtime Verification |
Mon, 25 Nov 2013 21:37:11 +0100 |
116 lines |
1st Call For Papers, 18th Annual EUROMEDIA'2014 Conference, April 28-30, 2014, Novotel, Bruges, Belgium
|
Philippe Geril |
Fri, 22 Nov 2013 15:13:46 +0000 |
918 lines |
SR 2014 - call for contributions
|
aniello murano |
Fri, 22 Nov 2013 09:45:20 +0100 |
188 lines |
1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada
|
Runtime Verification |
Thu, 21 Nov 2013 17:35:07 +0100 |
349 lines |
ACM SIGPLAN Workshop on Data-Centric Programming (at POPL) - talk proposal deadline extended to 22nd Nov
|
Jeremy Gibbons |
Wed, 20 Nov 2013 15:09:04 +0000 |
91 lines |
ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- 1st call for papers
|
Jun PANG |
Wed, 20 Nov 2013 09:43:56 +0100 |
117 lines |
Call for Papers: SETTA 2014 Symposium on Dependable Software Engineering, Nanjing, China, 14-17 August 2014
|
Jonathan Bowen |
Thu, 14 Nov 2013 11:44:12 +0000 |
187 lines |
1st CFP, 10th Annual Future Business Technology Conference, FUBUTEC-2014, April 28-30, 2014, Novotel, Bruges, Belgium
|
Philippe Geril |
Thu, 14 Nov 2013 10:17:33 +0000 |
698 lines |
Fwd: BCS FACS - Annual Peter Landin Semantics Seminar: Rationalism v Hardware, by Prof. Richard Bornat, 2 December 2013, 6pm.
|
Paul Boca |
Sun, 10 Nov 2013 18:09:58 +0000 |
97 lines |
1st Call for Papers, 21st Annual European Concurrent Engineering Conference, April 28-30, 2014, Novotel, Bruges, Belgium
|
Philippe Geril |
Fri, 8 Nov 2013 10:15:16 +0000 |
563 lines |
TPNC 2013: call for participation
|
GRLMC - URV |
Wed, 6 Nov 2013 07:50:24 +0100 |
200 lines |
2nd CFP MESM'2014, 14TH Annual Middle Eastern Simulation and Modelling Conference, February 3-5, 2014, AOU, Muscat, Oman
|
Philippe Geril |
Mon, 4 Nov 2013 11:12:38 +0000 |
367 lines |