|
|
|
Size
|
Call for papers: Post-Proceedings of TYPES 2008
|
Stefano Berardi |
Tue, 29 Apr 2008 21:55:34 +0200 |
95 lines |
CfP ISoLA 2008 - 3rd IEEE Internat. Symposium on Leveraging Applications of Formal Methods, Verification and Validation
|
Tiziana Margaria - |
Fri, 25 Apr 2008 11:05:28 +0200 |
173 lines |
ARW'08 (Automated Reasoning Workshop) - Call for Papers
|
Louise Dennis |
Thu, 24 Apr 2008 10:03:39 +0100 |
164 lines |
DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming
|
<> |
Wed, 23 Apr 2008 18:01:35 +0200 |
167 lines |
Kurt Gödel Colloquium 2008 Announcement
|
Kurt Goedel Society |
Wed, 23 Apr 2008 16:39:33 +0200 |
49 lines |
AUPC08 with ACM ICPS08 Deadline extended to 30 [log in to unmask]
|
Jaafar GABER |
Wed, 23 Apr 2008 11:31:50 +0200 |
40 lines |
EvoStar 2009 - first Call for Papers
|
Ivanoe De Falco |
Wed, 23 Apr 2008 11:11:43 +0200 |
219 lines |
AUPC08 with ACM ICPS08 Deadline extended to 30 April
|
[log in to unmask] |
Wed, 23 Apr 2008 09:46:15 +0200 |
44 lines |
Call for papers: Coordination of Domain Specific Languages
|
Alfonso Pierantonio |
Wed, 23 Apr 2008 01:38:46 +0200 |
123 lines |
SCSS 2008 deadline extension
|
Temur Kutsia |
Tue, 22 Apr 2008 18:19:21 +0200 |
129 lines |
PAuL 2008 CfP Deadline Extension
|
PAuL 2008 |
Tue, 22 Apr 2008 12:25:03 +0200 |
116 lines |
Call for papers MDABIZ 2008
|
Sherry Jeary |
Mon, 21 Apr 2008 21:57:40 +0100 |
111 lines |
DEADLINE EXTENSION: (WWV'08) 4th Int'l Workshop on Automated Specification and Verification of Web Systems
|
<> |
Mon, 21 Apr 2008 16:19:43 +0200 |
154 lines |
Final (Revised, including Workshops) CfP for Verified Software: Theories, Tools, and Experiments 2008
|
Richard Paige |
Mon, 21 Apr 2008 10:22:36 +0100 |
115 lines |
AI-2008 Cambridge, UK, December 2008. Final Call
|
Max Bramer |
Sun, 20 Apr 2008 20:45:05 +0100 |
187 lines |
cfp Symposium on Quality Engineering for Embedded Systems
|
Alexander Romanovsky |
Wed, 16 Apr 2008 08:26:08 +0100 |
167 lines |
Last CFP: SCSS 2008
|
Temur Kutsia |
Wed, 16 Apr 2008 05:19:51 +0200 |
35 lines |
2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)
|
<> |
Mon, 14 Apr 2008 12:07:23 +0200 |
167 lines |
Workshop on Computer Science and Decision Theory
|
Simon French |
Fri, 11 Apr 2008 22:18:29 +0100 |
98 lines |
2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
|
<> |
Fri, 11 Apr 2008 17:45:50 +0200 |
154 lines |
[fomi2008] Call for participation
|
Daniele Radicioni |
Thu, 10 Apr 2008 15:25:48 +0200 |
145 lines |
[EUROSIS-AD] ESM'2008, October 27-29, 2008, Universite du Havre, Le Havre, France, 1ST CFP
|
<> |
Mon, 7 Apr 2008 12:32:27 +0200 |
766 lines |
CFP - Innovations 2008
|
Sanja Lazarova-Molnar |
Mon, 7 Apr 2008 08:27:02 +0400 |
8334 lines |
Third European Trusted Infrastructure Summer School
|
Elizabeth Walsh |
Fri, 4 Apr 2008 16:31:10 +0100 |
45 lines |
LPAR 2008 (Qatar) CFP
|
Geoff Sutcliffe |
Fri, 4 Apr 2008 05:02:16 -0400 |
139 lines |
Int. Summer School on "Modeling and Optimization in Micro- and Nano- Electronics" Registration Deadline: April 30th, 2008
|
<> |
Thu, 3 Apr 2008 19:13:20 +0200 |
143 lines |
7th European Dependable Computing Conference - call for participation
|
Alexander Romanovsky |
Thu, 3 Apr 2008 10:02:01 +0100 |
59 lines |
UbiComp'08: Paper&Workshop Deadline April 4 !!, New Calls: Posters, Demos, etc. Deadline June 27
|
Berger, Michael (CT) |
Wed, 2 Apr 2008 08:28:02 +0200 |
635 lines |