|
|
|
Size
|
Annual Peter Landin seminar, 6 December 2011, 6pm, Covent Garden -- speaker: Professor Cliff Jones.
|
Paul Boca |
Tue, 29 Nov 2011 21:55:03 +0000 |
112 lines |
|
Jonathan Bowen |
Sun, 20 Nov 2011 21:36:39 +0000 |
55 lines |
Second CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14
|
Achim D. Brucker |
Wed, 16 Nov 2011 03:34:11 +0100 |
129 lines |
2nd Call for Papers: iFM Integrated Formal Methods & ABZ 2012 conferences, Pisa, Italy, 18-22 June 2012
|
Jonathan Bowen |
Mon, 14 Nov 2011 18:31:22 +0000 |
901 lines |
Annual Peter Landin seminar, 6 December 2011, 6pm, Covent Garden. Speaker: Prof. Cliff Jones -- seminar title: "To be or not to be" valid?
|
Paul Boca |
Sat, 12 Nov 2011 13:21:59 +0000 |
102 lines |
2nd Call for Papers: NFM 2012, 4th NASA Formal Methods Symposium, Norfolk, Virginia, USA, April 3-5, 2012
|
Jonathan Bowen |
Thu, 10 Nov 2011 01:26:20 +0000 |
333 lines |
Call for Papers: MBT 2012, Seventh Workshop on Model-Based Testing, Tallinn, Estonia, 25 March 2012
|
Jonathan Bowen |
Wed, 9 Nov 2011 13:43:31 +0000 |
316 lines |
VSTTE 2012 Competition: Final Call for Participation - 1 WEEK TO GO!
|
Gudmund Grov |
Tue, 1 Nov 2011 09:13:47 +0000 |
67 lines |