|
|
|
Size
|
VSTTE 2012 verification competition: call for participation
|
Gudmund Grov |
Fri, 30 Sep 2011 10:51:28 +0100 |
110 lines |
**** BCS-FACS Evening Seminar byProfessor John Derrick, Mechanising a correctness proof for a lock-free concurrent stack, 21 September 2011, BCS London Offices, Covent Garden, London
|
Paul Boca |
Mon, 19 Sep 2011 22:04:38 +0100 |
66 lines |
CfP: 9th International Conference on Integrated Formal Methods (iFM 2012)
|
Jonathan Bowen |
Wed, 14 Sep 2011 15:26:57 +0100 |
300 lines |
CfP: 9th International Conference on Integrated Formal Methods (iFM 2012)
|
Jonathan Bowen |
Wed, 14 Sep 2011 15:26:57 +0100 |
285 lines |
First CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14
|
Achim D. Brucker |
Fri, 9 Sep 2011 21:04:58 +0200 |
123 lines |
Call for participation: ICFEM 2011: 13th International Conference on Formal Engineering Methods
|
Jonathan Bowen |
Thu, 8 Sep 2011 19:04:51 +0100 |
1376 lines |
SAFECOMP 2011: Last Call for Participation
|
Francesco Flammini |
Wed, 7 Sep 2011 16:21:29 +0200 |
129 lines |
BCS-FACS Evening Seminar byProfessor John Derrick, Mechanising a correctness proof for a lock-free concurrent stack, 21 September 2011, BCS London Offices, Covent Garden, London
|
Paul Boca |
Thu, 1 Sep 2011 22:58:39 +0100 |
66 lines |