JISCMail - PROCOS Archives

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

PROCOS Archives

2005

View:

Show Author | Hide Author

		LISTSERV Archives
		PROCOS Home

Options

Subscribe or Unsubscribe

Get Password

Subject	From	Date	Size
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	113 lines
[security] DEADLINE THIS FRIDAY: IFIP WITS @ ETAPS 06 (6th International Workshop on Issues in the Theory of Security)	Jan Ju''rjens	Wed, 21 Dec 2005 08:04:52 +0100	125 lines
[verimag-news ] Software engineer position at Verimag	Susanne Graf	Tue, 20 Dec 2005 10:54:38 +0100	60 lines
CFP: Advances and Applications of Problem Frames	Jon Hall	Mon, 19 Dec 2005 11:39:27 +0000	144 lines
CFP: International Conference on Formal Engineering Methods (ICFEM06)	Chris George	Fri, 9 Dec 2005 12:16:31 +0800	150 lines
CFP: International Colloquium on Theoretical Aspects of Computing (ICTAC06)	Chris George	Fri, 9 Dec 2005 10:37:27 +0800	117 lines
FACS Xmas meeting on Formal Methods and Testing, BCS Offices,Covent Garden, London, 19 December 2005 [UPDATED ANNOUNCEMENT]	Rob Hierons	Wed, 7 Dec 2005 12:49:22 -0000	207 lines
[verimag-news ] Postdoctoral position at Verimag	Susanne Graf	Tue, 6 Dec 2005 21:52:30 +0100	57 lines
[verimag-news ] Call for papers : CSFW - Computer security foundations workshop	Susanne Graf	Thu, 1 Dec 2005 18:43:30 +0100	194 lines
[verimag-news ] postdoc positions on component-based embedded systems at Verimag (France)	Susanne Graf	Thu, 1 Dec 2005 18:37:06 +0100	81 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	113 lines
[verimag-news ] CFP for ISORC-2006 with extended deadline of December 9th, 2005	Susanne Graf	Tue, 29 Nov 2005 15:47:12 +0100	273 lines
[verimag-news ] Final Call for Papers SPIN 2006 - deadline: December 2	Susanne Graf	Tue, 29 Nov 2005 14:24:39 +0100	122 lines
Research Position at Saarland University	Tom In der Rieden	Tue, 29 Nov 2005 13:47:18 +0100	75 lines
BCS-FACS Christmas meeting on Formal Methods and Testing, London, UK, 19 December 2005	Jonathan Bowen	Fri, 25 Nov 2005 11:25:05 -0000	245 lines
[verimag-news ] Call for papers: SAM 2006	Susanne Graf	Fri, 25 Nov 2005 09:15:12 +0100	145 lines
FACS/FORTEST Christmas meeting	Rob Hierons	Thu, 24 Nov 2005 17:26:58 -0000	208 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
QAPL 2006 - call for papers	Bernhard K. Aichernig	Mon, 14 Nov 2005 11:17:30 +0800	173 lines
[verimag-news ] Call for Papers: CAV 2006	Susanne Graf	Thu, 10 Nov 2005 09:31:12 +0100	168 lines
[verimag-news ] Call for papers: i'Trust'2006	Susanne Graf	Tue, 8 Nov 2005 13:42:44 +0100	173 lines
Final Call for Participation: IFM 2005 (Eindhoven)	Graeme Smith	Wed, 2 Nov 2005 09:45:59 +1000	78 lines
1st CfP ESSLLI 2006 STUDENT SESSION	J. Huitink	Tue, 1 Nov 2005 15:08:30 -0500	40 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
[security] IFIP WITS @ ETAPS 06: DEADLINE 23.12.05 for the 6th International Workshop on Issues in the Theory of Security	Jan Ju''rjens	Sat, 22 Oct 2005 17:13:59 +0200	115 lines
[verimag-news ] Call for Papers: SPIN 2005 (submission site opened)	Susanne Graf	Fri, 21 Oct 2005 21:44:58 +0200	127 lines
[verimag-news ] FMCO 2005 --- november 1-4, 2005 --- Call for Participation	Susanne Graf	Thu, 13 Oct 2005 14:10:47 +0200	80 lines
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 14 November 2005)	Paul Boca	Sun, 9 Oct 2005 23:54:45 +0100	68 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	76 lines
Call For Participation : ICFEM 2005	Kenji Taguchi	Tue, 4 Oct 2005 10:18:41 +0100	59 lines
2nd Call for Participation: IFM 2005	Graeme Smith	Tue, 27 Sep 2005 15:59:28 +1000	75 lines
Doctoral symposium at IFM 2005 (cfp)	Graeme Smith	Thu, 22 Sep 2005 14:59:24 +1000	74 lines
[verimag-news ] SPIN 2006 - call for papers	Susanne Graf	Tue, 20 Sep 2005 07:31:01 +0200	123 lines
BCS-FACS sponsorship for student attendance at SEEFM 2005 - last call!	Jonathan Bowen	Fri, 16 Sep 2005 18:18:54 +0100	29 lines
[verimag-news ] MARTES with MoDELS/UML 2005 --- Call for participation	Susanne Graf	Thu, 15 Sep 2005 11:28:20 +0200	158 lines
Final Call for Papers: UTP06 - 1st International Symposium on Unifying Theories of Programming	Jonathan Bowen	Wed, 14 Sep 2005 13:01:24 +0100	121 lines
Job Opening: 2 Positions as Research Associates at Oldenburg University	Martin Fraenzle	Thu, 1 Sep 2005 20:39:51 +0200	107 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	72 lines
[verimag-news ] FMCO 2005: Call for Tutorial Papers	Susanne Graf	Mon, 29 Aug 2005 09:02:45 +0200	122 lines
[verimag-news ] Last Call for PAPERS: MARTES with MoDELS/UML 2005	Susanne Graf	Sat, 27 Aug 2005 21:47:18 +0200	176 lines
IFM 2005: Call for Participation	Graeme Smith	Thu, 18 Aug 2005 16:22:09 +1000	128 lines
[verimag-news ] Call for PAPERS: MARTES with MoDELS/UML 2005	Susanne Graf	Wed, 17 Aug 2005 08:33:53 +0200	172 lines
[verimag-news ] Summer School on "Components & Modelling, Testing & Verification, and Static Analysis of Embedded Systems"	Susanne Graf	Wed, 10 Aug 2005 09:57:44 +0200	184 lines
Lectureship in Computing, University of Surrey	S.Schneider	Fri, 5 Aug 2005 06:38:10 +0100	159 lines
BCS-FACS Evening Seminar by Prof. Muffy Calder, 21 September, London	Paul Boca	Thu, 4 Aug 2005 14:00:03 +0100	69 lines
Call for Submissions: FACS FACTS Issue 2005-3	[log in to unmask]	Wed, 3 Aug 2005 19:56:34 +0000	69 lines
CfP: Int. Conf. on Real-Time And Network Systems (RTNS'06)	Nimal Nissanke	Thu, 14 Jul 2005 12:15:25 +0100	98 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	110 lines
CONCUR 2005: Call for Participation, Early Registration Jul 20	CONCUR 2005 Announcements	Fri, 8 Jul 2005 10:42:03 -0700	204 lines
[verimag-news ] FMCO 2005: 2nd Call for Tutorial Papers	Susanne Graf	Thu, 7 Jul 2005 14:13:36 +0200	129 lines
BCS-FACS Newsletter, FACS FACTS, available to download	[log in to unmask]	Tue, 5 Jul 2005 09:43:01 +0000	29 lines
[verimag-news ] SPIN 2005: Call for Participation	Susanne Graf	Sat, 2 Jul 2005 16:06:18 +0200	243 lines
[verimag-news ] COSMICAH 2005: Call for Participation	Susanne Graf	Fri, 1 Jul 2005 11:11:49 +0200	76 lines
[verimag-news ] Call for PAPERS: WORKSHOP ON EMBEDDED SYSTEMS EDUCATION	Susanne Graf	Fri, 1 Jul 2005 11:00:30 +0200	131 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	72 lines
Research Scholarships at London South Bank University, UK (including Formal Methods)	Jonathan Bowen	Mon, 27 Jun 2005 00:25:42 +0100	75 lines
[verimag-news ] Call for PAPERS: MARTES with MoDELS/UML 2005	Susanne Graf	Sat, 25 Jun 2005 17:19:01 +0200	159 lines
NCUS-05 submission deadline has been extended to July 10, 2005	Lu Yan	Sun, 19 Jun 2005 20:48:34 +0100	161 lines
CONCUR 2005: Call for Participation	CONCUR 2005 Announcements	Wed, 8 Jun 2005 23:57:10 -0700	159 lines
CFV'05: Submission deadline extended till June 15	Miroslav Velev	Mon, 6 Jun 2005 10:31:21 +0100	53 lines
SEEFM05: 2nd Call for Papers	George Eleftherakis, MBCS	Tue, 31 May 2005 09:02:45 +0100	174 lines
ATVA 2005: Final CFP (New Deadline: May 27)	Jonathan Bowen	Sat, 21 May 2005 12:28:56 +0100	38 lines
[verimag-news ] Call for Papers: workshop on Embedded Systems Education @ EMSOFT 2005	Susanne Graf	Mon, 16 May 2005 15:32:49 +0200	130 lines
Reminder: Call for Papers - ICTAC05 (submission deadline 25 May 2005)	Jonathan Bowen	Fri, 13 May 2005 09:43:26 +0100	194 lines
[verimag-news ] Second Call for Papers: COSMICAH 2005 at ICALP 2005	Susanne Graf	Wed, 11 May 2005 11:24:00 +0200	132 lines
[verimag-news ] Call for Papers: 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS05)	Susanne Graf	Wed, 11 May 2005 08:37:05 +0200	117 lines
Final Call for Papers: IFM 2005	Graeme Smith	Thu, 5 May 2005 09:32:12 +1000	120 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	58 lines
[verimag-news ] Call for Papers: Object-oriented Modeling of Embedded Real-Time Systems (OMER 3)	Susanne Graf	Wed, 4 May 2005 08:54:32 +0200	162 lines
[verimag-news ] 12th SDL Forum --- Call for Participation ---	Susanne Graf	Thu, 28 Apr 2005 12:22:35 +0200	137 lines
Journal Announcement: Innovations in Systems and Software Engineering	Jonathan Bowen	Tue, 26 Apr 2005 14:31:50 +0100	54 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	87 lines
[verimag-news ] Call for Participation: CAV 2005	Susanne Graf	Tue, 26 Apr 2005 08:08:46 +0200	168 lines
[verimag-news ] Call for Papers: Foundations of Interface Technologies, FIT 2005	Susanne Graf	Mon, 25 Apr 2005 12:35:58 +0200	155 lines
CFV'05 Call for Papers	Miroslav Velev	Thu, 21 Apr 2005 19:59:08 +0100	53 lines
[verimag-news ] envoie de message	Susanne Graf	Mon, 18 Apr 2005 21:23:43 +0200	49 lines
Formal Methods Seminar, 27 April, 5.45pm, London	[log in to unmask]	Wed, 13 Apr 2005 11:25:47 +0000	63 lines
Call for Papers - ICTAC05 (Hanoi)	Bernhard K. Aichernig	Wed, 13 Apr 2005 10:58:01 +0800	192 lines
[verimag-news ] Call for papers: COSMICAH at ICALP 2005	Susanne Graf	Mon, 11 Apr 2005 19:16:53 +0200	125 lines
Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)	Graeme Smith	Fri, 8 Apr 2005 09:47:37 +1000	121 lines
Issue 2005-1 of BCS-FACS newsletter available to download	Paul Boca	Sat, 2 Apr 2005 16:57:10 +0100	47 lines
[verimag-news ] FMCO 2005: preliminary call for papers	Susanne Graf	Wed, 30 Mar 2005 15:49:24 +0200	110 lines
SEEFM05 Call for Papers	[log in to unmask]	Wed, 30 Mar 2005 13:54:34 +0100	189 lines
Post doc positions at Åbo Akademi University, Finland	Jonathan Bowen	Fri, 25 Mar 2005 12:41:23 -0000	64 lines
Fw: Vacancies in modelling and verification of hybrid systems	Martin Fraenzle	Fri, 25 Mar 2005 11:57:41 +0100	68 lines
CHARME 2005: Second Call for Papers	Miroslav Velev	Thu, 24 Mar 2005 22:41:38 +0000	62 lines
Opening for Chair in Formal Methods at Southampton, UK	Michael Butler	Fri, 18 Mar 2005 12:26:49 -0000	62 lines
[verimag-news ] Call for Papers: Formal Methods Letter (FML)	Susanne Graf	Mon, 14 Mar 2005 12:13:06 +0100	99 lines
ZB2005: Call for tools demonstrations	James Heather	Sat, 5 Mar 2005 10:59:30 -0000	34 lines
Professor/Reader and lecturer in Computing at Surrey	S.Schneider	Fri, 4 Mar 2005 11:49:20 -0000	98 lines
Call for Tutorials - ICTAC05	Bernhard K. Aichernig	Mon, 28 Feb 2005 12:19:24 +0800	194 lines
Call for participation WWV'05	Santiago Escobar	Fri, 25 Feb 2005 10:38:22 +0100	190 lines
Request for C code from formal methods projects	Jonathan Bowen	Thu, 24 Feb 2005 23:27:59 -0000	40 lines
CFP: CONCUR 2005 - Concurrency Theory	CONCUR 2005 Announcements	Fri, 18 Feb 2005 02:38:23 -0800	127 lines
Research Position: Analysis and Generation of Fault-Tolerant Systems	Ian Hayes	Thu, 17 Feb 2005 16:44:45 +1000	73 lines
[verimag-news ] Call for Papers: COSMICAH 2005	Susanne Graf	Mon, 14 Feb 2005 10:17:36 +0100	96 lines
[verimag-news ] CHARME 2005: Second Call for Papers	Susanne Graf	Mon, 14 Feb 2005 10:12:26 +0100	199 lines
Fw: European Master in Computational Logic - Grants for non European citizens	Jonathan Bowen	Tue, 8 Feb 2005 20:32:11 -0000	172 lines
TRain: The Railway Domain - formal specification and verification	Jonathan Bowen	Fri, 4 Feb 2005 12:52:15 -0000	137 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	70 lines
[verimag-news ] FINAL CALL for PAPERS: 12th SDL FORUM	Susanne Graf	Wed, 26 Jan 2005 13:34:24 +0100	145 lines
ZB2005 call for participation	Jonathan Bowen	Fri, 21 Jan 2005 15:42:40 -0000	53 lines
Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)	Graeme Smith	Fri, 21 Jan 2005 12:18:49 +1000	119 lines
[verimag-news ] Call for Participation: spring school "SECURITY 2005"	Susanne Graf	Thu, 20 Jan 2005 10:49:44 +0100	94 lines
PhD Position in Technical University of Valencia (Spain)	Santiago Escobar	Tue, 18 Jan 2005 13:47:42 +0100	87 lines
Time 05 second call for papers	Pierre Wolper	Fri, 14 Jan 2005 16:56:33 +0100	178 lines
DEBS'05: Call for Papers	Juergen Dingel	Wed, 5 Jan 2005 11:54:27 -0500	131 lines
Lectureships / Senior Lectureships at Southampton, UK	Michael Butler	Tue, 4 Jan 2005 12:56:51 -0000	37 lines
Last call: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)	Santiago Escobar	Sun, 2 Jan 2005 13:53:02 +0100	164 lines

PROCOS Archives

2005

Options

Subject

From

Date

Size

JiscMail Tools

RSS Feeds and Sharing

Search Archives

Archives