|
|
|
|
Size
|
2. Cfp Modellierung 2004 (Einsendeschluss: 20.10.)
|
Jan Jurjens |
Mon, 22 Sep 2003 08:37:03 +0200 |
364 lines |
Fw: academic vacancies [Royal Holloway University of London]
|
Jonathan Bowen |
Sat, 15 Nov 2003 10:59:31 -0000 |
80 lines |
Announcing AsmBook
|
Jonathan Bowen |
Tue, 22 Apr 2003 12:33:12 +0100 |
98 lines |
Book Announcement -- Logic and Language
|
Neville Dean |
Thu, 19 Jun 2003 16:19:29 +0100 |
75 lines |
Call for Participation: ZB2003 - 3rd International Conference of B and Z Users, 3-6 June 2003
|
Jonathan Bowen |
Fri, 4 Apr 2003 16:37:21 +0100 |
69 lines |
Call for TestCom 2004 position papers
|
Rob Hierons |
Thu, 11 Dec 2003 13:31:37 +0000 |
23 lines |
Fw: Call for Workshops at FM03
|
Jonathan Bowen |
Fri, 10 Jan 2003 21:40:05 -0000 |
827 lines |
CfP Anwire Workshop on Adaptable Service Provision
|
J.Derrick |
Mon, 29 Sep 2003 13:28:12 +0100 |
198 lines |
CFP: ICFEM03
|
Jonathan Bowen |
Fri, 28 Mar 2003 23:13:53 -0000 |
599 lines |
CFP: IFM 2004 (Kent, April 2004)
|
Graeme Smith |
Fri, 27 Jun 2003 20:19:52 +1000 |
180 lines |
CFP: IFM 2004 (Kent, April 2004)
|
Graeme Smith |
Mon, 24 Feb 2003 23:45:30 +0000 |
167 lines |
CHARME 2003
|
Jonathan Bowen |
Fri, 28 Mar 2003 23:13:00 -0000 |
169 lines |
Consistency problems in UML-based software development: DEADLINE EXTENSION
|
Gianna Reggio |
Mon, 18 Aug 2003 09:27:17 +0100 |
33 lines |
CSDUML@UML'03: Call for particip. and tools (early reg. 28 Sep)
|
Jan Jurjens |
Tue, 23 Sep 2003 21:40:57 +0200 |
277 lines |
CSDUML@UML'03: Critical Systems Development with UML
|
Jan Jurjens |
Mon, 30 Jun 2003 23:34:06 +0200 |
202 lines |
CSDUML@UML'03: Critical Systems Development with UML
|
Jan Jurjens |
Tue, 17 Jun 2003 14:12:22 +0200 |
203 lines |
CSDUML@UML'03: Deadline coming up
|
Jan Jurjens |
Tue, 22 Jul 2003 00:23:14 +0200 |
199 lines |
CSDUML@UML'03: Extension of deadline 3 Aug
|
Jan Jurjens |
Mon, 28 Jul 2003 11:41:27 +0200 |
203 lines |
ECOOP 2004: CALL FOR CONTRIBUTIONS
|
etaps02 VERIMAG |
Mon, 13 Oct 2003 10:22:15 +0200 |
284 lines |
Re: FACS03 -- Call for participation
|
<> |
Tue, 12 Aug 2003 11:37:19 +0100 |
1337 lines |
FACS03 -- Call for participation
|
<> |
Tue, 12 Aug 2003 11:35:12 +0100 |
36 lines |
Fw: FACS03 -- Submission Deadline Extended
|
Jonathan Bowen |
Thu, 19 Jun 2003 22:29:45 +0100 |
167 lines |
FACS03 CfP -- Dealine Extended to July 14th, 2003
|
<> |
Sat, 5 Jul 2003 12:49:11 +0100 |
171 lines |
FACS2003 Call for Papers
|
Jonathan Bowen |
Thu, 10 Apr 2003 13:51:20 +0100 |
130 lines |
FIDJI 2003 Intl. Workshop. CFP
|
Gianna Reggio |
Thu, 3 Jul 2003 09:20:01 +0100 |
186 lines |
Final Call for Papers: IFM 2004
|
Graeme Smith |
Mon, 1 Sep 2003 09:52:57 +1000 |
174 lines |
FINAL REMINER: FACS03 CfP -- Dealine is Monday July 14th, 2003
|
<> |
Thu, 10 Jul 2003 10:18:12 +0100 |
172 lines |
FIRST CALL: Consistency problems in UML-based software development
|
Gianna Reggio |
Tue, 27 May 2003 11:09:02 +0100 |
107 lines |
FMCO 2003: CALL FOR PARTICIPATION
|
etaps02 VERIMAG |
Thu, 9 Oct 2003 16:50:45 +0200 |
174 lines |
FMOODS CFP
|
J.Derrick |
Wed, 14 May 2003 13:12:00 +0100 |
179 lines |
FMOODS'03
|
J.Derrick |
Wed, 26 Feb 2003 14:45:14 +0000 |
124 lines |
FMOODS/DAIS registration
|
J.Derrick |
Thu, 16 Oct 2003 15:56:30 +0100 |
57 lines |
ITCLS 2003 Call for Papers and Participation
|
Jesus Correas Fernandez |
Mon, 16 Jun 2003 18:48:03 +0200 |
107 lines |
ITCLS 2003 CfP - Deadline extended to July 14th, 2003
|
Jesus Correas Fernandez |
Fri, 4 Jul 2003 18:26:49 +0200 |
112 lines |
Fw: Model Based Testing. Call for papers
|
Jonathan Bowen |
Fri, 21 Nov 2003 14:24:09 -0000 |
120 lines |
Modellierung 2004 -- 1 Woche bis zur Einreichung !
|
Jan Jurjens |
Sun, 12 Oct 2003 12:06:09 +0200 |
376 lines |
Modellierung 2004: Aufruf fu"r Kurzbeitra"ge/Poster und Industriebeitra"ge sowie Features Workshop
|
Jan Ju''rjens |
Thu, 18 Dec 2003 11:31:19 +0100 |
318 lines |
PhD Positions available
|
Tom InderRieden |
Mon, 8 Sep 2003 16:42:32 +0100 |
41 lines |
Reminder for RCS'03 Workshop, Turku, Finland, 3 June 2003
|
Jonathan Bowen |
Fri, 18 Apr 2003 00:20:22 +0100 |
100 lines |
REMINDER: Consistency problems in UML-based software development
|
Gianna Reggio |
Thu, 14 Aug 2003 11:00:22 +0100 |
113 lines |
Royal Holloway One Day Workshop in B
|
Steve Schneider |
Fri, 13 Jun 2003 17:37:44 +0100 |
52 lines |
Royal Holloway One Day Workshop on B
|
Steve Schneider |
Mon, 30 Jun 2003 13:59:46 +0100 |
61 lines |
SEFM 2004: CALL FOR PAPERS
|
Gianna Reggio |
Wed, 3 Dec 2003 15:22:13 +0000 |
179 lines |
SEFM 2004: CALL FOR PAPERS (with Information about the Invited Speakers)
|
<> |
Thu, 27 Nov 2003 08:43:24 +0000 |
190 lines |
SPIN 2004 - Call for contributions - Deadline 2003/12/06
|
etaps02 VERIMAG |
Sun, 23 Nov 2003 17:50:42 +0100 |
100 lines |
SPIN 2004 - Call for papers - Deadline 2003/12/06
|
etaps02 VERIMAG |
Mon, 17 Nov 2003 19:37:35 +0100 |
95 lines |
SVERTS workshop at UML 2003: 2nd CALL FOR CONTRIBUTIONS
|
etaps02 VERIMAG |
Wed, 30 Jul 2003 21:20:05 +0200 |
109 lines |
SVERTS workshop at UML 2003: CALL FOR CONTRIBUTIONS
|
etaps02 VERIMAG |
Sun, 8 Jun 2003 10:06:59 +0200 |
107 lines |
SVERTS workshop at UML 2003: CALL FOR PARTICIPATION
|
etaps02 VERIMAG |
Thu, 25 Sep 2003 09:47:08 +0200 |
107 lines |
Teaching Formal Methods: Practice and Experience Workshop, Oxford, UK, 12 December 2003
|
Jonathan Bowen |
Wed, 23 Jul 2003 19:22:51 +0100 |
98 lines |
Teaching Formal Methods: Practice and Experience Workshop, Oxford, UK, 12 December 2003 - REMINDER
|
Jonathan Bowen |
Mon, 27 Oct 2003 15:32:31 -0000 |
106 lines |
TestCom 2004 - call for papers
|
Rob Hierons |
Fri, 11 Jul 2003 10:29:17 +0100 |
158 lines |
TestCom 2004 - clarification r.e. submitting papers
|
Rob Hierons |
Fri, 26 Sep 2003 17:00:28 +0100 |
33 lines |
TestCom 2004 - second call for papers
|
Rob Hierons |
Wed, 24 Sep 2003 11:45:38 +0100 |
151 lines |
Vacancies: Lecturers/Senior Lecturers in Computer Science, Southampton UK
|
Michael Butler |
Wed, 9 Apr 2003 12:54:50 +0100 |
74 lines |
