JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for FACS Archives


FACS Archives

FACS Archives


2004


View:

Show Author | Hide Author

LISTSERV Archives

LISTSERV Archives

FACS Home

FACS Home

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject

From

Date Sorted by Date, Most Recent First

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

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

March 2024
February 2024
January 2024
December 2023
November 2023
October 2023
September 2023
August 2023
July 2023
June 2023
May 2023
April 2023
March 2023
February 2023
January 2023
December 2022
November 2022
October 2022
September 2022
August 2022
July 2022
June 2022
May 2022
April 2022
March 2022
February 2022
January 2022
December 2021
November 2021
October 2021
September 2021
August 2021
July 2021
June 2021
May 2021
April 2021
March 2021
February 2021
January 2021
December 2020
November 2020
October 2020
September 2020
August 2020
July 2020
June 2020
May 2020
April 2020
March 2020
February 2020
January 2020
December 2019
November 2019
October 2019
September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
December 2015
November 2015
September 2015
August 2015
July 2015
March 2015
January 2015
December 2014
November 2014
September 2014
August 2014
July 2014
June 2014
May 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
June 2013
January 2013
November 2012
October 2012
September 2012
July 2012
June 2012
May 2012
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
June 2009
May 2009
April 2009
March 2009
February 2009
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

For help and support help@jisc.ac.uk

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager