|
|
|
Size
|
CORCS 2011: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
|
Jonathan Bowen |
Mon, 28 Feb 2011 12:15:07 +0000 |
120 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 |
73 lines |
CFP: SBMF 2011 - 14th Brazilian Symposium on Formal Methods
|
Adenilso Simao |
Fri, 25 Feb 2011 09:02:13 -0300 |
189 lines |
Call for Participation: WS on Hybrid Autonomous Systems at ETAPS
|
Martin Fraenzle |
Thu, 24 Feb 2011 09:22:58 +0100 |
175 lines |
CFP: 13th International Conference on Formal Engineering Methods (ICFEM 2011)
|
jun sun |
Wed, 23 Feb 2011 23:04:38 -0500 |
191 lines |
Call for Papers (ICFEM 2011)
|
Huibiao Zhu |
Tue, 22 Feb 2011 21:29:47 -0000 |
359 lines |
SAFECOMP 2011 - Second Call for Papers (abstract submission deadline approaching)
|
Francesco Flammini |
Mon, 21 Feb 2011 11:19:09 +0100 |
120 lines |
Call for papers: CryptoForma workshop, Limerick (FM 2011), 21 June. Submission Deadline 4th March
|
Steve Schneider |
Fri, 18 Feb 2011 23:46:31 +0000 |
92 lines |
ANNOUNCEMENT -- Extension of SEW-2011 submission deadline
|
Jonathan Bowen |
Thu, 17 Feb 2011 11:41:20 +0000 |
57 lines |
Tenure-track position in Sherbrooke / Poste à Sherbrooke
|
Jonathan Bowen |
Thu, 17 Feb 2011 11:30:16 +0000 |
89 lines |
Call for papers: SARA 2011
|
Miroslav Velev |
Sun, 13 Feb 2011 16:09:18 -0600 |
386 lines |
Call for papers: SARA 2011
|
Miroslav Velev |
Sun, 13 Feb 2011 21:04:18 +0000 |
125 lines |
CALL FOR Workshop Proposals (ICFEM 2011)
|
Huibiao Zhu |
Sun, 13 Feb 2011 19:08:56 -0000 |
94 lines |
QAPL 2011 Call For Participation
|
Gethin Norman |
Fri, 11 Feb 2011 15:05:50 +0000 |
132 lines |
CFP: WORLDCOMP'11 (conferences in comp. sci., comp. eng., and applied computing), USA, July 18-21, 2011
|
A. M. G. Solo |
Wed, 9 Feb 2011 14:25:45 -0800 |
171 lines |