|
|
|
Size
|
CFP: SBMF 2011 - 14th Brazilian Symposium on Formal Methods
|
Adenilso Simao |
Mon, 21 Feb 2011 07:39:39 -0300 |
189 lines |
Expression of Interest for Formal Verification Postdoc Position
|
Andrew Butterfield |
Wed, 2 Feb 2011 14:21:20 +0000 |
158 lines |
SAFECOMP 2011 - Second Call for Papers (abstract submission deadline approaching)
|
Francesco Flammini |
Mon, 21 Feb 2011 11:19:09 +0100 |
119 lines |
[fm-announcements] RV 2011 Call for Papers and Tutorials
|
Havelund, Klaus (317J) |
Tue, 22 Feb 2011 17:46:27 -0800 |
475 lines |
[fm-announcements] VVPS 2011 - deadline extension for all ICAPS workshops
|
Havelund, Klaus (317J) |
Sat, 5 Feb 2011 13:25:01 -0800 |
347 lines |
ANNOUNCEMENT -- Extension of SEW-2011 submission deadline
|
Jonathan Bowen |
Thu, 17 Feb 2011 11:41:20 +0000 |
97 lines |
CALL FOR Workshop Proposals (ICFEM 2011)
|
Jonathan Bowen |
Mon, 14 Feb 2011 00:46:10 +0000 |
112 lines |
CORCS 2011: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
|
Jonathan Bowen |
Mon, 28 Feb 2011 12:15:07 +0000 |
119 lines |
Tenure-track position in Sherbrooke / Poste à Sherbrooke
|
Jonathan Bowen |
Thu, 17 Feb 2011 11:30:16 +0000 |
182 lines |
CFP for the Workshop on Software Product Line Development in Dynamic Adaptive Environments
|
Joost Noppen |
Mon, 14 Feb 2011 10:36:28 +0000 |
160 lines |
BCS-FACS Evening Seminar by Prof Philip Wadler: Formlets, 5 April 2011, BCS London Offices, Covent Garden
|
Paul Boca |
Sat, 26 Feb 2011 00:22:55 +0000 |
72 lines |
CFP: FMIS2011
|
Steve Reeves |
Sat, 19 Feb 2011 14:52:15 +1300 |
1646 lines |