JISCMail - PROCOS Archives

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

PROCOS Archives

2002

View:

Show Author | Hide Author

		LISTSERV Archives
		PROCOS Home

Options

Subscribe or Unsubscribe

Get Password

Subject	From	Date	Size
Academic posts at De Montfort University, England (including formal methods)	Jonathan Bowen	Tue, 3 Dec 2002 02:24:05 -0000	65 lines
IEEE/ACM MEMOCODE'03: Call for papers	Miroslav Velev	Wed, 27 Nov 2002 06:21:15 +0000	107 lines
Call for Participation: BCS-FACS Formal Aspects of Security (FASec), Royal Holloway, London, UK, 18-20 December 2002	Jonathan Bowen	Sun, 24 Nov 2002 19:18:25 -0000	150 lines
BCS-FACS FASec'02 preliminary programme and call for participation	Ali Abdallah	Fri, 22 Nov 2002 16:40:04 +0000	150 lines
Reminder: Deadline for ZB2003 Call for Papers (22 Nov 2002)	Jonathan Bowen	Fri, 22 Nov 2002 01:14:25 -0000	334 lines
Fw: Assistant Professorship in Hybrid Systems	Jonathan Bowen	Wed, 13 Nov 2002 13:01:37 -0000	82 lines
CFP: ICFEM 2003 - 5th International Conference on Formal Engineering Methods, Singapore, 5-7 November 2003	Jonathan Bowen	Sun, 10 Nov 2002 13:30:02 -0000	116 lines
A Tribute to the Late Edsger Dijkstra, London, UK, 14 November 2002	Jonathan Bowen	Wed, 6 Nov 2002 22:00:45 -0000	42 lines
CFP: FMPPTA'2003 (extended deadline)	Michel Charpentier	Wed, 6 Nov 2002 11:23:02 -0500	103 lines
Call for Participation: BCS-FACS FASec - Formal Aspects of Security, Royal Holloway, UK, 18-20 December 2002	Jonathan Bowen	Tue, 5 Nov 2002 12:16:41 -0000	157 lines
Using Formal Models to Understand Requirements Better	Ali Abdallah	Mon, 21 Oct 2002 18:46:32 +0000	218 lines
2nd CFP: BCS-FACS Formal Aspects of Security (FASec), Royal Holloway, UK, 19-20 December 2002	Jonathan Bowen	Tue, 15 Oct 2002 17:32:53 +0100	169 lines
TACAS 2003: Paper Submission Deadline approaches	etaps02 VERIMAG	Fri, 4 Oct 2002 21:19:24 +0200	226 lines
CFP: FMPPTA'2003	Michel Charpentier	Tue, 17 Sep 2002 17:53:22 -0400	95 lines
REMINDER: Workshop on "Consistency Problems in UML-based Software Development"	Gianna Reggio	Wed, 14 Aug 2002 08:34:25 +0100	118 lines
CFP: 27th Annual IEEE/NASA Software Engineering Workshop, 4-6 december 2002	Jonathan Bowen	Mon, 5 Aug 2002 04:47:19 +0100	75 lines
CFP: FMPPTA'2003	Michel Charpentier	Wed, 17 Jul 2002 13:00:10 -0400	133 lines
CFP: BCS-FACS FASec - Formal Aspects of Security, 19-20 December 2002	Jonathan Bowen	Thu, 11 Jul 2002 22:49:50 +0100	175 lines
CFP: ZB2003 3rd International Conference of B and Z Users, Turku, Finland, 4-6 June 2003	Jonathan Bowen	Mon, 8 Jul 2002 12:43:18 +0100	314 lines
Call for participation - Formal Approaches to Testing (FATES'02)	Robert Hierons	Tue, 2 Jul 2002 13:37:34 +0100	39 lines
Postdoc position available	Peter Habermehl	Wed, 26 Jun 2002 09:24:17 +0100	66 lines
COMPSAC 2002 - call for participation	Robert Hierons	Tue, 25 Jun 2002 18:07:49 +0100	80 lines
FTRTFT '02: Call for participation	Martin Fraenzle	Fri, 21 Jun 2002 10:50:13 +0200	96 lines
DEADLINE EXTENDED Summer School in Specification, Refinement and Verification, Turku Finland	Ivan Porres	Sat, 8 Jun 2002 09:38:59 +0100	65 lines
COMMUNICATING PROCESS ARCHITECTURES	James Pascoe	Fri, 7 Jun 2002 13:45:27 +0000	87 lines
CFP: Workshop on "Consistency Problems in UML-based Software	Gianna Reggio	Thu, 6 Jun 2002 17:45:57 +0100	114 lines
CFP: 27th Annual IEEE/NASA Software Engineering Workshop, Washington DC, 5-6 December 2002	Jonathan Bowen	Wed, 5 Jun 2002 12:23:25 +0100	117 lines
Foundations '02 V&V Workshop	Jonathan Bowen	Wed, 29 May 2002 18:04:56 +0100	557 lines
3rd SDL and MSC workshop: CALL FOR PARTICIPATION	Etaps 2002	Sat, 25 May 2002 15:53:06 +0200	117 lines
Chair, Lectureships in Computer Science	Z. Liu	Thu, 23 May 2002 15:53:44 +0100	116 lines
MSE2002 deadline extended to June 5	Jonathan Bowen	Fri, 17 May 2002 07:32:54 +0100	79 lines
Microprocessor Test and Verification (MTV'02). June 6-7, 2002, Austin, Texas, USA	Jonathan Bowen	Fri, 17 May 2002 07:28:27 +0100	92 lines
Research Associates in Computer Science (3 posts)	Juan Bicarregui	Thu, 16 May 2002 17:24:34 +0100	46 lines
FATES - second call for papers	Robert Hierons	Tue, 26 Mar 2002 17:55:24 +0000	174 lines
FDL'02 CALL : STILL ONE WEEK LEFT TO SUBMIT	Michael Butler	Fri, 22 Mar 2002 15:52:22 -0000	44 lines
EMSOFT 2002: SECOND CALL FOR PAPERS	Susanne Graf	Tue, 5 Mar 2002 08:57:42 +0100	199 lines
ETAPS 2002: LAST DAYS OF EARLY REGISTRATION	Etaps 2002	Sat, 2 Mar 2002 23:17:58 +0100	141 lines
ETAPS 2002: 2nd CALL FOR PARTICIPATION	Etaps 2002	Mon, 25 Feb 2002 19:06:46 +0100	141 lines
FTRTFT02 - New Deadline March 11	Martin Fraenzle	Mon, 25 Feb 2002 13:54:09 +0100	57 lines
REFINE 2002 - BCS FACS - An FME sponsored workshop	Jonathan Bowen	Fri, 22 Feb 2002 21:32:02 -0000	126 lines
ERSA'02: Deadline FEB. 21st, 2002	Toomas Plaks	Wed, 20 Feb 2002 11:51:44 -0000	644 lines
ERSA'02: Deadline FEB. 21st, 2002	Toomas Plaks	Thu, 14 Feb 2002 09:40:26 -0000	646 lines
ETAPS 2002: CALL FOR PARTICIPATION	Etaps 2002	Wed, 6 Feb 2002 17:45:53 +0100	138 lines
ERSA'01, Deadline extension	Toomas Plaks	Mon, 4 Feb 2002 19:52:32 -0000	646 lines
Extended deadline for COMPSAC'02	Robert Hierons	Mon, 4 Feb 2002 12:14:39 +0000	280 lines
ERSA'02. DEADLINE: Feb. 8th	Toomas Plaks	Mon, 28 Jan 2002 19:53:33 -0000	631 lines
Lipari Summer School on Sw Engg	boerger	Wed, 23 Jan 2002 12:21:03 +0100	57 lines
CFP: ERSA'02; Deadline Feb. 8th	Toomas Plaks	Wed, 16 Jan 2002 19:38:23 -0000	636 lines
COMPSAC 2002 - call for papers	Robert Hierons	Wed, 16 Jan 2002 16:55:19 +0000	234 lines
CFP For Communicating Process Architectures 2002	James Pascoe	Wed, 16 Jan 2002 10:20:45 +0000	228 lines
Call for papers - FATES'02	Robert Hierons	Fri, 11 Jan 2002 17:21:25 +0000	170 lines
ERSA'02, Conf & Exh	Toomas Plaks	Mon, 7 Jan 2002 19:31:19 -0000	633 lines
RCS'02, Grenoble, 22 Jan 02 - Call for Participation - Refinement of Critical Systems	Jonathan Bowen	Mon, 7 Jan 2002 15:24:52 -0000	179 lines
Reminder Call for Participation: ZB2002 + RCS'02, Grenoble, France, 22-25 January 2002	Jonathan Bowen	Sun, 6 Jan 2002 21:32:17 -0000	49 lines