|
|
|
Size
|
Call for papers SIMULATION-BASED EVALUATION OF INTERACTIVE SYSTEMS, June 1-3, 2015, UPV, Valencia, Spain
|
Philippe Geril |
Wed, 28 Jan 2015 10:20:38 +0000 |
106 lines |
AVoCS 2015: First Call for Papers
|
YuHui Lin |
Wed, 21 Jan 2015 12:22:18 +0000 |
207 lines |
TASE 2015: Call for Paper, Nanjing 12 - 14 September
|
jun sun |
Wed, 21 Jan 2015 09:56:20 +0800 |
151 lines |
CFP: CRV15 - 2nd Competition on Runtime Verification
|
Yliès Falcone |
Tue, 20 Jan 2015 08:35:13 +0100 |
109 lines |
Mathematics of Program Construction (MPC 2015): final call for papers
|
José Pedro Magalhães |
Thu, 15 Jan 2015 13:37:50 +0000 |
147 lines |
2nd Call for Papers, 11th Annual Future Business Technology Conference, FUBUTEC-2015, April 27-29, 2015, IST, Lisbon, Portugal
|
Philippe Geril |
Tue, 13 Jan 2015 15:39:19 +0000 |
157 lines |
Call for Papers: SEFM 2015 - 13th International Conference on Software Engineering and Formal Methods, York, UK, 7-11 September 2015
|
Jonathan Bowen |
Sat, 10 Jan 2015 23:55:20 +0000 |
236 lines |
Call for Papers: SETTA - Symposium on Dependable Software Engineering: Theories, Tools and Applications, Nanjing, China, November 4-6, 2015
|
Jonathan Bowen |
Sat, 10 Jan 2015 23:53:03 +0000 |
180 lines |
BCS-FACS ProCoS Workshop on Provably Correct Systems, London, UK, 9-10 March 2015
|
Jonathan Bowen |
Sat, 10 Jan 2015 23:45:22 +0000 |
219 lines |
2 positions (PhD/Post-doc) available in Formal Methods for cloud computing and evolving systems, U. of Oslo
|
Martin Steffen |
Fri, 9 Jan 2015 15:19:33 +0100 |
132 lines |
ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers
|
Jun PANG |
Wed, 7 Jan 2015 09:31:06 +0100 |
111 lines |