|
|
|
Size
|
Academic posts at De Montfort University, England (including formal methods)
|
Jonathan Bowen |
Tue, 3 Dec 2002 02:24:05 -0000 |
64 lines |
Call for Participation: BCS-FACS Formal Aspects of Security (FASec), Royal Holloway, London, UK, 18-20 December 2002
|
Jonathan Bowen |
Sun, 24 Nov 2002 19:18:25 -0000 |
149 lines |
BCS-FACS Formal Aspects of Security: FASec'02
|
Ali Abdallah |
Fri, 22 Nov 2002 16:32:45 +0000 |
149 lines |
Reminder: Deadline for ZB2003 Call for Papers (22 Nov 2002)
|
Jonathan Bowen |
Fri, 22 Nov 2002 01:14:25 -0000 |
333 lines |
A Tribute to the Late Edsger Dijkstra, London, UK, 14 November 2002
|
Jonathan Bowen |
Wed, 6 Nov 2002 22:00:45 -0000 |
41 lines |
Call for Participation: BCS-FACS FASec - Formal Aspects of Security, Royal Holloway, UK, 18-20 December 2002
|
Jonathan Bowen |
Tue, 5 Nov 2002 12:16:41 -0000 |
156 lines |
FACS sponsorship
|
Greg Michaelson |
Thu, 24 Oct 2002 13:55:15 +0100 |
18 lines |
Possible FACS sponsorship for ZB2003
|
Jonathan Bowen |
Thu, 24 Oct 2002 11:48:55 +0100 |
43 lines |
Lectureship in Computer Science
|
José Luiz Fiadeiro |
Wed, 23 Oct 2002 16:28:59 +0100 |
105 lines |
***** Welcome to the new BCS-FACS mailing list *****
|
Paul Boca |
Wed, 23 Oct 2002 00:14:44 +0100 |
51 lines |
test message - please ignore
|
Paul Boca |
Tue, 22 Oct 2002 11:08:03 +0200 |
11 lines |
Using Formal Models to Understand Requirements Better
|
Ali Abdallah |
Mon, 21 Oct 2002 22:29:35 +0000 |
220 lines |
Using Formal Models to Understand Requirements Better
|
Ali Abdallah |
Mon, 21 Oct 2002 18:43:16 +0000 |
221 lines |