|
|
|
Size
|
BCS-FACS / FME Evening Seminar: Formal Methods in the Last 25 Years, 30 January 2006, 5.30pm, BCS Offices, London
|
Paul Boca |
Thu, 22 Dec 2005 17:10:48 -0000 |
112 lines |
CFP: International Conference on Formal Engineering Methods (ICFEM06)
|
Chris George |
Fri, 9 Dec 2005 12:16:31 +0800 |
149 lines |
CFP: International Colloquium on Theoretical Aspects of Computing (ICTAC06)
|
Chris George |
Fri, 9 Dec 2005 10:37:27 +0800 |
115 lines |
BCSF-FACS / FORTEST Christmas Meeting: Formal Methods and Testing [UPDATED ANNOUNCEMENT]
|
Paul Boca |
Thu, 8 Dec 2005 08:08:46 -0000 |
263 lines |
REMINDER:BCS-FACS Evening Seminar by Richard Bornat on Separation Logic, 8 December 2005, 6pm, London
|
Paul Boca |
Wed, 30 Nov 2005 21:56:08 -0000 |
112 lines |
BCS-FACS Christmas meeting on Formal Methods and Testing, London, UK, 19 December 2005
|
Jonathan Bowen |
Fri, 25 Nov 2005 11:25:05 -0000 |
244 lines |
BCS-FACS Evening Seminar by Richard Bornat on Separation Logic: 8 December 2005, 6pm, London
|
[log in to unmask] |
Thu, 17 Nov 2005 12:08:42 +0000 |
110 lines |
REMINDER: BCS-FACS Evening Seminar by Prof. Martin Henson, 8 November 2005, 5.45pm, London
|
[log in to unmask] |
Fri, 28 Oct 2005 10:48:47 +0000 |
75 lines |
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 14 November 2005)
|
Paul Boca |
Sun, 9 Oct 2005 23:54:45 +0100 |
67 lines |
BCS-FACS Evening Seminar by Prof. Martin Henson, 8 November 2005, 5.45pm, London
|
Paul Boca |
Tue, 4 Oct 2005 16:59:26 +0100 |
75 lines |
Call for Participation : ICFEM 2005
|
Kenji Taguchi |
Wed, 21 Sep 2005 19:11:24 +0900 |
119 lines |
BCS-FACS sponsorship for student attendance at SEEFM 2005 - last call!
|
Jonathan Bowen |
Fri, 16 Sep 2005 18:18:54 +0100 |
28 lines |
Final Call for Papers: UTP06 - 1st International Symposium on Unifying Theories of Programming
|
Jonathan Bowen |
Wed, 14 Sep 2005 13:01:24 +0100 |
120 lines |
REMINDER: BCS-FACS/BCSWomen Evening Seminar by Prof. Muffy Calder, 21 September 2005, London
|
Paul Boca |
Wed, 31 Aug 2005 21:45:47 +0100 |
71 lines |
BCS-FACS Evening Seminar by Prof. Muffy Calder, 21 September, London
|
Paul Boca |
Thu, 4 Aug 2005 14:00:03 +0100 |
68 lines |
Call for Submissions: FACS FACTS Issue 2005-3
|
[log in to unmask] |
Wed, 3 Aug 2005 19:56:34 +0000 |
68 lines |
Call for papers: First International Symposium on Unifying Theories of Programming, UK, 5-7 February 2006
|
Jonathan Bowen |
Wed, 13 Jul 2005 09:36:55 +0100 |
109 lines |
BCS-FACS Newsletter, FACS FACTS, available to download
|
[log in to unmask] |
Tue, 5 Jul 2005 09:44:21 +0000 |
28 lines |
*** BCS-FACS Evening Seminar by Prof. Dines Bjørner, 2 5 July 2005, London ***
|
Paul Boca |
Mon, 27 Jun 2005 01:20:01 +0100 |
71 lines |
Research Scholarships at London South Bank University, UK (including Formal Methods)
|
Jonathan Bowen |
Mon, 27 Jun 2005 00:25:42 +0100 |
74 lines |
FM'05: 2nd Call for Participation
|
Nico Plat |
Thu, 9 Jun 2005 22:18:24 +0100 |
52 lines |
Overture Workshop @FM'05: Call for Participation
|
Nico Plat |
Mon, 6 Jun 2005 12:33:44 +0100 |
82 lines |
SEEFM05: 2nd Call for Papers
|
George Eleftherakis, MBCS |
Tue, 31 May 2005 09:01:26 +0100 |
173 lines |
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 13 MAY 2005)
|
Paul Boca |
Wed, 4 May 2005 21:47:59 +0100 |
57 lines |
WLFM 2005 at FM 05: Extended Deadline
|
Arenas, AE (Alvaro) |
Tue, 3 May 2005 10:54:54 +0100 |
122 lines |
Journal Announcement: Innovations in Systems and Software Engineering
|
Jonathan Bowen |
Tue, 26 Apr 2005 14:31:50 +0100 |
53 lines |
Call for submissions: Grand Challenge 6 Workshop on Dependable Systems Evolution, 18 July 2005
|
Jonathan Bowen |
Tue, 26 Apr 2005 12:00:00 +0100 |
86 lines |
Formal Methods 2005 (FM'05): First Call for Participation
|
Nico Plat |
Wed, 13 Apr 2005 19:13:15 +0200 |
116 lines |
Formal Methods Seminar, 27 April, 5.45pm, London
|
[log in to unmask] |
Wed, 13 Apr 2005 11:25:47 +0000 |
62 lines |
Overture Workshop: Call for Contributions and Participation
|
Nico Plat |
Wed, 13 Apr 2005 12:39:52 +0200 |
103 lines |
Call for Papers - ICTAC05 (Hanoi)
|
Bernhard K. Aichernig |
Wed, 13 Apr 2005 10:58:01 +0800 |
191 lines |
2nd CFP - ICFEM '05 -
|
Kenji Taguchi |
Fri, 8 Apr 2005 10:39:37 +0900 |
105 lines |
CFP WLFM 2005 at FM 05: Web Languages and Formal Methods
|
Arenas, AE (Alvaro) |
Mon, 4 Apr 2005 11:53:51 +0100 |
118 lines |
Formal methods talk by Steeve Reeves after BCS-FACS AGM, London, 27 April 2005
|
Jonathan Bowen |
Sat, 19 Mar 2005 12:29:22 -0000 |
316 lines |
Opening for Chair in Formal Methods at Southampton, UK
|
Michael Butler |
Fri, 18 Mar 2005 12:26:49 -0000 |
61 lines |
Final CfP: Formal Approaches to Testing (FATES 2005)
|
Wolfgang Grieskamp |
Sun, 13 Mar 2005 22:23:21 -0800 |
167 lines |
Call for Tutorials - ICTAC05
|
Bernhard K. Aichernig |
Mon, 28 Feb 2005 12:19:24 +0800 |
193 lines |
Request for C code from formal methods projects
|
Jonathan Bowen |
Thu, 24 Feb 2005 23:27:59 -0000 |
39 lines |
Fw: European Master in Computational Logic - Grants for non European citizens
|
Jonathan Bowen |
Tue, 8 Feb 2005 20:32:11 -0000 |
171 lines |
Re: TRain: The Railway Domain - formal specification and verification
|
Michael Jackson |
Sat, 5 Feb 2005 18:50:55 +0000 |
22 lines |
CfP: Formal Approaches to Testing (FATES 2005)
|
Wolfgang Grieskamp |
Fri, 4 Feb 2005 23:32:31 -0800 |
164 lines |
TRain: The Railway Domain - formal specification and verification
|
Jonathan Bowen |
Fri, 4 Feb 2005 12:52:15 -0000 |
136 lines |
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005)
|
Jonathan Bowen |
Mon, 31 Jan 2005 22:18:48 -0000 |
78 lines |
1st CFP - ICFEM '05 -
|
Taguchi |
Mon, 31 Jan 2005 12:15:50 +0000 |
111 lines |
Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)
|
Jonathan Bowen |
Fri, 21 Jan 2005 15:45:06 -0000 |
130 lines |
ZB2005 call for participation
|
Jonathan Bowen |
Fri, 21 Jan 2005 15:42:40 -0000 |
52 lines |