|
|
|
Size
|
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005)
|
Paul Boca |
Thu, 30 Dec 2004 20:27:36 -0000 |
68 lines |
Talk: "Communicating Mobile Processes", 13th January 2005, 6pm, BCS London Offices
|
Paul Boca |
Wed, 22 Dec 2004 01:26:24 -0000 |
62 lines |
The Third Annual Kolmogorov Lecture: "Zermelo's axiom of choice: What was the problem with it?", 10th February 2005, Royal Holloway, Egham Campus
|
Paul Boca |
Wed, 22 Dec 2004 01:15:46 -0000 |
30 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 |
FW: SIGLaC Half-day meeting on "Mathematical Aspects of Computation"
|
Mike Stannett |
Mon, 6 Dec 2004 16:24:02 -0000 |
63 lines |
Re: BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 21 December 2004
|
Jonathan Bowen |
Tue, 30 Nov 2004 21:16:44 -0000 |
46 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 |
Research Fellow Position at Surrey
|
Schneider SA Prof (Computing) |
Thu, 18 Nov 2004 17:43:00 -0000 |
136 lines |
Research Job, Southampton
|
Michael Butler |
Tue, 16 Nov 2004 15:35:47 -0000 |
30 lines |
FMOODS - Call for Papers
|
J.Derrick |
Tue, 16 Nov 2004 11:42:21 +0000 |
137 lines |
Issue 2004-3 of FACS FACTS available for download
|
Paul Boca |
Mon, 15 Nov 2004 02:33:17 -0000 |
26 lines |
Plan to revive BCS-FACS Chrismas meeting on 21 December!
|
Jonathan Bowen |
Sun, 14 Nov 2004 00:25:36 -0000 |
36 lines |
Program Verification and Semantics: Further Work, London, 2 December 2004
|
Jonathan Bowen |
Fri, 12 Nov 2004 00:21:13 -0000 |
49 lines |
ZB2005 deadline extension
|
Treharne H Dr (Computing) |
Thu, 28 Oct 2004 23:24:46 +0100 |
83 lines |
ZB2005 deadline approaching
|
Treharne H Dr (Computing) |
Fri, 22 Oct 2004 15:45:10 +0100 |
92 lines |
CFP REFINE 2005 at ZB, Surrey, UK, 12 April 2005
|
Eerke Boiten |
Wed, 13 Oct 2004 13:58:43 +0100 |
94 lines |
Formal Methods job on the RODIN European Project
|
[log in to unmask] |
Tue, 12 Oct 2004 12:04:59 -0400 |
26 lines |
CFP:TFP 2004 - Fifth Symposium on Trends in Functional Programming
|
[log in to unmask] |
Mon, 11 Oct 2004 04:43:19 -0400 |
164 lines |
FACS FACTS: Call for Submissons
|
Paul Boca |
Sun, 10 Oct 2004 14:42:08 +0100 |
55 lines |
Roger Needham Lecture: Tuning Systems: From Composition to Performance
|
Paul Boca |
Thu, 7 Oct 2004 23:05:56 +0100 |
52 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 |
FACS FACTS Issue 2004-3: Call for submissions
|
Paul Boca |
Sat, 21 Aug 2004 12:05:20 +0100 |
54 lines |
FW: TFP04 Symp on Trends in Functional Programming
|
Greg Michaelson |
Fri, 23 Jul 2004 13:45:41 +0100 |
153 lines |
Latest issue of FACS Newsletter: available for download
|
[log in to unmask] |
Fri, 2 Jul 2004 05:10:17 -0400 |
41 lines |
Free places for PhD students at AMAST 2004 in Stirling
|
[log in to unmask] |
Thu, 1 Jul 2004 08:37:59 -0400 |
68 lines |
Readership in Software Engineering
|
Jos Luiz Fiadeiro |
Tue, 22 Jun 2004 11:48:44 +0100 |
203 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 |
ARTS 2004 - Call for Participation
|
Paul Boca |
Mon, 31 May 2004 14:25:00 +0100 |
104 lines |
Symposium on Logic-Based Agent Verification [Liverpool, 09/07/04]
|
Michael Fisher |
Wed, 26 May 2004 10:14:01 +0100 |
151 lines |
FACS FACTS Newsletter Call for Contributions (deadline 11 June 2004)
|
Jonathan Bowen |
Sat, 22 May 2004 11:37:28 +0100 |
51 lines |
2nd cfp: The Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT2004
|
Paul Boca |
Wed, 5 May 2004 00:10:07 +0100 |
104 lines |
2nd cfp: The Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT2004
|
Paul Boca |
Wed, 5 May 2004 00:00:30 +0100 |
107 lines |
FACS Newsletter: Call for submissions
|
Paul Boca |
Mon, 3 May 2004 15:45:16 +0100 |
59 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 |
Re: Draft Minutes of BCS-FACS 2003 AGM
|
Paul Boca |
Thu, 22 Apr 2004 13:57:24 +0100 |
34 lines |
ICSE 2004 announcement
|
Jonathan Bowen |
Thu, 22 Apr 2004 00:05:55 +0100 |
178 lines |
Draft Minutes of BCS-FACS 2003 AGM
|
Roger Carsley |
Wed, 21 Apr 2004 18:06:48 +0100 |
233 lines |
Re: BCS-FACS AGM Announcement
|
Jonathan Bowen |
Mon, 19 Apr 2004 22:54:12 +0100 |
93 lines |
ICFEM2004 - Call for Papers, Workshops, Tutorials
|
Jonathan Bowen |
Sun, 21 Mar 2004 12:24:08 -0000 |
155 lines |
Re: R-Day 2004: 31st March 2004
|
Ali E. Abdallah |
Thu, 18 Mar 2004 09:50:10 +0000 |
81 lines |
The century's grand challenge for computing research - today!
|
Jonathan Bowen |
Thu, 18 Mar 2004 09:12:41 -0000 |
32 lines |
Fw: Last Call for Workshops: SEFM 2004 (Beijing)
|
Jonathan Bowen |
Tue, 9 Mar 2004 01:37:42 -0000 |
74 lines |
Re: Logics of Formal Software Specification Languages: A PhD Summer School
|
Jonathan Bowen |
Sun, 7 Mar 2004 14:50:42 -0000 |
39 lines |
Re: Logics of Formal Software Specification Languages: A PhD Summer School
|
Willem-Paul de Roever |
Mon, 1 Mar 2004 12:25:10 +0100 |
20 lines |
***** Issue2004-1 of FACS Newsletter *****
|
Paul Boca |
Mon, 1 Mar 2004 00:31:09 -0000 |
11903 lines |
Logics of Formal Software Specification Languages: A PhD Summer School
|
Dines Bjorner |
Thu, 26 Feb 2004 11:44:10 +0100 |
157 lines |
BCS-FACS AGM Announcement
|
Jonathan Bowen |
Tue, 24 Feb 2004 12:08:07 -0000 |
63 lines |
Fw: ARTS 2004 workshop
|
Jonathan Bowen |
Sat, 14 Feb 2004 20:51:53 -0000 |
138 lines |
CFP: 6th AMAST Workshop on Real-Time Systems
|
Paul Boca |
Sat, 14 Feb 2004 14:37:23 -0000 |
120 lines |
Chair in Computer Science (Theory)
|
Mike Stannett |
Fri, 13 Feb 2004 17:41:55 -0000 |
55 lines |
*** MPC 2004: Submission deadline extended to 6 February, 2004 ***
|
Paul Boca |
Sat, 31 Jan 2004 08:55:13 -0000 |
20 lines |
Formal methods research studentships available at London South Bank University
|
Jonathan Bowen |
Sun, 25 Jan 2004 20:10:40 -0000 |
115 lines |
Call for participation - IFM2004
|
Jonathan Bowen |
Sun, 25 Jan 2004 16:16:50 -0000 |
199 lines |
BCS Advanced Programming talk 15th Jan
|
Judith Carlton |
Mon, 12 Jan 2004 11:17:34 -0000 |
37 lines |
AMAST 2004: EXTENDED DEADLINE
|
Carron Shankland |
Tue, 6 Jan 2004 16:58:25 +0000 |
185 lines |