JISCMail - FMNET Archives

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

FMNET Archives

2004

View:

Show Author | Hide Author
Show Table of Contents | Hide Table of Contents

		LISTSERV Archives
		FMNET Home

Options

Subscribe or Unsubscribe

Get Password

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