|
|
|
Size
|
Call for Participation: TESTCOM/FATES 2007
|
Wolfgang Grieskamp |
Sat, 28 Apr 2007 00:01:49 -0700 |
82 lines |
Call for Papers: ATVA 2007
|
Susanne Graf |
Fri, 27 Apr 2007 22:09:00 +0200 |
156 lines |
13th System Design Language Forum - Extended CFP
|
Susanne Graf |
Fri, 27 Apr 2007 21:53:52 +0200 |
68 lines |
Call for Participation------TASE 2007
|
Huibiao Zhu |
Wed, 25 Apr 2007 19:46:08 +0800 |
213 lines |
BCS-FACS Evening Seminar by Prof. Michael Butler, 10 May, 5.45pm, London
|
Paul Boca |
Wed, 25 Apr 2007 01:56:17 +0100 |
63 lines |
ICTAC07: deadline extended to 4 May
|
Chris George |
Tue, 24 Apr 2007 16:28:52 +0800 |
164 lines |
REMINDER: BCS-FACS/BCSWomen Joint Evening Seminar by Prof. Ursula Martin, 26 April 2007, 5.45pm, London
|
Paul Boca |
Fri, 20 Apr 2007 17:43:07 +0100 |
76 lines |
Call for Papers: FMIS 2007: Formal Methods for Interactive Systems
|
Paul Curzon |
Fri, 20 Apr 2007 16:27:53 +0100 |
118 lines |
ICFEM 2007 First Call for Papers
|
Michael Butler |
Fri, 13 Apr 2007 17:11:35 +0100 |
140 lines |
CFV'07 Call for Papers
|
Miroslav Velev |
Thu, 5 Apr 2007 11:03:05 +0100 |
109 lines |
ICTAC 2007: Final call for workshop proposals
|
Dang Van Hung |
Mon, 2 Apr 2007 14:29:16 +0800 |
109 lines |
ICTAC 2007: Final call for papers
|
Chris George |
Mon, 2 Apr 2007 14:10:59 +0800 |
165 lines |