JISCMail - PROCOS Archives

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

PROCOS Archives

2000

View:

Show Author | Hide Author

		LISTSERV Archives
		PROCOS Home

Options

Subscribe or Unsubscribe

Get Password

Subject	From	Date	Size
	boerger	Sat, 23 Dec 2000 18:06:47 +0100	46 lines
ERSA CONF & EXHIB	Toomas Plaks	Tue, 19 Dec 2000 19:24:31 -0000	855 lines
PhD studentship	Toomas Plaks	Tue, 19 Dec 2000 18:49:26 -0000	162 lines
1ST INTERNATIONAL WORKSHOP ON COLLABORATIVE COMPUTING FRAMEWORKS	James Pascoe	Wed, 13 Dec 2000 15:32:51 +0000	261 lines
Information on the move from Mailbase to JISCmail for the ProCoS list	Jonathan Bowen	Thu, 30 Nov 2000 00:05:24 -0000	43 lines
Move to JISCmail	Jonathan Bowen	Wed, 22 Nov 2000 00:05:57 -0000	30 lines
Formal Methods Lectureships / Research Fellowship	Jonathan Bowen	Fri, 17 Nov 2000 00:06:55 -0000	84 lines
ETAPS 2001: Deadline Approaching	Etaps 2001	Tue, 17 Oct 2000 15:17:00 +0100	126 lines
Jobs at SRI, Cambridge	Roger Hale	Wed, 4 Oct 2000 09:21:55 +0100 (BST)	46 lines
Fw: Integrated Formal Methods: Workshop Participation	Jonathan Bowen	Tue, 3 Oct 2000 21:57:01 +0100	63 lines
Fw: UNU/IIST is seeking Research Fellows	Jonathan Bowen	Tue, 26 Sep 2000 22:04:11 +0100	813 lines
Fw: job advert [Oxford University]	Jonathan Bowen	Thu, 21 Sep 2000 22:08:53 +0100	57 lines
Call for Participation: IFM2000	Jonathan Bowen	Mon, 18 Sep 2000 15:21:54 +0100	220 lines
CFP: FMPPTA'2001	Michel Charpentier	Thu, 14 Sep 2000 17:32:15 -0400 (EDT)	121 lines
ETAPS 2001: SECOND ANNOUNCEMENT & CALL FOR SUBMISSIONS	Etaps 2001	Thu, 7 Sep 2000 17:23:13 +0100	121 lines
ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS	Etaps 2001	Mon, 14 Aug 2000 12:25:16 +0100	125 lines
APAQS 2000 Change of Deadline for Early Birds	<>	Fri, 4 Aug 2000 12:27:50 +0800 (HKT)	302 lines
2nd Call for Participation ICFEM 2000	<>	Mon, 31 Jul 2000 13:10:26 +0000	127 lines
Lectureships at Brunel University	Robert Hierons	Fri, 28 Jul 2000 13:59:17 +0100	86 lines
U. Southampton, Chair in Formal Methods/Theoretical Computer Science	Michael Butler	Mon, 24 Jul 2000 15:53:36 +0100	31 lines
2nd Call for Participation: ZB2000	<>	Mon, 24 Jul 2000 12:05:23 +0000	114 lines
APAQS 2000 Advance Program	<>	Tue, 11 Jul 2000 11:39:25 +0800 (HKT)	305 lines
CFP: APAQS 2000 Call for Participation	<>	Thu, 6 Jul 2000 17:40:43 +0800 (HKT)	43 lines
Call for Participation ICFEM20000	<>	Mon, 26 Jun 2000 08:26:16 +0000	106 lines
Fw: Verification Problem	Jonathan Bowen	Thu, 22 Jun 2000 21:52:46 +0100	67 lines
Lecturer / Senior Lecturer positions (Centre for Applied Formal Methods, SBU, London)	Jonathan Bowen	Fri, 16 Jun 2000 19:38:11 +0100	70 lines
Call for Participation ZB2000	<>	Fri, 9 Jun 2000 15:15:51 +0000	98 lines
Free Academic Site Licenses for VDMTools	Peter Gorm Larsen	Fri, 02 Jun 2000 16:25:27 +0200	102 lines
Three Lectueships in Computer Science	Z. Liu	Wed, 31 May 2000 11:24:53 +0100 (BST)	83 lines
RA posts (20): Dependability of Computer-Based Systems	Cliff Jones	Sun, 28 May 2000 16:45:38 +0100	78 lines
CFP: Formal Methods for Engineering Special-Purpose Parallel Systems	Ali Abdallah	Thu, 18 May 2000 17:38:34 +0000	164 lines
Re: 3 PH.D STUDENTSHIPS IN MATHEMATICS OR COMPUTER SCIENCE	Dmitry V. Ragozin	Sun, 14 May 2000 12:33:20 +0300 (EEST)	15 lines
Re: 3 PH.D STUDENTSHIPS IN MATHEMATICS OR COMPUTER SCIENCE	Dmitry V. Ragozin	Sun, 14 May 2000 12:26:21 +0300 (EEST)	15 lines
3 PH.D STUDENTSHIPS IN MATHEMATICS OR COMPUTER SCIENCE	Z. Liu	Mon, 8 May 2000 16:25:40 +0100 (BST)	60 lines
Readership and 2 Lectureships	Rachel Harrison	Fri, 14 Apr 2000 08:29:32 +0100 (BST)	46 lines
ENREGLE: PRELIMINARY PROGRAM	Toomas Plaks	Wed, 12 Apr 2000 17:32:20 +0100 (BST)	270 lines
ICFEM 2000 Revised Submission Deadline	<>	Thu, 23 Mar 2000 09:47:34 +0000	263 lines
SAM2000 --- Grenoble --- june, 26-28, 2000 call for papers	Susanne Graf	Tue, 21 Mar 2000 13:14:52 +0100	140 lines
CFP APAQS 2000: Change of Deadline	<>	Wed, 15 Mar 2000 13:14:02 +0800 (HKT)	262 lines
Chair, Senior Lectureships/Lectureships in Computing at The Open University	Jon Hall	Tue, 14 Mar 2000 14:08:16 +0000	121 lines
FAC journal info & 20% discount on FACIT series for ProCoS list readers!	Jonathan Bowen	Mon, 13 Mar 2000 11:38:56 +0000 (GMT)	98 lines
Vacancies in Computer Science at Royal Holloway, Univ of London	Steve Schneider	Fri, 10 Mar 2000 13:43:54 +0000 (GMT)	75 lines
CFP: APAQS 2000 Second Call for Papers	<>	Thu, 2 Mar 2000 17:49:26 +0800 (HKT)	262 lines
UNU/IIST's vacancy announcement - Research Fellow P-3	<>	Wed, 1 Mar 2000 22:09:25 GMT	93 lines
Reminder (and small change of schedule) - Special Issue on Specification-based Testing	Rob Hierons	Mon, 28 Feb 2000 18:08:08 +0000	108 lines
CAD Conferences	Toomas Plaks	Tue, 22 Feb 2000 16:50:37 +0000 (GMT)	140 lines
ENREGLE 2000	Toomas Plaks	Tue, 22 Feb 2000 16:44:53 +0000 (GMT)	208 lines
Integrated Formal Methods: Call For Papers (IFM2000)	Jonathan Bowen	Sun, 20 Feb 2000 23:27:21 +0000 (GMT)	136 lines
ENREGLE 2000	Toomas Plaks	Thu, 10 Feb 2000 18:30:35 +0000 (GMT)	204 lines
CfP: HASE 2000	Bernhard K. Aichernig	Thu, 10 Feb 2000 15:45:53 +0100 (MET)	187 lines
PhD studentship in applied formal methods	Jonathan Bowen	Thu, 10 Feb 2000 14:34:44 +0000 (GMT)	44 lines
Applying Formal Methods	Rachel Harrison	Thu, 3 Feb 2000 14:28:49 GMT	30 lines
APAQS 2000: Asia-Pacific Conference on Quality Software (Call for Papers)	Jonathan Bowen	Mon, 17 Jan 2000 12:04:15 +0000 (GMT)	237 lines
recent book announcement	Steve Schneider	Fri, 14 Jan 2000 22:40:02 +0000 (GMT)	83 lines
UK New Year Honours announcement	Jonathan Bowen	Fri, 14 Jan 2000 09:53:12 +0000 (GMT)	28 lines
Subject: FTRTFT 2000: Call for Papers	Z. Liu	Fri, 7 Jan 2000 11:32:56 +0000 (GMT)	123 lines