JISCMail - FACS Archives

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

FACS Archives

2003

View:

Show Author | Hide Author

		LISTSERV Archives
		FACS Home

Options

Subscribe or Unsubscribe

Get Password

Subject	From	Date	Size
CFP--MFCSIT'2004	Seda, Tony	Sat, 6 Dec 2003 21:57:52 -0000	114 lines
FACS Newsletter - Call for Contributions.	Paul Boca (On behalf of Kevin Lano)	Fri, 28 Nov 2003 14:03:43 +0000	17 lines
Teaching Formal Methods: Practice and Experience Workshop, Oxford, UK, 12 December 2003 - REGISTRATION OPEN	David Duce	Thu, 13 Nov 2003 12:25:44 +0000	74 lines
PD "hands-on" tutorial - Imperial College Dec 8th	Judith Carlton	Thu, 13 Nov 2003 11:27:19 -0000	46 lines
Research Seminar, Monday 17 November	Ali E. Abdallah	Wed, 12 Nov 2003 07:41:29 +0000	46 lines
LNCS Proceedings of "Formal Aspects of Security"	Ali E. Abdallah	Tue, 4 Nov 2003 19:45:13 +0000	77 lines
***** Free access to 6th International Workshop on Formal Methods proceedings	Paul Boca	Thu, 30 Oct 2003 11:19:15 +0100	26 lines
Re: FORTEST workshop, LSBU, Friday 24 October 2003	Jonathan Bowen	Wed, 22 Oct 2003 22:59:49 +0100	773 lines
FORTEST workshop, LSBU, Friday 24 October 2003	Jonathan Bowen	Wed, 22 Oct 2003 09:38:03 +0100	28 lines
FORTEST Workshop, LSBU, 24 October 2003 [update]	Jonathan Bowen	Wed, 22 Oct 2003 00:41:00 +0100	707 lines
FORTEST Workshop, London South Bank University, 24 October 2003	Jonathan Bowen	Sun, 19 Oct 2003 22:57:23 +0100	615 lines
Teaching Formal Methods: Practice and Experience Workshop, Oxford, UK, 12 December 2003 - REMINDER	David Duce	Mon, 13 Oct 2003 10:39:35 +0100	99 lines
Relating individual behaviour to population dynamics: Call for participation	Carron Shankland	Fri, 10 Oct 2003 11:27:19 +0100	100 lines
AMAST 2004: Call for Papers	Carron Shankland	Thu, 4 Sep 2003 10:41:26 +0100	175 lines
call for participation: SEFM 2003	Carron Shankland	Tue, 19 Aug 2003 17:03:19 +0100	335 lines
Re: July Issue of Newsletter	Jonathan Bowen	Thu, 7 Aug 2003 11:01:46 +0100	13566 lines
July Issue of Newsletter	kcl	Wed, 6 Aug 2003 09:27:57 +0100	7344 lines
Teaching Formal Methods: Practice and Experience Workshop, Oxford, UK, 12 December 2003	Jonathan Bowen	Wed, 23 Jul 2003 19:38:48 +0100	102 lines
Call for partipation: Teaching Formal Methods 12 December 2003	David Duce	Tue, 22 Jul 2003 10:10:04 +0100	96 lines
* CFP: International Workshop on Constraint & Logic Programming in Security *	Paul Boca	Fri, 18 Jul 2003 13:54:08 +0100	114 lines
Call for Participation: Model-based Testing of Reactive Systems	Paul Boca	Mon, 14 Jul 2003 11:09:52 +0200	141 lines
Announcement: AMAST 2004 (Stirling, July 2004)	Carron Shankland	Wed, 2 Jul 2003 14:41:15 +0100	138 lines
Last call for submissions for the FACS Newsletter	Jonathan Bowen	Mon, 23 Jun 2003 16:50:19 +0100	35 lines
Re: suggestion: FACS sponsorship at AMAST 2004 [and IFM 2004!]	Greg Michaelson	Mon, 23 Jun 2003 15:01:20 +0100	38 lines
Re: suggestion: FACS sponsorship at AMAST 2004 [and IFM 2004!]	Siddiqi, Jawed	Mon, 23 Jun 2003 14:45:39 +0100	59 lines
Call for papers: IFL03/ISTFP03	Greg Michaelson	Mon, 23 Jun 2003 09:21:43 +0100	247 lines
Re: suggestion: FACS sponsorship at AMAST 2004 [and IFM 2004!]	Paul Boca	Fri, 20 Jun 2003 15:30:53 +0200	35 lines
Re: suggestion: FACS sponsorship at AMAST 2004 [and IFM 2004!]	Jonathan Bowen	Fri, 20 Jun 2003 14:07:15 +0100	122 lines
Monday: Another Talk at SBU- Private Authentication	Ali E. Abdallah	Thu, 15 May 2003 13:51:01 +0100	50 lines
Talk at South Bank University: Model checking Synchronous Programs using DCVALID	Jonathan Bowen	Thu, 15 May 2003 11:52:41 +0100	88 lines
BCS-FACS Newsletter	Kevin Lano	Sat, 3 May 2003 08:51:42 +0100	22 lines
(please forward) Positions in Formal Methods	Willem-Paul de Roever	Fri, 2 May 2003 13:51:13 +0200	68 lines
FORMAL VERSUS REAL-WORLD METHODS IN SOFTWARE ENGINEERING, Guildford, 22 May 2003	Jonathan Bowen	Sun, 27 Apr 2003 13:42:34 +0100	64 lines
reliable software seminar - 20th May 2003	Judith Carlton	Wed, 23 Apr 2003 18:22:13 +0100	18 lines
*** Talk by Prof. Tony Hoare, 1st May ***	Paul Boca	Wed, 23 Apr 2003 16:53:51 +0200	43 lines
Call for Participation: ZB2003 - 3rd International Conference of B and Z Users, 3-6 June 2003	Jonathan Bowen	Fri, 4 Apr 2003 16:37:21 +0100	68 lines
Lectureships in Computer Science	José Luiz Fiadeiro	Wed, 19 Mar 2003 10:11:21 +0000	160 lines
UNU/IIST is seeking a Research Fellow	Chris George	Mon, 17 Mar 2003 14:09:30 +0800	73 lines
*** 2-week extension of AMiLP-3 submission deadline ***	Paul Boca	Sat, 15 Mar 2003 16:13:40 -0000	126 lines
BCS-FACS AGM reminder	Jonathan Bowen	Tue, 11 Mar 2003 14:18:01 -0000	57 lines
BCS-FACS AGM Announcement	Jonathan Bowen	Sun, 23 Feb 2003 23:15:51 -0000	54 lines
CFP: Third AMAST Workshop on Algebraic Methods in Language Processing	Paul Boca	Thu, 20 Feb 2003 15:19:50 -0000	124 lines
Re: FACS AGM + Call for Workshops at FM2003	Jonathan Bowen	Mon, 3 Feb 2003 12:07:39 -0000	53 lines
symposium in honour of Professor Richard Bird's 60th Birthday	Paul Boca	Mon, 20 Jan 2003 13:23:09 +0000	72 lines
FACS AGM + Call for Workshops at FM2003	Jonathan Bowen	Fri, 10 Jan 2003 21:47:51 -0000	841 lines