The UofO LOTOS Research Group
The FITS Mailing List
Messages of 2005
Last modified on Thursday, 27-Oct-2005 17:58:35 EDT
- Deadline reminder: Call for Papers FMOODS'05 (Formal Methods for Open Object-Based Distributed Systems)
Martin Steffen
07 Jan 2005 08:04:37 +0100
- Final CFP: CALCO 2005
Markus Roggenbach
Mon, 10 Jan 2005 14:53:16 +0000
- Research Assistant Position in Model Driven Engineering for Reliable
Nicolas Guelfi
Thu, 13 Jan 2005 10:23:03 +0100
- A Special Programme on Logic and Algorithm
vardi@cs.rice.edu (Moshe Vardi)
Wed, 19 Jan 2005 08:31:05 -0600 (CST)
- Call for Papers: Fifth International Conference on Integrated Formal
Graeme Smith
Fri, 21 Jan 2005 09:49:51 +1000 (EST)
- research positions 2005-3
"Carlos Martin-Vide"
Fri, 21 Jan 2005 01:19:16 +0100
- PDMC'05 - 1st CfP
Martin Leucker
Mon, 24 Jan 2005 12:07:53 +0100
- RISC PhD Application announcement.
Risc PhD Program
Mon, 24 Jan 2005 15:09:37 +0100
- ETAPS 2005: CALL FOR PARTICIPATION
David Aspinall
Wed, 26 Jan 2005 23:46:55 +0000 (GMT)
- EDOC2005 CFP
Lea Kutvonen
Sat, 29 Jan 2005 20:32:42 +0200
- FORTE 2005: Call-for-Papers
"Farn Wang"
Wed, 2 Feb 2005 17:55:57 +0800
- Extended Deadline DAIS'05
=?ISO-8859-1?Q?Hartmut_K=F6nig?=
Wed, 02 Feb 2005 20:49:42 +0100
- DAIS2005 deadline extension
Lea Kutvonen
Wed, 2 Feb 2005 21:49:47 +0200
- CALCO Young Researchers Workshop (CALCO-jnr 2005)
Monika Seisenberger
Thu, 3 Feb 2005 00:06:56 GMT
- ATVA 2005: Announcement and Preliminary Call for Papers
Yih-Kuen Tsay
Thu, 17 Feb 2005 18:28:03 +0800
- SEFM 2005 Second CfP
Wolfgang Ahrendt
Thu, 24 Feb 2005 20:24:07 +0100
- AUTONOMOUS COMPUTING and AGENTS for PROCESS AUTOMATION
ABA
Sun, 27 Feb 2005 20:18:44 -0500 (EST)
- CfP FACS'05
=?ISO-8859-1?Q?Bernhard_Sch=E4tz?=
Fri, 4 Mar 2005 09:39:31 +0100
- ETAPS 2005: Second Call for Participation
David Aspinall
Fri, 4 Mar 2005 20:53:05 +0000 (GMT)
- FORTE 2005: 2nd Call-for-Papers
"Farn Wang"
Mon, 7 Mar 2005 18:22:05 +0800
- invitation to contribute to AXMEDIS 2005: Conf. management of Media Content
"AXMEDIS Conference"
Thu, 10 Mar 2005 08:51:29 +0100
- EDOC2005 call and deadline extension
Lea Kutvonen
Thu, 10 Mar 2005 10:28:13 +0200
- EDOC2005 workshops call
Lea Kutvonen
Thu, 10 Mar 2005 10:29:30 +0200
- seven days to deadline for SEFM abstracts
Wolfgang Ahrendt
Mon, 14 Mar 2005 18:53:18 +0100
- Express'05 First CFP
Iain Phillips
Wed, 16 Mar 2005 19:55:53 +0000
- IFIP TestCom 2005: Call for Participation
Ferhat Khendek
Mon, 21 Mar 2005 10:28:08 -0500
- FORTE 2005: Call-for-papers
"Farn Wang"
Wed, 23 Mar 2005 18:09:32 +0800
- invitation to contribute, AXMEDIS 2005, intern.conf. on MEDIA CONTENT management
"AXMEDIS Conference"
Thu, 24 Mar 2005 00:54:24 +0100
- FLoC 2006 Preliminary Announcement
Kreutzer + Schweikardt
Thu, 31 Mar 2005 22:23:51 +0200 (CEST)
- CfP: PDMC'05 at ICALP'05
Martin Leucker
Fri, 1 Apr 2005 11:36:11 +0200
- FORTE 2005: Submission deadline extended to April 20, 2005
"Farn Wang"
Thu, 7 Apr 2005 14:57:08 +0800
- Call for Papers: Fifth International Conference on Integrated Formal
Graeme Smith
Fri, 8 Apr 2005 09:47:37 +1000 (EST)
- Call for Participation IFIP Conference DAIS05
=?ISO-8859-1?Q?Hartmut_K=F6nig?=
Tue, 12 Apr 2005 10:24:13 +0200
- Call for Papers - ICTAC05 (Hanoi)
"Bernhard K. Aichernig"
Tue, 12 Apr 2005 18:01:16 +0800
- PDMC'05 Deadline Extension
Martin Leucker
Wed, 13 Apr 2005 22:33:38 +0200
- CFV'05 Call for Papers
Miroslav Velev
Thu, 14 Apr 2005 18:29:57 -0400 (EDT)
- CALCO Young Researchers Workshop (CALCO-jnr 2005)
Monika Seisenberger
Fri, 15 Apr 2005 11:39:30 +0100
- Empirical Software Engineering - New publisher, web site, and 10th
Lionel Briand
Fri, 15 Apr 2005 16:51:35 -0400
- Final CFP: Bounded Model Checking workshop (BMC'05)
"Ofer Strichman"
Wed, 20 Apr 2005 15:33:50 +0300
- DISPROVING 2005, Last Call for Papers
Wolfgang Ahrendt
Wed, 20 Apr 2005 18:10:58 +0200
- FORTE 2005: FIRM deadline extension: Monday 25 April 2005
"Farn Wang"
Thu, 21 Apr 2005 14:28:06 +0800
- Express'05 Second CFP
Iain Phillips
Mon, 25 Apr 2005 12:04:37 +0100
- CFP: OMER3 Object-oriented Modeling of Embedded Real-Time Systems
=?ISO-8859-1?Q?Bernhard_Sch=E4tz?=
Mon, 2 May 2005 15:17:22 +0200
- MoDELS 2005: CALL FOR TUTORIAL PROPOSALS
Gianna Reggio
Tue, 3 May 2005 10:17:26 +0200
- CFP: 3rd Workshop on Object-oriented Modeling of Embedded Real-Time
Holger Giese
Tue, 03 May 2005 20:58:51 +0200
- ATVA 2005: Call for Papers (Deadline: May 23)
Yih-Kuen Tsay
Wed, 4 May 2005 17:35:36 +0800
- Final Call for Papers: IFM 2005
Graeme Smith
Thu, 5 May 2005 09:32:12 +1000 (EST)
- ACM Transactions on Computational Logic - Call for Nominations
mvardi@cs.rice.edu (Moshe Vardi)
Fri, 6 May 2005 15:40:09 -0500 (CDT)
- invitation to contribute, Musicnetwork Open Workshop, Vienna july 2005
"MUSICNETWORK"
Tue, 10 May 2005 03:50:26 +0200
- Extended early registration deadline for SDL'05: 17th of May
Andreas Prinz
Tue, 10 May 2005 15:25:52 +0200
- RISE 2005 - Intl. Workshop. CFP on Rapid Integration of Software
Nicolas Guelfi
Wed, 11 May 2005 11:34:52 +0200
- Call for Participation DAIS05 / Early registration deadline approaching
=?ISO-8859-1?Q?Hartmut_K=F6nig?=
Fri, 13 May 2005 12:05:37 +0200
- CALCO: 1st call for Participation
Markus Roggenbach
Tue, 17 May 2005 15:04:56 +0100
- [esecfse05pub] RAMSS'05 Workshop (deadline 31rd May) - REMINDER
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Tue, 17 May 2005 16:47:33 +0100
- [esecfse05pub] FMICS'05 SUBMISSION DEADLINE EXTENSION to MAY 20
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Wed, 18 May 2005 11:25:04 +0100
- DAIS2005 final call for participation
Lea Kutvonen
Thu, 19 May 2005 15:41:25 +0300
- [esecfse05pub] SEM'05 Workshop (deadline 1st June) - REMINDER
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Thu, 19 May 2005 13:58:51 +0100
- ATVA 2005: Final CFP (New Deadline: May 27)
Yih-Kuen Tsay
Fri, 20 May 2005 23:27:28 +0800
- [esecfse05pub] FMICS05 SUBMISSION DEADLINE EXTENSION to MAY 27
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Fri, 20 May 2005 16:22:18 +0100
- CFV'05 Call for Papers
Miroslav Velev
Mon, 23 May 2005 00:51:29 -0400 (EDT)
- [esecfse05pub] PASTE 2005 workshop deadline June 1
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Mon, 23 May 2005 12:49:45 +0100
- Call for Participation
"Alexander Zapletal"
Wed, 25 May 2005 15:30:00 +0200
- FMICS'05: Reminder - Deadline for abstracts is today!
Tiziana Margaria
Fri, 27 May 2005 12:46:04 +0200
- [esecfse05pub] Call for Papers - Software Engineering and Middleware
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Sat, 28 May 2005 14:29:10 +0100
- Final Call for Participation IFIP Conference DAIS05
=?ISO-8859-1?Q?Hartmut_K=F6nig?=
Thu, 02 Jun 2005 13:36:41 +0200
- 2005 IEEE ISoLA Workshop: Call for papers
Tiziana Margaria
Fri, 03 Jun 2005 22:30:17 +0200
- 2nd CFP: 3rd Workshop on Object-oriented Modeling of Embedded Real-Time
Holger Giese
Sun, 05 Jun 2005 11:26:05 +0200
- [esecfse05pub] ESEC/FSE'05 Call for Participation
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Fri, 10 Jun 2005 12:13:03 +0100
- CALCO: 2nd Call for Participation
Markus Roggenbach
Fri, 10 Jun 2005 13:52:21 +0100
- [esecfse05pub] News Update
"M.A.Wermelinger"
Tue, 14 Jun 2005 12:24:25 +0100
- PDPAR'05 call for participation
Alessandro Cimatti
Wed, 15 Jun 2005 00:14:52 +0200
- SEFM 2005 Call for Participation
Wolfgang Ahrendt
Wed, 15 Jun 2005 10:07:16 +0200
- Professor Eiichi Goto
"Bruno Buchberger"
Thu, 16 Jun 2005 13:39:02 +0200
- CALCO-jnr 2005 - Call for Participation
Monika Seisenberger
Thu, 16 Jun 2005 16:04:58 +0100
- Call for Papers: FACS'05 - Macao
"Bernhard K. Aichernig"
Fri, 17 Jun 2005 17:36:46 +0800
- Deadline Extension: 3rd Workshop on Object-oriented Modeling of Embedded
Holger Giese
Sun, 19 Jun 2005 07:40:02 +0200
- FLoC 2006: Call For Workshop Proposals
Kreutzer + Schweikardt
Mon, 20 Jun 2005 20:37:14 +0200 (CEST)
- CFP: IEEE incorporated International Conference on Computational Intelligence for Modelling, Control and Automation
"cimca"
Tue, 21 Jun 2005 11:21:44 +1000
- [esecfse05pub] Registration with accomodation
"M.A.Wermelinger"
Mon, 27 Jun 2005 09:41:59 +0100
- MathSAT: PhD positions at ICT-Trento
Alessandro Cimatti
Tue, 28 Jun 2005 14:40:18 +0200
- PhD position in Monadic Computational Logics
Lutz Schroeder
Thu, 30 Jun 2005 15:53:37 +0200
- [esecfse05pub] FMICS05: Cal for Participation
Mieke Massink
Tue, 05 Jul 2005 09:45:54 +0200
- [esecfse05pub] PASTE 2005 call for participation: Program Analysis
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Wed, 6 Jul 2005 10:56:11 +0100
- ISAAC: Young Researcher Position at ITC-IRST, Trento
Marco Bozzano
Wed, 06 Jul 2005 14:53:59 +0200
- MUSEUM DESIGN SURVEY: http://www.tec-lab.ch/epoch_design_survey
"Bolchini Davide"
Thu, 7 Jul 2005 10:43:25 +0200
- RISE 2005 - FINAL NOTICE, DEADLINE EXTENSION
Nicolas Guelfi
Mon, 11 Jul 2005 16:37:43 +0200
- Express'05 - Call for Participation
Iain Phillips
Tue, 12 Jul 2005 17:17:43 +0100
- [esecfse05pub] SEM 2005 scholarships
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Sat, 16 Jul 2005 13:29:53 +0100
- [SEFM 2005] CfParticipation - Early Registration ends 31 July 2005
Bernhard Beckert
Wed, 20 Jul 2005 02:24:23 +0200
- CALCO: 3rd Call for Participation
Markus Roggenbach
Wed, 20 Jul 2005 16:05:43 +0100
- [esecfse05pub] ESEC/FSE early registration (29th July)!
Leonor Barroca
Fri, 22 Jul 2005 11:22:27 +0100
- FORTE 2005: Preliminary Program and the 1st Call for Participation
"Farn Wang"
Mon, 25 Jul 2005 13:33:50 +0800
- [esecfse05pub] Late registration deadline postponement
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Wed, 3 Aug 2005 00:45:09 +0100
- [esecfse05pub] Late registration deadline postponement (2)
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Wed, 3 Aug 2005 10:10:51 +0100
- ATVA 2005: Preliminary Program and Call for Participation
Yih-Kuen Tsay
Thu, 4 Aug 2005 01:13:53 +0800
- [esecfse05pub] ESEC/FSE late registration (16th August)!
=?iso-8859-1?Q?Crist=F3v=E3o_Oliveira?=
Fri, 12 Aug 2005 12:05:31 +0100
- Information and Computation - Open-Access Experiment
mvardi@cs.rice.edu (Moshe Vardi)
Fri, 12 Aug 2005 12:01:30 -0500 (CDT)
- CFP WRLA06
"WRLA Acct (Denker)"
Fri, 12 Aug 2005 16:13:48 -0700
- Special Semester on Groebner Bases and Related Methods 2006
"Alexander Zapletal"
Tue, 16 Aug 2005 15:26:23 +0200
- IFM 2005: Call for Participation
Graeme Smith
Thu, 18 Aug 2005 16:22:09 +1000 (EST)
- FORTE 2005: student travel grants waiting for application!
"Farn Wang"
Tue, 23 Aug 2005 18:04:54 +0800
- ATVA 2005: Call for Participation
Yih-Kuen Tsay
Tue, 30 Aug 2005 23:35:16 +0800
- FORTE 2005: Call for participation, early registration 9/1
"Farn Wang"
Wed, 31 Aug 2005 13:13:18 +0800
- ECMDA Workshop on "Consistency in Model Driven Engineering": call for papers
Gianna Reggio
Fri, 2 Sep 2005 17:15:12 +0200
- CiE 2006, Call for Papers
cie06@swansea.ac.uk
Mon, 05 Sep 2005 20:26:19 +0100
- FORTE 2005: Call for Participations
"Farn Wang"
Fri, 9 Sep 2005 18:30:42 +0800
- Call for Participation: 3rd Workshop on Object-oriented Modeling
Holger Giese
Sun, 18 Sep 2005 10:20:35 +0200
- Doctoral symposium at IFM 2005 (cfp)
Graeme Smith
Thu, 22 Sep 2005 14:59:24 +1000 (EST)
- [VMCAI '06] Final CFP Sun 25 Sep 05
"VMCAI '06"
Fri, 23 Sep 2005 03:06:27 -0500
- Call For Papers
Jacques Sincennes
Fri, 23 Sep 2005 19:41:18 -0400 (EDT)
- FI & Software Engineering at Microsoft
Tom Gray
Sun, 25 Sep 2005 09:44:05 -0400
- 2nd Call for Participation: IFM 2005
Graeme Smith
Tue, 27 Sep 2005 15:59:28 +1000 (EST)
- CfP MDB/MOMPES 2006 Workshop
=?ISO-8859-1?Q?Bernhard_Sch=E4tz?=
Thu, 6 Oct 2005 13:43:30 +0200
- CFP WRLA06 Vienna
"WRLA Acct (Denker)"
Fri, 7 Oct 2005 15:52:10 -0700
- CMCS 2006
ajp@inf.ed.ac.uk
Tue, 11 Oct 2005 09:29:19 +0100
- WFCS2006: Call for Papers
farn@cc.ee.ntu.edu.tw
Thu, 13 Oct 2005 00:07:16 +0800
- Computer Networks issue on Features
Mark D Ryan
Thu, 13 Oct 2005 11:34:04 +0100
- Call for papers and workshop proposals - DAIS 2006
"DAIS'06"
Thu, 13 Oct 2005 22:20:38 +0200
- Journal "Logical Methods in CS"
Logical Methods in CS
Wed, 26 Oct 2005 06:50:08 +0200
owner-FITS-list@site.uottawa.ca