|
|
|
Size
|
Call for Papers (TASE 2012)
|
Huibiao Zhu |
Wed, 30 Nov 2011 22:10:04 +0800 |
283 lines |
Annual Peter Landin seminar, 6 December 2011, 6pm, Covent Garden -- speaker: Professor Cliff Jones.
|
Paul Boca |
Tue, 29 Nov 2011 21:55:03 +0000 |
113 lines |
FUBUTEC'2012, April 18-20, 2012, Bucharest, Romania, 1st CFP
|
Philippe Geril |
Fri, 25 Nov 2011 11:05:01 +0000 |
662 lines |
19th ECEC'2012, April 18-20, Bucharest, Romania 1st CFP
|
Philippe Geril |
Tue, 22 Nov 2011 13:18:49 +0000 |
495 lines |
|
Jonathan Bowen |
Sun, 20 Nov 2011 21:36:39 +0000 |
30 lines |
Second CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14
|
Achim D. Brucker |
Wed, 16 Nov 2011 03:32:54 +0100 |
130 lines |
QAPL 2012: Second Call for Papers (new: Invited Speakers and TCS Special Issue)
|
Mieke Massink |
Tue, 15 Nov 2011 15:48:01 +0100 |
171 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 |
172 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 |
103 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 |
189 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 |
134 lines |
VSTTE 2012 Competition: Final Call for Participation - 1 WEEK TO GO!
|
Gudmund Grov |
Tue, 1 Nov 2011 09:13:54 +0000 |
68 lines |