|
|
|
Size
|
REMINDER: BCS-FACS Seminar -- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals, Ben Moszkowski, 4 June 2007, 5.45pm, BCS Offices, London
|
Paul Boca |
Wed, 30 May 2007 22:32:16 +0100 |
93 lines |
CFP for 3rd South East European WorkShop on Formal Methods
|
Ilias Sakellariou |
Thu, 24 May 2007 16:53:29 +0300 |
265 lines |
Re: BCS-FACS Seminar -- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals, Ben Moszkowski, 4 June 2007, 5.45pm, BCS Offices, London
|
Paul Boca |
Wed, 16 May 2007 22:48:24 +0100 |
93 lines |
BCS-FACS Seminar -- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals, Ben Moszkowski, 4 June 2007, 5.45p, BCS Offices, London
|
Paul Boca |
Wed, 16 May 2007 22:45:08 +0100 |
92 lines |
ICFEM 2007 : Submission Deadline 28 May
|
Michael Butler |
Mon, 14 May 2007 21:29:48 +0100 |
147 lines |
ICECCS 2007: Call for Participation
|
Jing Sun |
Thu, 10 May 2007 11:55:02 +1200 |
267 lines |
REMINDER: FACS Evening Seminar --- Incremental Development of Distributed Systems, by Prof Michael Butler, 10 May, 5.45pm, BCS Offices, London
|
Paul Boca |
Mon, 7 May 2007 21:35:10 +0100 |
63 lines |