|
|
|
Size
|
Issue 2005-4 of FACS FACTS Available to download
|
Paul Boca |
Tue, 3 Jan 2006 02:51:35 -0000 |
25 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 |
142 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 |
137 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 |
119 lines |
Vacancies for Research Fellows
|
Chris George |
Tue, 17 Jan 2006 15:10:30 +0800 |
15 lines |
CFP: International Colloquium on Theoretical Aspects of Computing (ICTAC06)
|
Chris George |
Wed, 18 Jan 2006 18:10:19 +0800 |
36 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 |
141 lines |
BCS-FACS Evening Seminar by Peter Mosses, 3 March 2006, BCS Offices, London
|
Paul Boca |
Tue, 7 Feb 2006 23:39:32 -0000 |
93 lines |
FACS FACTS Issue 2006-1: Submissions welcome!
|
[log in to unmask] |
Wed, 8 Feb 2006 13:55:17 +0000 |
66 lines |
FACS FACTS Issue 2006-1: Submissions welcome
|
[log in to unmask] |
Wed, 8 Feb 2006 14:19:35 +0000 |
67 lines |
Call for papers: FATES/RV'06
|
Klaus Havelund |
Wed, 15 Feb 2006 02:56:05 +0000 |
223 lines |
Second call for papers: REMO2V workshop at CAISE06
|
Regine Laleau |
Tue, 21 Feb 2006 08:27:24 +0000 |
109 lines |
REMO2V - Extended submission deadline: March 10, 2006
|
Regine Laleau |
Tue, 28 Feb 2006 16:26:33 +0000 |
20 lines |
Call for papers for B 2007 conference
|
Jacques Julliand |
Fri, 3 Mar 2006 14:37:41 +0100 |
2607 lines |
Call for tutorials: ICTAC 06
|
Chris George |
Tue, 14 Mar 2006 13:09:17 +0800 |
151 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 |
89 lines |
Call for papers: FATES/RV'06 - changed submission deadline
|
Klaus Havelund |
Tue, 28 Mar 2006 11:22:32 -0800 |
225 lines |
ICFEM 2006: 2nd Call for Contributions
|
Chris George |
Wed, 29 Mar 2006 16:55:04 +0800 |
173 lines |
Issue 2006-1 of FACS Newsletter available to download
|
[log in to unmask] |
Wed, 5 Apr 2006 11:42:44 +0000 |
41 lines |
2nd Tarot Summer School Summer School on testing
|
Manuel Núñez García |
Tue, 11 Apr 2006 20:44:07 +0200 |
199 lines |
REMINDER: FACS/FME Evening Seminar by Cliff Jones, 24 April, 5.45pm, London
|
[log in to unmask] |
Wed, 12 Apr 2006 12:55:30 +0000 |
68 lines |
ICTAC 2006: Final call for papers
|
Chris George |
Wed, 26 Apr 2006 15:38:52 +0800 |
191 lines |
Call for participation: REMO2V workshop at CAISE06
|
Regine Laleau |
Tue, 2 May 2006 12:52:57 +0200 |
2725 lines |
ICFEM 2006: final call for contributions and extended deadline
|
Chris George |
Thu, 4 May 2006 15:01:39 +0800 |
185 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 |
68 lines |
Final Call for Papers: FATES/RV'06
|
Klaus Havelund |
Thu, 18 May 2006 01:00:58 -0700 |
331 lines |
FATES/RV'06 - Deadline extension: May 31
|
Klaus Havelund |
Fri, 19 May 2006 17:36:00 -0700 |
265 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 |
68 lines |
ICTAC 2006: Final call for tutorials
|
Chris George |
Thu, 25 May 2006 13:04:51 +0800 |
153 lines |
1st Asian Working Conference on Verified Software
|
Chris George |
Thu, 25 May 2006 17:38:37 +0800 |
120 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 |
77 lines |
Call for Papers: 3rd Intl Workshop on Software Quality Assurance (SOQUA 2006)
|
Ilinca Ciupa |
Thu, 1 Jun 2006 10:29:40 +0200 |
155 lines |
Call for papers for B 2007 conference
|
Jacques Julliand |
Thu, 8 Jun 2006 16:59:00 +0200 |
2606 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 |
70 lines |
Tests And Proofs (TAP) CFP -- February 2007, Zurich
|
Ilinca Ciupa |
Fri, 23 Jun 2006 10:37:45 +0200 |
114 lines |
Call for Workshop Proposals -- Tests And Proofs (TAP), February 2007, Zurich
|
Ilinca Ciupa |
Thu, 29 Jun 2006 11:17:49 +0200 |
142 lines |
Extended deadline for B 2007 conference
|
Jacques Julliand |
Mon, 3 Jul 2006 12:22:56 +0200 |
2611 lines |
ICFEM 2006 CALL FOR PARTICIPATION
|
Chris George |
Wed, 2 Aug 2006 10:20:48 +0800 |
151 lines |
CfP: MODEL-BASED TESTING AND OBJECT-ORIENTED SYSTEMS (M-TOOS)
|
Wolfgang Grieskamp |
Wed, 9 Aug 2006 11:20:38 -0700 |
105 lines |
CZT seminar + workshop at York University, 24 August
|
Mark Utting |
Sat, 12 Aug 2006 10:15:11 +1200 |
51 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 |
72 lines |
Grand Challenges of Informatics Symposium, Budapest, Hungary, 19-20 September 2006 - scholarships available
|
Jonathan Bowen |
Sat, 19 Aug 2006 10:49:58 +0100 |
2804 lines |
Lipari Summer School 2007
|
Jonathan Bowen |
Mon, 28 Aug 2006 08:43:13 +0100 |
993 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 |
69 lines |
Online Video of "Grand Challenges in Informatics - Tue, and Wedn. Sept. 19-20 all day 9am-5:30 pm (CEST)
|
Paul P Boca |
Mon, 11 Sep 2006 23:50:50 +0100 |
668 lines |
REMINDER:Online Video of "Grand Challenges in Informatics - Tue, and Wedn. Sept. 19-20 all day 9am-5:30 pm (CEST)
|
Paul P Boca |
Mon, 18 Sep 2006 22:34:32 +0100 |
666 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 |
132 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 |
89 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 |
167 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 |
169 lines |
1-day workshop: Models of Concurrency and Open Computing, 24 November, 2006, London
|
[log in to unmask] |
Wed, 25 Oct 2006 14:08:54 +0000 |
1940 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 20:43:16 +0000 |
2047 lines |
TASE 2007: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering
|
Huibiao Zhu |
Sat, 4 Nov 2006 15:44:44 +0800 |
312 lines |
Program B 2007
|
Jacques Julliand |
Mon, 6 Nov 2006 16:20:15 +0100 |
459 lines |
CfP, Philosophy of computer science
|
Jonathan Bowen |
Mon, 6 Nov 2006 19:57:51 -0000 |
271 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 |
88 lines |
TAP workshop -- submission is still available
|
Lisa(Ling) Liu |
Wed, 15 Nov 2006 01:54:26 +0100 |
22 lines |
TAP workshop -- submission is still available
|
Lisa(Ling) Liu |
Wed, 15 Nov 2006 01:56:00 +0100 |
22 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 |
265 lines |
ICECCS 2007: Call for Papers
|
Jing Sun |
Wed, 15 Nov 2006 10:13:17 +1300 |
214 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 |
112 lines |
TFM06: BCS-FACS Christmas Meeting on Teaching Formal Methods == Registration open, programme now available
|
Paul P Boca |
Wed, 22 Nov 2006 14:34:39 +0000 |
1831 lines |
CfP OpenCert 2007 (ETAPS Workshop)
|
Bernhard K. Aichernig |
Fri, 24 Nov 2006 23:36:16 +0100 |
142 lines |
Registration B 2007
|
Jacques Julliand |
Fri, 1 Dec 2006 12:07:31 +0100 |
472 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 |
58 lines |
Call for Papers: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering
|
Huibiao Zhu |
Wed, 20 Dec 2006 14:54:02 +0800 |
1523 lines |
TASE 2007: The submission deadline is extended to 28 January, 2007.
|
Huibiao Zhu |
Fri, 29 Dec 2006 17:46:19 +0800 |
1461 lines |
TASE 2007: The submission deadline is extended to 28 January, 2007
|
Jing Li |
Fri, 29 Dec 2006 13:32:17 +0000 |
290 lines |