JISCMail - FACS Archives

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

FACS Archives

2005

View:

Show Author | Hide Author

		LISTSERV Archives
		FACS Home

Options

Subscribe or Unsubscribe

Get Password

Subject	From	Date	Size
Issue 2005-4 of FACS FACTS available to download	Paul Boca	Sat, 31 Dec 2005 13:43:27 -0000	23 lines
Re: BCS-FACS / FME Evening Seminar: Formal Methods in the Last 25 Years, 30 January 2006, 5.30pm, BCS Offices, London	Blackwell C	Thu, 22 Dec 2005 18:05:34 -0000	451 lines
BCS-FACS / FME Evening Seminar: Formal Methods in the Last 25 Years, 30 January 2006, 5.30pm, BCS Offices, London	Paul Boca	Thu, 22 Dec 2005 17:10:48 -0000	112 lines
FACS Evening Seminars -- slides available to download	[log in to unmask]	Fri, 16 Dec 2005 12:13:18 +0000	26 lines
[Registration deadline extended]FACS/FORTEST Christmas Meeting: Formal Methods and Testing, 19 December, London	[log in to unmask]	Tue, 13 Dec 2005 16:25:13 +0000	244 lines
CFP: International Conference on Formal Engineering Methods (ICFEM06)	Chris George	Fri, 9 Dec 2005 12:16:31 +0800	149 lines
CFP: International Colloquium on Theoretical Aspects of Computing (ICTAC06)	Chris George	Fri, 9 Dec 2005 10:37:27 +0800	116 lines
BCSF-FACS / FORTEST Christmas Meeting: Formal Methods and Testing [UPDATED ANNOUNCEMENT]	Paul Boca	Thu, 8 Dec 2005 08:08:46 -0000	263 lines
REMINDER:BCS-FACS Evening Seminar by Richard Bornat on Separation Logic, 8 December 2005, 6pm, London	Paul Boca	Wed, 30 Nov 2005 21:56:08 -0000	112 lines
FACS/FORTEST Christmas meeting	Rob Hierons	Thu, 24 Nov 2005 17:14:23 -0000	215 lines
Re: BCS-FACS Evening Seminar by Richard Bornat on Separation Logic: 8 December 2005, 6pm, London	Blackwell C	Fri, 18 Nov 2005 12:16:57 -0000	254 lines
BCS-FACS Evening Seminars: speakers' slides	[log in to unmask]	Thu, 17 Nov 2005 17:56:38 +0000	19 lines
BCS-FACS Evening Seminar by Richard Bornat on Separation Logic: 8 December 2005, 6pm, London	[log in to unmask]	Thu, 17 Nov 2005 12:08:42 +0000	111 lines
CFP: European Conference on Logics in AI [JELIA'06]	Michael Fisher	Wed, 16 Nov 2005 08:19:48 +0000	58 lines
Re: FACS FACTS Newsletter Call for Contributions on Formal Aspect s of Computing Science (deadline 14 November 2005)	Seda, Tony	Tue, 15 Nov 2005 08:38:04 -0000	257 lines
Seminar at London South Bank University on 8 November: "Nominal Algebraic Specifications"	Jonathan Bowen	Sat, 5 Nov 2005 17:36:23 -0000	88 lines
REMINDER: BCS-FACS Evening Seminar by Prof. Martin Henson, 8 November 2005, 5.45pm, London	[log in to unmask]	Fri, 28 Oct 2005 10:48:47 +0000	76 lines
Ralph-Johan Back: 2 Nov Distinguished Lecturer Seminar at QMUL	Paul Curzon	Mon, 24 Oct 2005 09:32:31 +0100	65 lines
FW: SIGLaC meeting (LEEDS UNIVERSITY)	Margaret West	Sun, 23 Oct 2005 12:02:38 +0100	84 lines
Re: Seminar in London on 31 October: "Controlling Discrete Systems by Playing Angel-Demon Games"	Jonathan Bowen	Sun, 23 Oct 2005 00:59:09 +0100	63 lines
Seminar in London on 29 October: "Controlling Discrete Systems by Playing Angel-Demon Games"	Jonathan Bowen	Sat, 22 Oct 2005 23:19:18 +0100	101 lines
RA/PhD positions at Leicester	José Luiz Fiadeiro	Fri, 21 Oct 2005 18:51:50 +0100	79 lines
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 14 November 2005)	Paul Boca	Sun, 9 Oct 2005 23:49:23 +0100	61 lines
FACS/FORTEST Christmas meeting - call for presentations	Rob Hierons	Wed, 5 Oct 2005 14:04:07 +0100	45 lines
BCS-FACS Evening Seminar by Prof. Martin Henson, 8 November 2005, 5.45pm, London	Paul Boca	Tue, 4 Oct 2005 16:59:26 +0100	75 lines
Issue 2005-03 of FACS Newsletter -- available to download	Paul Boca	Sun, 2 Oct 2005 22:44:02 +0100	34 lines
Second call for papers: Refinement workshop at ICFEM 2005	[log in to unmask]	Tue, 27 Sep 2005 13:21:06 +0000	130 lines
call for doctoral symposium IFM2005	[log in to unmask]	Fri, 23 Sep 2005 15:36:41 +0000	77 lines
BCS-FACS sponsorship for student attendance at SEEFM 2005 - last call!	Jonathan Bowen	Fri, 16 Sep 2005 18:18:54 +0100	28 lines
Joint Theory Seminar: 21st Sep, Alex Ahern (fwd)	Roger Carsley	Thu, 15 Sep 2005 14:38:33 +0100	64 lines
Final Call for Papers: UTP06 - 1st International Symposium on Unifying Theories of Programming	Jonathan Bowen	Wed, 14 Sep 2005 13:01:24 +0100	120 lines
REMINDER: BCS-FACS/BCSWomen Evening Seminar by Prof. Muffy Calder, 21 September 2005, London	Paul Boca	Wed, 31 Aug 2005 21:45:47 +0100	71 lines
UTP'06 Final CFP	Steve Dunne	Wed, 31 Aug 2005 00:12:51 +0100	128 lines
My retirement	Margaret West	Tue, 30 Aug 2005 16:01:34 +0100	27 lines
First call for papers: Refinement workshop at ICFEM 2005	Paul Boca	Mon, 22 Aug 2005 21:30:29 +0100	531 lines
Lectureship in Computing, University of Surrey	S.Schneider	Fri, 5 Aug 2005 06:38:10 +0100	484 lines
BCS-FACS Evening Seminar by Prof. Muffy Calder, 21 September, London	Paul Boca	Thu, 4 Aug 2005 14:00:03 +0100	68 lines
Call for Submissions: FACS FACTS Issue 2005-3	[log in to unmask]	Wed, 3 Aug 2005 11:14:04 +0000	65 lines
Call for papers: First International Symposium on Unifying Theories of Programming, UK, 5-7 February 2006	Jonathan Bowen	Wed, 13 Jul 2005 09:36:55 +0100	109 lines
Industry Day @ FM05 -- final programme available	[log in to unmask]	Fri, 1 Jul 2005 16:07:41 +0000	49 lines
Issue 2005-2 of FACS Newsletter -- available to download	[log in to unmask]	Fri, 1 Jul 2005 10:06:51 +0000	37 lines
* BCS-FACS Evening Seminar by Prof. Dines Bjørner, 2 5 July 2005, London *	Paul Boca	Mon, 27 Jun 2005 01:20:01 +0100	71 lines
Research Scholarships at London South Bank University, UK (including Formal Methods)	Jonathan Bowen	Mon, 27 Jun 2005 00:25:42 +0100	74 lines
Lectureships at Leicester	José Luiz Fiadeiro	Mon, 13 Jun 2005 18:58:33 +0100	71 lines
Swansea Algebraic Specification Seminar: Categorical structures for system modelling	Markus Roggenbach	Fri, 10 Jun 2005 13:39:47 +0100	64 lines
CfP: 3rd APPSEM II Workshop on Applied Semantics	Hans-Wolfgang Loidl	Thu, 2 Jun 2005 11:53:18 +0200	152 lines
Call For Participation: "Agents in Space" Symposium [20/07/05]	Michael Fisher	Tue, 31 May 2005 22:02:17 +0100	80 lines
SEEFM05: 2nd Call for Papers	Paul Boca	Mon, 30 May 2005 18:03:57 +0100	175 lines
ICFEM 2005 * Call for Workshops and Tutorials * IC Formal Engineering Methods *	Mike Poppleton	Wed, 25 May 2005 21:21:49 +0100	90 lines
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 13 MAY 2005)	Paul Boca	Wed, 4 May 2005 21:47:59 +0100	57 lines
TFP '05 First CFP	Greg Michaelson	Mon, 2 May 2005 10:22:15 +0100	195 lines
Journal Announcement: Innovations in Systems and Software Engineering	Jonathan Bowen	Tue, 26 Apr 2005 14:31:50 +0100	53 lines
Call for submissions: Grand Challenge 6 Workshop on Dependable Systems Evolution, 18 July 2005	Jonathan Bowen	Tue, 26 Apr 2005 12:00:00 +0100	86 lines
REMINDER: BCS-FACS AGM Announcement and formal methods talk by Steve Reeves	Paul Boca	Sun, 10 Apr 2005 23:04:49 +0100	90 lines
Re: Issue 2005-1 of FACS FACTS available to download	Margaret West	Tue, 5 Apr 2005 12:31:49 +0100	28 lines
SEEFM05 Call for Papers	George Eleftherakis, MBCS	Thu, 31 Mar 2005 10:31:13 +0100	187 lines
Issue 2005-1 of FACS FACTS available to download	Paul Boca	Thu, 24 Mar 2005 02:20:47 -0000	37 lines
BCS-FACS AGM Announcement and talk by Steve Reeves	Jonathan Bowen	Sat, 19 Mar 2005 10:34:00 -0000	240 lines
Opening for Chair in Formal Methods at Southampton, UK	Michael Butler	Fri, 18 Mar 2005 13:12:15 -0000	57 lines
RROM CHANGE - Mathematical Aspects of Computation - Wed 16 March	Margaret West	Wed, 16 Mar 2005 10:14:04 -0000	99 lines
Call for Papers: Formal Methods Letters (FML)	[log in to unmask]	Mon, 14 Mar 2005 14:12:58 +0000	83 lines
Mathematical Aspects of Computation - Wed 16 March	Mike Stannett	Fri, 11 Mar 2005 17:23:32 -0000	84 lines
ZB2005: Call for tools demonstrations	James Heather	Mon, 7 Mar 2005 23:05:33 -0000	32 lines
Professor/Reader and lecturer in Computing at Surrey	S.Schneider	Fri, 4 Mar 2005 11:49:20 -0000	359 lines
Request for C code from formal methods projects	Jonathan Bowen	Thu, 24 Feb 2005 23:27:59 -0000	39 lines
ZB 2005 - second call for posters	H.Treharne	Mon, 7 Feb 2005 16:14:26 -0000	162 lines
TRain: The Railway Domain - formal specification and verification	Jonathan Bowen	Fri, 4 Feb 2005 12:52:15 -0000	136 lines
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005)	Paul Boca	Sun, 30 Jan 2005 14:57:59 -0000	69 lines
Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)	Jonathan Bowen	Fri, 21 Jan 2005 15:45:06 -0000	130 lines
ZB2005 call for participation	S.Schneider	Fri, 21 Jan 2005 14:28:53 -0000	408 lines
Call for papers: Workshop on Rigorous Engineering of Fault-Tolerant Systems, July 19, 2005, UK	Paul Boca	Wed, 19 Jan 2005 22:11:17 -0000	106 lines
Understanding the wider system before choosing the program specification, Prof. Cliff Jones, KCL, 19 January 2005	Jonathan Bowen	Tue, 18 Jan 2005 14:29:48 -0000	102 lines
Student and Young Professionals BCS meeting, London, 20 January 2005	Jonathan Bowen	Thu, 13 Jan 2005 20:15:57 -0000	507 lines
Reminder: Talk on "Communicating Mobile Processes", 13 January, London	[log in to unmask]	Wed, 12 Jan 2005 11:16:59 +0000	24 lines
ZB2005 Call for Posters	S.Schneider	Fri, 7 Jan 2005 15:28:44 -0000	456 lines
Lectureships / Senior Lectureships at Southampton, UK	Michael Butler	Tue, 4 Jan 2005 13:23:11 -0000	33 lines