|
|
|
Size
|
Summer School on Formal Co-Modelling for Embedded Systems Design
|
John Fitzgerald |
Thu, 8 Mar 2012 10:31:58 +0000 |
52 lines |
Turing's Worlds, a celebration of the Alan Turing centenary, 23-24 June 2012 in Oxford, UK
|
Jonathan Bowen |
Tue, 13 Mar 2012 11:57:45 +0000 |
83 lines |
WING 2012: Second Call for Papers -- 3 weeks to go
|
Gudmund Grov |
Fri, 16 Mar 2012 12:12:52 +0000 |
158 lines |
Last CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
|
Takashi KITAMURA |
Mon, 19 Mar 2012 10:03:21 +0900 |
164 lines |
PhD position in Formal Development and Verification of Railway Control Systems
|
Anne Haxthausen |
Mon, 19 Mar 2012 16:19:25 +0000 |
38 lines |
CFP - Special Section on Formal Approach, IEICE Trans
|
Kazuhiro Ogata |
Sat, 24 Mar 2012 04:47:52 +0000 |
142 lines |
Final CfP: 10th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2012)
|
Jonathan Bowen |
Wed, 28 Mar 2012 19:29:41 +0100 |
432 lines |