|
|
|
Size
|
AlCoB 2015: 3rd call for papers
|
GRLMC |
Sat, 31 Jan 2015 16:15:42 +0100 |
241 lines |
WETICE 2015: Final Call for Papers (*** extended submission deadline ***)
|
Announce Announcements |
Sat, 31 Jan 2015 14:53:42 +0200 |
209 lines |
Last Mile: The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015)
|
Announce Announcements |
Sat, 24 Jan 2015 13:45:43 +0200 |
244 lines |
AVoCS 2015: First Call for Papers
|
YuHui Lin |
Wed, 21 Jan 2015 12:21:17 +0000 |
206 lines |
ISCC 2015: Final Call for Papers (Submission Deadline Extension)
|
Announce Announcements |
Sat, 17 Jan 2015 14:37:01 +0200 |
274 lines |
FormaliSE 2015: Call for Papers (deadline approaching!)
|
Nico Plat |
Fri, 16 Jan 2015 13:03:33 +0100 |
286 lines |
[CfP] Extended Deadline - FMICS'15: 20th International Workshop on Formal Methods for Industrial Critical Systems
|
Alberto Núñez |
Wed, 14 Jan 2015 00:56:47 +0000 |
166 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 |
582 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 |
442 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 |
524 lines |
ISPDC 2015: Final Call for Papers
|
Announce Announcements |
Sat, 10 Jan 2015 12:27:22 +0200 |
243 lines |
The next Overture/VDM workshop at FM'15
|
Peter Gorm Larsen |
Sun, 4 Jan 2015 07:43:22 +0000 |
290 lines |
Call for Industry Track papers at FM2015 (20th Intl. Symposium on Formal Methods
|
Peter Gorm Larsen |
Sun, 4 Jan 2015 07:43:17 +0000 |
320 lines |
The next Overture/VDM workshop at FM'15
|
Peter Gorm Larsen |
Sun, 4 Jan 2015 07:39:43 +0000 |
290 lines |
Call for Papers: FormaliSE 2015 (18 May 2015, Florence, Italy)
|
Nico Plat |
Sat, 3 Jan 2015 20:46:04 +0100 |
136 lines |