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

Help for FMNET Archives


FMNET Archives

FMNET Archives


2006


View:

Show Author | Hide Author

LISTSERV Archives

LISTSERV Archives

FMNET Home

FMNET Home

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject

From

Date Sorted by Date, Chronologically

Size

Issue 2005-4 of FACS FACTS Available to download

Paul Boca <[log in to unmask]>

Tue, 3 Jan 2006 02:51:35 -0000

25 lines

Call for Papers: ZUM 2006, 16th Z User Meeting, Columbia, MD, USA, April 2006

Jonathan Bowen <[log in to unmask]>

Wed, 4 Jan 2006 16:33:32 -0000

142 lines

2nd Call for Papers: ZUM 2006, 16th Z User Meeting, Columbia, MD, USA, April 2006

Jonathan Bowen <[log in to unmask]>

Sat, 14 Jan 2006 23:12:21 -0000

137 lines

REMINDER -- FACS/FME Seminar: Formal Methods in the Last 25 Years, 30 January, 5.30pm, London

Paul Boca <[log in to unmask]>

Mon, 16 Jan 2006 08:57:50 -0000

119 lines

Vacancies for Research Fellows

Chris George <[log in to unmask]>

Tue, 17 Jan 2006 15:10:30 +0800

15 lines

CFP: International Colloquium on Theoretical Aspects of Computing (ICTAC06)

Chris George <[log in to unmask]>

Wed, 18 Jan 2006 18:10:19 +0800

36 lines

Re: 2nd Call for Papers: ZUM 2006, 16th Z User Meeting, Columbia, MD, USA, April 2006

Jonathan Bowen <[log in to unmask]>

Tue, 24 Jan 2006 18:06:12 -0000

141 lines

BCS-FACS Evening Seminar by Peter Mosses, 3 March 2006, BCS Offices, London

Paul Boca <[log in to unmask]>

Tue, 7 Feb 2006 23:39:32 -0000

93 lines

FACS FACTS Issue 2006-1: Submissions welcome

[log in to unmask] <[log in to unmask]>

Wed, 8 Feb 2006 14:19:35 +0000

67 lines

FACS FACTS Issue 2006-1: Submissions welcome!

[log in to unmask] <[log in to unmask]>

Wed, 8 Feb 2006 13:55:17 +0000

66 lines

Call for papers: FATES/RV'06

Klaus Havelund <[log in to unmask]>

Wed, 15 Feb 2006 02:56:05 +0000

223 lines

Second call for papers: REMO2V workshop at CAISE06

Regine Laleau <[log in to unmask]>

Tue, 21 Feb 2006 08:27:24 +0000

109 lines

REMO2V - Extended submission deadline: March 10, 2006

Regine Laleau <[log in to unmask]>

Tue, 28 Feb 2006 16:26:33 +0000

20 lines

Call for papers for B 2007 conference

Jacques Julliand <[log in to unmask]>

Fri, 3 Mar 2006 14:37:41 +0100

2607 lines

Call for tutorials: ICTAC 06

Chris George <[log in to unmask]>

Tue, 14 Mar 2006 13:09:17 +0800

151 lines

BCS-FACS/FME Evening Seminar by Cliff Jones, 24 April 2006, 5.45pm, London

Paul P Boca <[log in to unmask]>

Mon, 27 Mar 2006 00:30:01 +0100

89 lines

Call for papers: FATES/RV'06 - changed submission deadline

Klaus Havelund <[log in to unmask]>

Tue, 28 Mar 2006 11:22:32 -0800

225 lines

ICFEM 2006: 2nd Call for Contributions

Chris George <[log in to unmask]>

Wed, 29 Mar 2006 16:55:04 +0800

173 lines

Issue 2006-1 of FACS Newsletter available to download

[log in to unmask] <[log in to unmask]>

Wed, 5 Apr 2006 11:42:44 +0000

41 lines

2nd Tarot Summer School Summer School on testing

Manuel Núñez García <[log in to unmask]>

Tue, 11 Apr 2006 20:44:07 +0200

199 lines

REMINDER: FACS/FME Evening Seminar by Cliff Jones, 24 April, 5.45pm, London

[log in to unmask] <[log in to unmask]>

Wed, 12 Apr 2006 12:55:30 +0000

68 lines

ICTAC 2006: Final call for papers

Chris George <[log in to unmask]>

Wed, 26 Apr 2006 15:38:52 +0800

191 lines

Call for participation: REMO2V workshop at CAISE06

Regine Laleau <[log in to unmask]>

Tue, 2 May 2006 12:52:57 +0200

2725 lines

ICFEM 2006: final call for contributions and extended deadline

Chris George <[log in to unmask]>

Thu, 4 May 2006 15:01:39 +0800

185 lines

*** FACS Evening Seminar by Professor Tom Maibaum, 7 June 2006, 6pm, BCS Offices, London

Paul P Boca <[log in to unmask]>

Thu, 11 May 2006 17:15:02 +0100

68 lines

Final Call for Papers: FATES/RV'06

Klaus Havelund <[log in to unmask]>

Thu, 18 May 2006 01:00:58 -0700

331 lines

FATES/RV'06 - Deadline extension: May 31

Klaus Havelund <[log in to unmask]>

Fri, 19 May 2006 17:36:00 -0700

265 lines

REMINDER: FACS Evening Seminar by Professor Tom Maibaum, 7 June, 6pm, BCS London Offices, Covent Garden

Paul P Boca <[log in to unmask]>

Wed, 24 May 2006 17:50:03 +0100

68 lines

ICTAC 2006: Final call for tutorials

Chris George <[log in to unmask]>

Thu, 25 May 2006 13:04:51 +0800

153 lines

1st Asian Working Conference on Verified Software

Chris George <[log in to unmask]>

Thu, 25 May 2006 17:38:37 +0800

120 lines

BCS-FACS Evening Seminar by Anthony Hall, 21 June 2006, BCS London Offices

Paul P Boca <[log in to unmask]>

Tue, 30 May 2006 23:25:00 +0100

77 lines

Call for Papers: 3rd Intl Workshop on Software Quality Assurance (SOQUA 2006)

Ilinca Ciupa <[log in to unmask]>

Thu, 1 Jun 2006 10:29:40 +0200

155 lines

Call for papers for B 2007 conference

Jacques Julliand <[log in to unmask]>

Thu, 8 Jun 2006 16:59:00 +0200

2606 lines

REMINDER: FACS Seminar by Anthony Hall, 21 June 2006, 5.45pm, London: Realising the Benefits of Formal Methods

Paul P Boca <[log in to unmask]>

Wed, 14 Jun 2006 21:55:44 +0100

70 lines

Tests And Proofs (TAP) CFP -- February 2007, Zurich

Ilinca Ciupa <[log in to unmask]>

Fri, 23 Jun 2006 10:37:45 +0200

114 lines

Call for Workshop Proposals -- Tests And Proofs (TAP), February 2007, Zurich

Ilinca Ciupa <[log in to unmask]>

Thu, 29 Jun 2006 11:17:49 +0200

142 lines

Extended deadline for B 2007 conference

Jacques Julliand <[log in to unmask]>

Mon, 3 Jul 2006 12:22:56 +0200

2611 lines

ICFEM 2006 CALL FOR PARTICIPATION

Chris George <[log in to unmask]>

Wed, 2 Aug 2006 10:20:48 +0800

151 lines

CfP: MODEL-BASED TESTING AND OBJECT-ORIENTED SYSTEMS (M-TOOS)

Wolfgang Grieskamp <[log in to unmask]>

Wed, 9 Aug 2006 11:20:38 -0700

105 lines

CZT seminar + workshop at York University, 24 August

Mark Utting <[log in to unmask]>

Sat, 12 Aug 2006 10:15:11 +1200

51 lines

BCS-FACS Evening Seminar by Prof. Peter Ryan, 4 September 2006, 6pm, London: The Computer Ate My Vote

Paul P Boca <[log in to unmask]>

Mon, 14 Aug 2006 06:59:55 +0100

72 lines

Grand Challenges of Informatics Symposium, Budapest, Hungary, 19-20 September 2006 - scholarships available

Jonathan Bowen <[log in to unmask]>

Sat, 19 Aug 2006 10:49:58 +0100

2804 lines

Lipari Summer School 2007

Jonathan Bowen <[log in to unmask]>

Mon, 28 Aug 2006 08:43:13 +0100

993 lines

REMINDER: BCS-FACS Evening Seminar by Prof. Peter Ryan, 4 September, 6pm, London: The Computer Ate My Vote

[log in to unmask] <[log in to unmask]>

Mon, 28 Aug 2006 15:00:37 +0000

69 lines

Online Video of "Grand Challenges in Informatics - Tue, and Wedn. Sept. 19-20 all day 9am-5:30 pm (CEST)

Paul P Boca <[log in to unmask]>

Mon, 11 Sep 2006 23:50:50 +0100

668 lines

REMINDER:Online Video of "Grand Challenges in Informatics - Tue, and Wedn. Sept. 19-20 all day 9am-5:30 pm (CEST)

Paul P Boca <[log in to unmask]>

Mon, 18 Sep 2006 22:34:32 +0100

666 lines

BCS FACS Christmas Meeting, Teaching Formal Methods, 15 December 2006; papers deadline 20 October 2006

[log in to unmask] <[log in to unmask]>

Mon, 9 Oct 2006 11:18:02 +0000

132 lines

BCS-FACS/BCS Women Seminar by Prof. Ursula Martin, 9 November, 5.45pm, BCS Offices, London

Paul P Boca <[log in to unmask]>

Wed, 11 Oct 2006 13:49:01 +0100

89 lines

Call for Papers: TASE 2007 - 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering

Jonathan Bowen <[log in to unmask]>

Thu, 12 Oct 2006 12:19:00 +0100

167 lines

BCS FACS Christmas Meeting, Teaching Formal Methods, 15 December 2006; extended deadline: 30 October 2006

[log in to unmask] <[log in to unmask]>

Wed, 25 Oct 2006 13:38:17 +0000

169 lines

1-day workshop: Models of Concurrency and Open Computing, 24 November, 2006, London

[log in to unmask] <[log in to unmask]>

Wed, 25 Oct 2006 14:08:54 +0000

1940 lines

1-day workshop: Models of Concurrency and Open Computing, 24 November, 2006, London (error in original URL)

Paul P Boca <[log in to unmask]>

Mon, 30 Oct 2006 20:43:16 +0000

2047 lines

TASE 2007: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering

Huibiao Zhu <[log in to unmask]>

Sat, 4 Nov 2006 15:44:44 +0800

312 lines

Program B 2007

Jacques Julliand <[log in to unmask]>

Mon, 6 Nov 2006 16:20:15 +0100

459 lines

CfP, Philosophy of computer science

Jonathan Bowen <[log in to unmask]>

Mon, 6 Nov 2006 19:57:51 -0000

271 lines

REMINDER: FACS/BCSWomen Seminar by Ursula Martin, 9 November, 5,45pm, London: Design verification for control engineering

Paul P Boca <[log in to unmask]>

Tue, 7 Nov 2006 13:15:39 +0000

88 lines

ICECCS 2007: Call for Papers

Jing Sun <[log in to unmask]>

Wed, 15 Nov 2006 10:13:17 +1300

214 lines

TAP workshop -- submission is still available

Lisa(Ling) Liu <[log in to unmask]>

Wed, 15 Nov 2006 01:54:26 +0100

22 lines

TAP workshop -- submission is still available

Lisa(Ling) Liu <[log in to unmask]>

Wed, 15 Nov 2006 01:56:00 +0100

22 lines

The International Event for Testing of Software and Communiction Systems (TESTCOM/FATES 2007): Call for Papers/Tutorials/Workshops

Wolfgang Grieskamp <[log in to unmask]>

Wed, 15 Nov 2006 01:10:48 -0800

265 lines

1-day workshop: Models of Concurrency and Open Computing, 24 November, 2006, London == Registration Deadline Approaching

Paul P Boca <[log in to unmask]>

Wed, 15 Nov 2006 10:38:14 +0000

112 lines

TFM06: BCS-FACS Christmas Meeting on Teaching Formal Methods == Registration open, programme now available

Paul P Boca <[log in to unmask]>

Wed, 22 Nov 2006 14:34:39 +0000

1831 lines

CfP OpenCert 2007 (ETAPS Workshop)

Bernhard K. Aichernig <[log in to unmask]>

Fri, 24 Nov 2006 23:36:16 +0100

142 lines

Registration B 2007

Jacques Julliand <[log in to unmask]>

Fri, 1 Dec 2006 12:07:31 +0100

472 lines

TFM06: BCS-FACS Christmas Meeting on Teaching Formal Methods == Registration open, Registration Deadline Approaching [8 December]

Paul Boca <[log in to unmask]>

Wed, 6 Dec 2006 12:51:16 +0000

58 lines

Call for Papers: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering

Huibiao Zhu <[log in to unmask]>

Wed, 20 Dec 2006 14:54:02 +0800

1523 lines

TASE 2007: The submission deadline is extended to 28 January, 2007.

Huibiao Zhu <[log in to unmask]>

Fri, 29 Dec 2006 17:46:19 +0800

1461 lines

TASE 2007: The submission deadline is extended to 28 January, 2007

Jing Li <[log in to unmask]>

Fri, 29 Dec 2006 13:32:17 +0000

290 lines

JISCMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
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


WWW.JISCMAIL.AC.UK

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