|
|
|
Size
|
REMINDER: Call for papers: The 10th Overture Workshop
|
Steve Riddle |
Fri, 27 Apr 2012 11:40:30 +0100 |
119 lines |
*Deadline extended (30th April)* CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
|
Takashi KITAMURA |
Tue, 24 Apr 2012 10:36:23 +0900 |
176 lines |
WING 2012: Call for Presentations
|
Gudmund Grov |
Mon, 23 Apr 2012 10:06:49 +0100 |
118 lines |
[fm-announcements] RV 2012 - 2nd Call For Papers
|
Klaus Havelund |
Fri, 13 Apr 2012 08:58:56 -0700 |
316 lines |
CfP: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
|
Jonathan Bowen |
Fri, 13 Apr 2012 12:37:43 +0100 |
212 lines |
New PhD position in Aarhus
|
Peter Gorm Larsen |
Thu, 12 Apr 2012 14:47:12 +0200 |
103 lines |
Call for Participation: Tests and Proofs (TAP 2012) in Prague
|
Achim D. Brucker |
Tue, 10 Apr 2012 16:56:37 +0200 |
145 lines |
*Deadline Extended* CFP : ICFEM 2012 - 14th International Conference on Formal Engineering Methods
|
Takashi KITAMURA |
Mon, 9 Apr 2012 20:35:57 +0900 |
316 lines |
WING 2012: Final Call for Papers -- Extended Deadline
|
Gudmund Grov |
Mon, 2 Apr 2012 15:33:34 +0100 |
161 lines |
2nd CfP: The 10th Overture workshop
|
Nico Plat |
Sun, 1 Apr 2012 17:17:01 +0200 |
129 lines |