JISCMail - PROCOS Archives

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

PROCOS Archives

2006

View:

Show Author | Hide Author

		LISTSERV Archives
		PROCOS Home

Options

Subscribe or Unsubscribe

Get Password

Subject	From	Date	Size
TASE 2007: The submission deadline is extended to 28 January, 2007.	Huibiao Zhu	Fri, 29 Dec 2006 17:38:19 +0800	294 lines
Call for Papers: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering	Jing Li	Wed, 20 Dec 2006 13:42:45 +0000	306 lines
Call for Papers: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering	Huibiao Zhu	Wed, 20 Dec 2006 14:37:08 +0800	304 lines
Software Engineer position at Verimag	Susanne Graf	Wed, 6 Dec 2006 21:01:57 +0100	34 lines
TFM06: BCS-FACS Christmas Meeting on Teaching Formal Methods == Registration open, Registration Deadline Approaching [8 December]	Paul Boca	Wed, 6 Dec 2006 12:51:16 +0000	59 lines
Invitation to submit a paper to a special issue of JSAT on CFV	Miroslav Velev	Sat, 25 Nov 2006 10:56:17 +0000	36 lines
CfP OpenCert 2007 (ETAPS Workshop)	Bernhard K. Aichernig	Fri, 24 Nov 2006 23:43:21 +0100	143 lines
1-day workshop: Models of Concurrency and Open Computing, 24 November, 2006, London == Registration Deadline Approaching	Paul P Boca	Wed, 15 Nov 2006 10:38:14 +0000	113 lines
The International Event for Testing of Software and Communiction Systems (TESTCOM/FATES 2007): Call for Papers/Tutorials/Workshops	Wolfgang Grieskamp	Wed, 15 Nov 2006 01:10:48 -0800	266 lines
REMINDER: FACS/BCSWomen Seminar by Ursula Martin, 9 November, 5,45pm, London: Design verification for control engineering	Paul P Boca	Tue, 7 Nov 2006 13:15:39 +0000	89 lines
CfP, Philosophy of computer science	Jonathan Bowen	Mon, 6 Nov 2006 20:01:37 -0000	92 lines
TASE 2007: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering	Huibiao Zhu	Sat, 4 Nov 2006 15:40:52 +0800	125 lines
1-day workshop: Models of Concurrency and Open Computing, 24 November, 2006, London (error in original URL)	Paul P Boca	Mon, 30 Oct 2006 21:03:09 +0000	106 lines
1-day workshop: Models of Concurrency and Open Computing, 24 November, 2006, London	[log in to unmask]	Wed, 25 Oct 2006 14:23:21 +0000	102 lines
BCS FACS Christmas Meeting, Teaching Formal Methods, 15 December 2006; extended deadline: 30 October 2006	[log in to unmask]	Wed, 25 Oct 2006 13:38:17 +0000	170 lines
Final Call for Participation: FMIS 2006 (31 October 2006)	Paul Curzon	Thu, 19 Oct 2006 19:50:04 +0100	106 lines
Call for Participation: HLDVT06 - Workshop on High Level Design, Validation, and Test	Susanne Graf	Tue, 17 Oct 2006 20:46:33 +0200	231 lines
Call for Papers: TASE 2007 - 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering	Jonathan Bowen	Thu, 12 Oct 2006 12:19:00 +0100	168 lines
a funded Ph.D position in Durham	Shengchao Qin	Thu, 12 Oct 2006 09:35:59 +0100	39 lines
BCS-FACS/BCS Women Seminar by Prof. Ursula Martin, 9 November, 5.45pm, BCS Offices, London	Paul P Boca	Wed, 11 Oct 2006 13:49:01 +0100	90 lines
BCS FACS Christmas Meeting, Teaching Formal Methods, 15 December 2006; papers deadline 20 October 2006	[log in to unmask]	Mon, 9 Oct 2006 11:18:02 +0000	133 lines
template for call for papers to lists -	Susanne Graf	Sun, 8 Oct 2006 12:44:53 +0200	165 lines
Online Video of "Grand Challenges in Informatics - Tue, and Wedn. Sept. 19-20 all day 9am-5:30 pm (CEST)	Paul P Boca	Tue, 12 Sep 2006 00:01:42 +0100	88 lines
TACAS 2007: Call for papers (submission deadline: October 13)	Susanne Graf	Sun, 10 Sep 2006 19:32:39 +0200	178 lines
REMINDER: BCS-FACS Evening Seminar by Prof. Peter Ryan, 4 September, 6pm, London: The Computer Ate My Vote	[log in to unmask]	Mon, 28 Aug 2006 15:00:37 +0000	70 lines
final CFP: MARTES with MODELS 2006 - Modeling and Analysis of Real-Time and Embedded Systems	Susanne Graf	Mon, 28 Aug 2006 10:21:12 +0200	179 lines
BCS-FACS Evening Seminar by Prof. Peter Ryan, 4 September 2006, 6pm, London: The Computer Ate My Vote	Paul P Boca	Mon, 14 Aug 2006 06:59:55 +0100	73 lines
ICFEM 2006 CALL FOR PARTICIPATION	Chris George	Wed, 2 Aug 2006 10:20:48 +0800	152 lines
CfP - Extended Deadline: 1st Int. Workshop on Formal Methods for Interactive Systems (FMIS 2006)	Paul Curzon	Thu, 20 Jul 2006 11:23:32 +0100	166 lines
Call for Participation: ATVA 2006 - Beijing - Octobre 2006	Susanne Graf	Wed, 19 Jul 2006 15:19:30 +0200	122 lines
template for call for papers to lists -	Susanne Graf	Sun, 16 Jul 2006 22:30:54 +0200	106 lines
Last CFP (4 days left): 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)	Santiago Escobar	Wed, 12 Jul 2006 11:36:38 -0500	106 lines
MARTES with MODELS 2006 - Modeling and Analysis of Real-Time and Embedded Systems	Susanne Graf	Tue, 11 Jul 2006 22:32:07 +0200	179 lines
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)	Santiago Escobar	Wed, 21 Jun 2006 18:02:57 -0500	108 lines
Call for Papers: MARTES'06 - Modeling and Analysis of Real-Time and Embedded Systems	Susanne Graf	Tue, 20 Jun 2006 21:28:43 +0200	177 lines
REMINDER: FACS Seminar by Anthony Hall, 21 June 2006, 5.45pm, London: Realising the Benefits of Formal Methods	Paul P Boca	Wed, 14 Jun 2006 21:55:44 +0100	71 lines
[Fwd: CfP: 1st Int. Workshop on Formal Methods for Interactive Systems (FMIS 2006)]]	Paul Curzon	Tue, 13 Jun 2006 22:59:13 +0100	155 lines
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)	Santiago Escobar	Fri, 2 Jun 2006 19:33:58 +0200	117 lines
BCS-FACS Evening Seminar by Anthony Hall, 21 June 2006, BCS London Offices	Paul P Boca	Tue, 30 May 2006 23:25:00 +0100	78 lines
CFV'06: Call for Papers	Miroslav Velev	Mon, 29 May 2006 06:47:26 +0100	99 lines
1st Asian Working Conference on Verified Software	Chris George	Thu, 25 May 2006 17:38:37 +0800	121 lines
ICTAC 2006: Final call for tutorials	Chris George	Thu, 25 May 2006 13:04:51 +0800	154 lines
REMINDER: FACS Evening Seminar by Professor Tom Maibaum, 7 June, 6pm, BCS London Offices, Covent Garden	Paul P Boca	Wed, 24 May 2006 17:50:03 +0100	69 lines
Call for Papers: WESE 2006 - Embedded Systems Education	Susanne Graf	Wed, 17 May 2006 07:55:10 +0200	96 lines
CALL FOR PAPERS - ATVA 2006 (Deadline Extended)	Susanne Graf	Mon, 15 May 2006 10:53:35 +0200	158 lines
*** FACS Evening Seminar by Professor Tom Maibaum, 7 June 2006, 6pm, BCS Offices, London	Paul P Boca	Thu, 11 May 2006 17:15:02 +0100	69 lines
2nd CfP GT-VC 2006 (Graph Transformation for Verification and Concurrency); deadline 22 May 2006	Arend Rensink	Thu, 11 May 2006 12:09:28 +0200	97 lines
ICFEM 2006: final call for contributions and extended deadline	Chris George	Thu, 4 May 2006 15:01:39 +0800	186 lines
EWSA 2006: Call for papers	Susanne Graf	Thu, 4 May 2006 00:48:26 +0200	191 lines
CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)	Santiago Escobar	Mon, 1 May 2006 23:38:24 +0200	108 lines
ICTAC 2006: Final call for papers	Chris George	Wed, 26 Apr 2006 15:38:52 +0800	192 lines
REMINDER: FACS/FME Evening Seminar by Cliff Jones, 24 April, 5.45pm, London	[log in to unmask]	Wed, 12 Apr 2006 13:46:25 +0000	67 lines
Issue 2006-1 of FACS Newsletter available to download	[log in to unmask]	Wed, 5 Apr 2006 11:42:44 +0000	42 lines
ICFEM 2006: 2nd Call for Contributions	Chris George	Wed, 29 Mar 2006 16:55:04 +0800	174 lines
BCS-FACS/FME Evening Seminar by Cliff Jones, 24 April 2006, 5.45pm, London	Paul P Boca	Mon, 27 Mar 2006 00:30:01 +0100	90 lines
Re: [Fwd: Re: SEFM06 call for tutorials]	Dang Van Hung	Mon, 20 Mar 2006 10:32:37 +0800	187 lines
Call for tutorials: ICTAC 06	Chris George	Tue, 14 Mar 2006 13:09:17 +0800	152 lines
FMCO 2006: call for tutorial papers	Susanne Graf	Mon, 13 Mar 2006 23:11:47 +0100	119 lines
[security] EARLY REGIS. 20 Feb: WITS'06 @ ETAPS: 6th International IFIP WG 1.7 Workshop on Issues in the Theory of Security	Jan Ju''rjens	Fri, 17 Feb 2006 15:55:49 +0100	133 lines
[verimag-news ] Call for papers: ACL2 with FLoC 2006	Susanne Graf	Tue, 14 Feb 2006 21:07:10 +0100	124 lines
Postdoctoral position at LIAFA	Peter Habermehl	Mon, 13 Feb 2006 12:49:07 +0000	56 lines
[verimag-news ] ETAPS 2006: Call for Participation - Registration is Open	Susanne Graf	Fri, 10 Feb 2006 14:35:15 +0100	203 lines
[verimag-news ] FMCAD 2006 Call for Papers	Susanne Graf	Fri, 10 Feb 2006 14:22:10 +0100	173 lines
FACS FACTS Issue 2006-1: Submissions welcome	[log in to unmask]	Wed, 8 Feb 2006 14:18:38 +0000	68 lines
FACS FACTS Issue 2006-1: Submissions welcome!	[log in to unmask]	Wed, 8 Feb 2006 13:55:17 +0000	67 lines
BCS-FACS Evening Seminar by Peter Mosses, 3 March 2006, BCS Offices, London	Paul Boca	Tue, 7 Feb 2006 23:39:32 -0000	94 lines
[verimag-news ] Call for Papers: Workshop on Formal and Computational Cryptography	Susanne Graf	Wed, 1 Feb 2006 22:52:13 +0100	101 lines
SEFM06 - CALL FOR PAPERS	Dang Van Hung	Thu, 26 Jan 2006 10:27:54 +0800	175 lines
Re: 2nd Call for Papers: ZUM 2006, 16th Z User Meeting, Columbia, MD, USA, April 2006	Jonathan Bowen	Tue, 24 Jan 2006 18:06:12 -0000	142 lines
[verimag-news ] Call for Papers: ATVA 2006 - Automated Technology for Verification and Analysis	Susanne Graf	Wed, 18 Jan 2006 22:40:19 +0100	156 lines
CFP: International Colloquium on Theoretical Aspects of Computing (ICTAC06)	Chris George	Wed, 18 Jan 2006 18:10:19 +0800	37 lines
Call for papers: ROSATEA 2006 - The Role of Software Architecture for Testing and Analysis	Rob Hierons	Tue, 17 Jan 2006 09:24:23 -0000	244 lines
Vacancies for Research Fellows	Chris George	Tue, 17 Jan 2006 15:10:30 +0800	16 lines
REMINDER -- FACS/FME Seminar: Formal Methods in the Last 25 Years, 30 January, 5.30pm, London	Paul Boca	Mon, 16 Jan 2006 08:57:50 -0000	120 lines
Extended deadline for 2nd ICSE Problem Frames Workshop	Jonathan Bowen	Sun, 15 Jan 2006 15:01:35 -0000	174 lines
2nd Call for Papers: ZUM 2006, 16th Z User Meeting, Columbia, MD, USA, April 2006	Jonathan Bowen	Sat, 14 Jan 2006 23:12:21 -0000	138 lines
Call for Papers: ZUM 2006, 16th Z User Meeting, Columbia, MD, USA, April 2006	Jonathan Bowen	Wed, 4 Jan 2006 16:33:32 -0000	143 lines
Issue 2005-4 of FACS FACTS Available to download	Paul Boca	Tue, 3 Jan 2006 02:51:35 -0000	26 lines