|
|
|
Size
|
Final CfP: 10th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2012)
|
Jonathan Bowen |
Wed, 28 Mar 2012 19:29:41 +0100 |
219 lines |
SPIN Workshop 2012 - deadline extended to 7 April
|
Michael Tautschnig |
Wed, 28 Mar 2012 08:56:30 +0300 |
172 lines |
Final CfP: SPIN 2012 - 19th International Workshop on Model Checking Software
|
Michael Tautschnig |
Wed, 21 Mar 2012 20:29:04 +0000 |
173 lines |
CORCS 2012 - Call for Papers: Extended Deadline: 30th March 2012
|
Cristina Seceleanu |
Fri, 16 Mar 2012 16:21:49 +0100 |
107 lines |
WING 2012: Second Call for Papers -- 3 weeks to go
|
Gudmund Grov |
Fri, 16 Mar 2012 12:12:44 +0000 |
159 lines |
Last CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
|
Takashi KITAMURA |
Wed, 14 Mar 2012 22:29:02 +0900 |
172 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 |
46 lines |
Preliminary Programme ECEC-FUBUTEC-EUROMEDIA'2012, April 18-20, 2012, Marriott Hotel, Bucharest, Romania
|
Philippe Geril |
Mon, 12 Mar 2012 14:27:18 +0000 |
259 lines |
Postdoc positions at University of Oxford in Automated Formal Verification
|
Michael Tautschnig |
Thu, 8 Mar 2012 07:57:49 +0000 |
85 lines |
Second CfP: SPIN 2012 - 19th International Workshop on Model Checking Software
|
Michael Tautschnig |
Thu, 8 Mar 2012 07:43:59 +0000 |
173 lines |