|
|
|
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 |