Discussions - comp.specification.z

	Reminder: last week to submit to CAL'2010
	Call for papers CAL'2010: 4th Conference on Software Architectures, Pau, March 9-11, 2010 [link] After Nantes in 2006, Montreal in 2008 and Nancy 2009, the fourth edition of the Conference on Software Architectures will be held in Pau in March 2010. CAL 2010 proposes to again bring together the... more » By Khalil Drira - Oct 30 - 1 new of 1 message

	*** BCS-FACS/LMS Evening Seminar by Prof Mike Gordon, 1 December, London, UK
	(Apologies if you receive multiple copies of this announcement) BCS-FACS Evening Seminar Series Joint event with the London Mathematical Society Forward with Hoare Professor Mike Gordon, FRS (Cambridge University)... more » By Paul.Boca@googlemail.com - Oct 29 - 1 new of 1 message

	CFP CAL'2010 Pau, France, 9-11 march 2010
	Call for papers CAL'2010: 4th Conference on Software Architectures, Pau, March 9-11, 2010 [link] After Nantes in 2006, Montreal in 2008 and Nancy 2009, the fourth edition of the Conference on Software Architectures will be held in Pau in March 2010. CAL 2010 proposes to again bring together the... more » By Khalil Drira - Oct 22 - 1 new of 1 message

Workshop on Model Based Engineering for Embedded Systems Design - Call for Contributions - Deadline November 18, 2009

* *Call for Contributions * The 1st Workshop on Model Based Engineering for Embedded Systems Design * *March 12, 2010 *Dresden , Germany * More information:* [link] Submissions: easychair web site * The application of model-based engineering (MBE) methods for software and systems development in industry is increasing. Moreover, the integration of component-based approaches with MBE has further accelerated its adoption along with providing it with a sound theoretical foundation.... more »

By i...@ecsi.org - Oct 19 - 1 new of 1 message

	SOSE 2010 CFP
	============================== ============================== ============================== ====== We apologize if you receive multiple copies of this announcement. Please disseminate this CFP in any lists you subscribed and among your colleagues/students. We also take this chance to invite you (or anyone from... more » By SOSE2010 - Oct 14 - 1 new of 1 message

	**** FACS/BCSWomen Evening Seminar on Software verification for ubiquitous computing, 19 Oct, 6pm, London
	(Apologis if you receive multiple copies of this message) BCS-FACS/BCS Women Evening Seminar Software verification for ubiquitous computing Prof. Marta Kwiatkowska University of Oxford 19 Oct 2009 6pm BCS London Offices... more » By Paul.Boca@googlemail.com - Oct 13 - 1 new of 1 message

	CAV 2010 Call for Papers
	We apologize if you receive multiple copies of this email. See below on how to unsubscribe. .............................. .............................. ............ 22nd International Conference on Computer Aided Verification (CAV) CAV 2010 [link]... more » By Tayssir Touili - Oct 13 - 2 new of 2 messages

	First CfP: PETRI NETS 2010, 31st International Conference on Application
	* Apologies for multiple copies due to cross-posting * * Please forward to colleagues who might be interested * FIRST CALL FOR PAPERS PETRI NETS 2010 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency June 21-25, 2010 Braga, Portugal Web: [link]... more » By Joao Paulo Barros - Oct 13 - 1 new of 1 message

	Call for Papers/Workshop Proposals (GPC-10, UIC-10, MTPP-10, ICA3PP-10, FC-10, SMPE-10, FutureTech-10, BodyNets-10)
	============================== ============================== ======== Apologies if you receive multiple copies of this announcement. Please disseminate this message in your networks / subscribed lists. We also take this chance to invite you contribute a paper / proposal to these events. Thanks in advance.... more » By C. Hsu" - Oct 12 - 1 new of 1 message

CFP: MBT 2010, Sixth Workshop on Model-Based Testing at ETAPS 2010

MBT 2010 Sixth Workshop on Model-Based Testing March 21, 2010, Pathos, Cyprus [link] Satellite workshop of ETAPS 2010 CALL FOR PAPERS The workshop is devoted to model-based testing of both software and hardware. Model-based testing is closely related to model-based specification. Models are used to describe the behavior of the system... more »

By Bernd Finkbeiner - Oct 11 - 1 new of 1 message