|
|
|
Size
|
VSTTE 2012 verification competition: call for participation
|
Gudmund Grov |
Fri, 30 Sep 2011 10:51:39 +0100 |
111 lines |
CFPs: abstracts due today for CFV'11 Workshop at ICCAD'11
|
Miroslav Velev |
Sun, 25 Sep 2011 19:00:39 +0100 |
104 lines |
CFPs: abstracts due today for CFV'11 Workshop at ICCAD'11
|
Miroslav Velev |
Sun, 25 Sep 2011 12:56:03 -0500 |
282 lines |
Preliminary Programme ESM'2011, October 24-26, 2011, Guimaraes, Portugal
|
Philippe Geril |
Thu, 22 Sep 2011 16:15:45 +0100 |
585 lines |
Postdoctoral positions on Model Checking and Security at NUS
|
Liu Yang |
Thu, 22 Sep 2011 22:57:05 +0800 |
82 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 |
Rodin User and Developer Workshop, February 2012, Fontainebleau, France
|
Michael J Butler |
Wed, 14 Sep 2011 17:34:08 +0000 |
77 lines |
CfP: 9th International Conference on Integrated Formal Methods (iFM 2012)
|
Jonathan Bowen |
Wed, 14 Sep 2011 15:26:57 +0100 |
165 lines |
CfP: 9th International Conference on Integrated Formal Methods (iFM 2012)
|
Jonathan Bowen |
Wed, 14 Sep 2011 15:26:57 +0100 |
161 lines |
First CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14
|
Achim D. Brucker |
Fri, 9 Sep 2011 19:24:29 +0200 |
124 lines |
Call for participation: ICFEM 2011: 13th International Conference on Formal Engineering Methods
|
Jonathan Bowen |
Thu, 8 Sep 2011 19:04:51 +0100 |
382 lines |
SAFECOMP 2011: Last Call for Participation
|
Francesco Flammini |
Wed, 7 Sep 2011 16:21:29 +0200 |
129 lines |
CFP: Mathematics of Program Construction, Madrid, 25-27 June 2012
|
Ian Hayes |
Wed, 7 Sep 2011 12:06:02 +0100 |
133 lines |
2nd CFPs: Constraints in Formal Verification 2011
|
Miroslav Velev |
Mon, 5 Sep 2011 18:35:23 +0100 |
105 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 |
67 lines |