JISCMail - PROCOS Archives

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

PROCOS Archives

2004

View:

Show Author | Hide Author

		LISTSERV Archives
		PROCOS Home

Options

Subscribe or Unsubscribe

Get Password

Subject	From	Date	Size
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	78 lines
CFP: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)	Santiago Escobar	Mon, 20 Dec 2004 15:58:32 +0100	154 lines
Abstraction, Refinement and Proof: Book announcement	Jonathan Bowen	Mon, 20 Dec 2004 10:10:22 -0000	50 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	107 lines
[verimag-news ] SPIN 2005 - Workshop on Model Checking of Software --- CALL for PAPERS	Susanne Graf	Mon, 13 Dec 2004 10:59:28 +0100	132 lines
[verimag-news ] SDL Forum 2005: Integration of System Design Languages - CALL for PAPERS	Susanne Graf	Mon, 13 Dec 2004 10:47:01 +0100	140 lines
Re: TIME 05 call for papers	Willem-Paul de Roever	Wed, 8 Dec 2004 11:28:26 +0100	19 lines
TIME 05 call for papers	Pierre Wolper	Wed, 8 Dec 2004 10:44:04 +0100	175 lines
BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 21 December 2004	Jonathan Bowen	Tue, 30 Nov 2004 19:09:30 -0000	91 lines
Program Verification and Semantics: Further Work, London, 2 December 2004 (Reminder!)	Jonathan Bowen	Sat, 27 Nov 2004 23:34:10 -0000	80 lines
CFP: 1st Int'l Workshop on Automated Specification and Verificationof Web Sites (WWV'05)	Santiago Escobar	Wed, 24 Nov 2004 19:33:43 +0100	129 lines
Call for Papers - ICTAC05	Bernhard K. Aichernig	Tue, 23 Nov 2004 18:04:20 +0800	187 lines
Research Fellow Position at Surrey	Schneider SA Prof (Computing)	Thu, 18 Nov 2004 17:43:14 -0000	63 lines
Research Job, Southampton	Michael Butler	Tue, 16 Nov 2004 15:42:03 -0000	28 lines
Call for Papers: FMOODS - 7th IFIP Int Conf on Formal Methods for Open Object-based Distributed Systems, Athens, Greece, 15-17 June 2005	Jonathan Bowen	Fri, 12 Nov 2004 17:32:52 -0000	144 lines
Program Verification and Semantics: Further Work, London, 2 December 2004	Jonathan Bowen	Fri, 12 Nov 2004 00:21:13 -0000	50 lines
Post-docs at UNU-IIST	Chris George	Mon, 25 Oct 2004 18:04:33 +0800	21 lines
FMCO 2004, Formal Methods for Components and Objects: Last call for participation	etaps02 VERIMAG	Mon, 18 Oct 2004 11:26:38 +0200	163 lines
FACS FACTS: Call for Submissons	Paul Boca	Sun, 10 Oct 2004 14:42:08 +0100	56 lines
TACAS 2005 -- Abstract Submission deadline is October 8	etaps02 VERIMAG	Sat, 2 Oct 2004 09:31:55 +0200	240 lines
Call for Papers: ZB2005 - 4th International Conference of B and Z Users	Jonathan Bowen	Thu, 30 Sep 2004 20:53:05 +0100	254 lines
WITS'05 -- upcoming deadline	Jan Ju''rjens	Fri, 24 Sep 2004 11:00:38 +0200	123 lines
CFP: NASA/IEEE SEW-29	Michael G Hinchey	Tue, 21 Sep 2004 10:24:23 -0400	112 lines
Formal methods article and web pages	Jonathan Bowen	Sun, 19 Sep 2004 12:06:56 +0100	41 lines
Call for Participation -- TFM 2004	Neville Dean	Fri, 17 Sep 2004 13:15:41 +0100	92 lines
[SVERTS @ UML 2004]: Call for Participation	etaps02 VERIMAG	Mon, 13 Sep 2004 18:56:40 +0200	76 lines
Call for participation: 1st International Colloquium on Theoretical Aspects of Computing (ICTAC04), China, 20-24 September 2004	Jonathan Bowen	Mon, 13 Sep 2004 17:44:31 +0100	173 lines
TACAS 2005: CALL FOR PAPERS	etaps02 VERIMAG	Tue, 7 Sep 2004 14:17:19 +0200	60 lines
[TYPES] ICTAC04: Call for Participants	Bernhard K. Aichernig	Tue, 7 Sep 2004 12:28:21 +0800	183 lines
ICTAC04: Call for Participants	Bernhard K. Aichernig	Tue, 7 Sep 2004 12:28:21 +0800	181 lines
Formel Methods for Components and Objects FMCO 2004: Call for participation	etaps02 VERIMAG	Mon, 6 Sep 2004 14:03:33 +0200	114 lines
APLAS'04: Call for Participation + Posters	QIN Shengchao	Fri, 3 Sep 2004 14:46:37 +0800	202 lines
Postdoc position in international UML2.0 semantics project	Juergen Dingel	Tue, 24 Aug 2004 08:29:14 -0400	79 lines
SEFM 2004: Early registration ends on Friday (28.08)!	Bernhard K. Aichernig	Tue, 24 Aug 2004 14:25:57 +0800	200 lines
Submission to FACS FACTS	Shaoying	Mon, 23 Aug 2004 11:48:09 +0900	41 lines
FACS FACTS Issue 2004-3: Call for submissions	Paul Boca	Sun, 22 Aug 2004 13:31:44 +0100	70 lines
RTAS 2005: Call for Papers	Miroslav Velev	Wed, 18 Aug 2004 19:31:51 +0100	255 lines
Computer science theory tutoring	Jonathan Bowen	Tue, 17 Aug 2004 17:51:50 +0100	53 lines
Two open PhD positions in formal methods in Oslo	Olaf Owe	Mon, 16 Aug 2004 12:59:17 +0200	86 lines
SEFM 2004: Call for Participation	Bernhard K. Aichernig	Tue, 10 Aug 2004 17:03:14 +0800	197 lines
IMPENDING DEADLINE: CSDUML@UML'04: Critical Systems Development with UML	Jan Ju''rjens	Mon, 19 Jul 2004 09:45:09 +0200	233 lines
[SVERTS @ UML 2004]: CFP extended deadline	etaps02 VERIMAG	Wed, 7 Jul 2004 11:13:18 +0200	115 lines
Post-doctoral RA job in formal methods and HCI	Paul Curzon	Thu, 1 Jul 2004 13:54:15 +0100	45 lines
ICTAC2004 Call for papers: Deadline is Approaching soon	<>	Wed, 30 Jun 2004 02:08:55 +0100	418 lines
ICTAC2004 Call for papers	<>	Sat, 26 Jun 2004 03:40:30 +0100	209 lines
CFP: Special Issue on Relating Software Requirements and Architecture	Jonathan Bowen	Wed, 23 Jun 2004 19:29:09 +0100	160 lines
ICTAC 2004: Extended Deadline (5 July)	Bernhard K. Aichernig	Thu, 17 Jun 2004 16:54:49 +0800	192 lines
25 Years of CSP, London 7-8 July 2004, BCS-FACS event	Ali E. Abdallah	Fri, 11 Jun 2004 19:22:19 +0100	90 lines
CONSISTENCY PROBLEMS IN UML-BASED SOFTWARE DEVELOPMENT III: CFP	Gianna reggio	Fri, 11 Jun 2004 14:30:03 +0100	135 lines
SVERTS workshop at UML 2004: CALL FOR CONTRIBUTIONS	etaps02 VERIMAG	Wed, 2 Jun 2004 11:33:24 +0200	113 lines
25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK	Jonathan Bowen	Tue, 1 Jun 2004 00:12:05 +0100	98 lines
25 Years of Communicating Sequential Processes, 2nd Call for Participation	<>	Thu, 27 May 2004 12:18:35 +0100	90 lines
FACS FACTS Newsletter Call for Contributions (deadline 11 June 2004)	Jonathan Bowen	Sat, 22 May 2004 11:37:28 +0100	52 lines
PARTES 2004: Call for Papers	Nimal Nissanke	Fri, 21 May 2004 12:26:48 +0100	161 lines
CSDUML@UML'04: Critical Systems Development with UML	Jan Ju''rjens	Thu, 20 May 2004 13:26:40 +0200	206 lines
Workshop on Formal Methods and Software Engineering for Safety and Security	Jan Ju''rjens	Fri, 14 May 2004 09:48:26 +0200	76 lines
Call for papers: ZB2005, 4th International Conference of B and Z Users, UK, 13-15 April 2005	Jonathan Bowen	Fri, 30 Apr 2004 23:52:45 +0100	258 lines
Reminder -- Call for Papers, Teaching Formal Methods 2004	Neville Dean	Fri, 30 Apr 2004 14:59:47 +0100	93 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	101 lines
FINAL CALL -- PhD Summer School on Logics of Formal Software Specification Languages	Henson, Martin C	Fri, 23 Apr 2004 15:14:22 +0100	139 lines
APLAS'04: Second Call For Papers	QIN Shengchao	Thu, 22 Apr 2004 18:23:32 +0800	118 lines
RTCSA 2004 - Call for Contributions	Nimal Nissanke	Tue, 20 Apr 2004 18:49:30 +0100	190 lines
Fwd: The Deadlines of SEFM2004 Submissions are approaching	<>	Mon, 5 Apr 2004 03:56:28 +0100	69 lines
coalgebras: PhD Summer School -- Logics of Formal Software Specification Languages	Henson, Martin C	Thu, 25 Mar 2004 20:15:32 -0000	136 lines
PhD Summer School -- Logics of Formal Software Specification Languages	Henson, Martin C	Thu, 25 Mar 2004 20:15:32 -0000	136 lines
SEFM 2004 FINAL CALL (New Extended Deadlines)	Gianna Reggio	Wed, 24 Mar 2004 13:38:43 +0000	176 lines
ICFEM2004 - Call for Papers, Workshops, Tutorials	Jonathan Bowen	Sun, 21 Mar 2004 12:24:08 -0000	156 lines
Re: Incoming Message [spam problems]	Jonathan Bowen	Thu, 18 Mar 2004 08:28:58 -0000	34 lines
Symposium on Teaching Formal Methods, Ghent, 2004	Neville Dean	Tue, 16 Mar 2004 12:25:47 +0000	79 lines
CFP IFIP World Computer Congress - Architecture Description Languages (WADL04)	Mamoun FILALI-AMINE	Sat, 13 Mar 2004 15:57:33 +0100	141 lines
Fw: Last Call for Workshops: SEFM 2004 (Beijing)	Jonathan Bowen	Tue, 9 Mar 2004 01:37:42 -0000	75 lines
Re: Logics of Formal Software Specification Languages: A PhD Summer School	Jonathan Bowen	Sun, 7 Mar 2004 14:50:42 -0000	40 lines
PhD Summer School -- Logics of Formal (Software) Specification Languages	Henson, Martin C	Sun, 22 Feb 2004 12:14:43 -0000	115 lines
Modellierung 2004: Early registration deadline 20.Feb. !	Jan Ju''rjens	Fri, 20 Feb 2004 10:50:58 +0100	228 lines
Fw: IFM - scholarships available for PhD students	Jonathan Bowen	Wed, 18 Feb 2004 23:33:26 -0000	245 lines
APLAS04: Call For Papers	QIN Shengchao	Wed, 11 Feb 2004 17:41:38 +0800	108 lines
ISSRE 2004 - Call for Contributions	Nimal Nissanke	Fri, 6 Feb 2004 16:00:16 +0000	596 lines
SPIN 2004 - Programme and Call for Participation	etaps02 VERIMAG	Thu, 5 Feb 2004 10:48:27 +0100	78 lines
Concurrency and Hardware Design research studentships available at London South Bank University	Prof. Mark B. Josephs	Sun, 25 Jan 2004 22:05:30 -0000	77 lines
Formal methods research studentships available at London South Bank University	Jonathan Bowen	Sun, 25 Jan 2004 20:10:40 -0000	116 lines
Call for participation - IFM2004	Jonathan Bowen	Sun, 25 Jan 2004 16:16:50 -0000	200 lines
[strqds] CFP IFIP World Computer Congress - Architecture Description Languages (WADL04)	Mamoun FILALI-AMINE	Fri, 16 Jan 2004 08:43:35 +0100	137 lines
Research Fellow vacancy at UNU-IIST	Chris George	Fri, 16 Jan 2004 09:49:59 +0800	83 lines
Re: ICTAC2004 Calls for Contributions	<>	Thu, 15 Jan 2004 19:48:53 +0000	200 lines
ICTAC2004 Calls for Contributions	<>	Thu, 15 Jan 2004 16:28:02 +0000	18 lines
IFM2004: Call for Participation	Graeme Smith	Thu, 15 Jan 2004 16:31:36 +1000	190 lines
SEFM'04: Call for WORKSHOPS and TUTORIALS	Jonathan Bowen	Tue, 13 Jan 2004 10:17:50 -0000	78 lines
TestCom 2004 Call For Participation and Poster Papers	Rob Hierons	Thu, 8 Jan 2004 18:16:01 +0000	80 lines
TestCom 2004 - some sponsorship available for Ph.D. students	Rob Hierons	Thu, 8 Jan 2004 14:26:29 +0000	122 lines