|
|
|
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 |
94 lines |
Call For Participation: WORLDCOMP'07: joint conferences in CS, CE, and applied computing, June 25-28, 2007, Las Vegas
|
A. M. G. Solo |
Mon, 28 May 2007 11:13:15 -0700 |
232 lines |
2nd Call for Papers: FMIS 2007
|
Paul Curzon |
Mon, 28 May 2007 14:45:31 +0100 |
122 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 |
94 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 |
93 lines |
ICFEM 2007 : Submission Deadline 28 May
|
Michael Butler |
Mon, 14 May 2007 21:29:48 +0100 |
148 lines |
ATVA 2007: deadline extension to May 21
|
Susanne Graf |
Sat, 12 May 2007 20:40:33 +0200 |
160 lines |
CFV'07 Call for Papers
|
Miroslav Velev |
Tue, 8 May 2007 11:01:34 +0100 |
111 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 |
64 lines |