|
|
|
Size
|
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005)
|
Jonathan Bowen |
Thu, 30 Dec 2004 23:23:43 -0000 |
77 lines |
SEFM 2005 call for papers (Koblenz, Germany)
|
Bernhard K. Aichernig |
Tue, 21 Dec 2004 16:12:57 +0800 |
220 lines |
Book announcement: Validated Designs for Object-oriented Systems
|
Nico Plat |
Mon, 20 Dec 2004 23:08:31 +0100 |
39 lines |
Abstraction, Refinement and Proof: Book announcement
|
Jonathan Bowen |
Mon, 20 Dec 2004 10:10:22 -0000 |
49 lines |
Reminder: BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 21 December 2004
|
Jonathan Bowen |
Tue, 14 Dec 2004 09:08:30 -0000 |
106 lines |
BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 21 December 2004
|
Jonathan Bowen |
Tue, 30 Nov 2004 19:09:30 -0000 |
90 lines |
Program Verification and Semantics: Further Work, London, 2 December 2004 (Reminder!)
|
Jonathan Bowen |
Sat, 27 Nov 2004 23:34:10 -0000 |
79 lines |
Call for Papers - ICTAC05
|
Bernhard K. Aichernig |
Tue, 23 Nov 2004 18:04:20 +0800 |
186 lines |
Program Verification and Semantics: Further Work, London, 2 December 2004
|
Jonathan Bowen |
Fri, 12 Nov 2004 00:21:13 -0000 |
49 lines |
CFP REFINE 2005 at ZB, Surrey, UK, 12 April 2005
|
Eerke Boiten |
Thu, 14 Oct 2004 10:02:16 +0100 |
94 lines |
|
Jonathan Bowen |
Sun, 10 Oct 2004 15:39:57 +0100 |
62 lines |
Call for Papers: ZB2005 - 4th International Conference of B and Z Users
|
Jonathan Bowen |
Thu, 30 Sep 2004 20:53:05 +0100 |
253 lines |
Formal methods article and web pages
|
Jonathan Bowen |
Sun, 19 Sep 2004 12:06:56 +0100 |
40 lines |
Call for Partici
|
Neville Dean |
Fri, 17 Sep 2004 13:13:47 +0100 |
91 lines |
[TYPES] ICTAC04: Call for Participants
|
Bernhard K. Aichernig |
Tue, 7 Sep 2004 12:28:21 +0800 |
182 lines |
ICTAC04: Call for Participants
|
Bernhard K. Aichernig |
Tue, 7 Sep 2004 12:28:21 +0800 |
180 lines |
SEFM 2004: Early registration ends on Friday (28.08)!
|
Bernhard K. Aichernig |
Tue, 24 Aug 2004 14:25:57 +0800 |
199 lines |
FACS FACTS Issue 2004-3: Call for submissions
|
Jonathan Bowen |
Sun, 22 Aug 2004 15:13:43 +0100 |
77 lines |
SEFM 2004: Call for Participation
|
Bernhard K. Aichernig |
Tue, 10 Aug 2004 17:03:14 +0800 |
196 lines |
FMICS 04: Call for Participation
|
Arenas, AE (Alvaro) |
Mon, 9 Aug 2004 10:07:40 +0100 |
176 lines |
FMICS 04 - Submissions deadline extended
|
Arenas, AE (Alvaro) |
Fri, 18 Jun 2004 16:28:29 +0100 |
112 lines |
ICTAC 2004: Extended Deadline (5 July)
|
Bernhard K. Aichernig |
Thu, 17 Jun 2004 18:49:47 +0800 |
190 lines |
hybrid systems
|
Jos Baeten |
Wed, 16 Jun 2004 16:15:31 +0200 |
97 lines |
25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK
|
Jonathan Bowen |
Tue, 1 Jun 2004 00:12:05 +0100 |
97 lines |
FACS FACTS Newsletter Call for Contributions (deadline 11 June 2004)
|
Jonathan Bowen |
Sat, 22 May 2004 11:37:28 +0100 |
51 lines |
Reminder -- Call for Papers, Teaching Formal Methods 2004
|
Neville Dean |
Fri, 30 Apr 2004 14:59:47 +0100 |
92 lines |
Call for participation: 25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK
|
Jonathan Bowen |
Fri, 30 Apr 2004 14:05:14 +0100 |
100 lines |
2nd CFP: FMICS 04
|
Arenas, AE (Alvaro) |
Thu, 29 Apr 2004 10:25:43 +0100 |
108 lines |
SEFM 2004 FINAL CALL (New Extended Deadlines)
|
Gianna Reggio |
Wed, 24 Mar 2004 13:56:35 +0000 |
175 lines |
FME/CoLogNet Symposium on Teaching Formal Methods 2004
|
Neville Dean |
Tue, 16 Mar 2004 12:30:35 +0000 |
78 lines |
First Call for Papers: FMICS 04
|
Arenas, AE (Alvaro) |
Wed, 10 Mar 2004 16:45:53 -0000 |
104 lines |