2nd CFP: PMD'01 - Precise Modelling and Deduction for OO Software Development



Date view Thread view Subject view Author view

Bernhard Beckert (beckert@ira.uka.de)
Fri, 9 Mar 2001 17:05:01 +0100 (MET)


Call for Extended Abstracts/Participation International Workshop on PRECISE MODELLING AND DEDUCTION FOR OBJECT-ORIENTED SOFTWARE DEVELOPMENT PMD'01 June 18 or 19, 2001 Siena, Italy Part of IJCAR 2001 http://i12www.ira.uka.de/~beckert/PMD This workshop aims at closing the gap between automated deduction and one of its most important applications: formal methods in software engineering. The workshop brings together the precise modelling and the automated reasoning communities interested in object-oriented software development. The workshop will be held in June 2001 in Siena (Italy) as part of IJCAR 2001, the International Joint Conference on Automated Reasoning (http://www.dii.unisi.it/~ijcar/). The meeting will include presentations of contributed papers, an invited talk, and a discussion and evaluation session. Informal proceedings will be available at the workshop. Possible topics of contributions to this workshop include (but are not limited to): o Logics and languages \ \ encompassing both o Semantics > precise modelling techniques and / deductive techniques o Calculi / o Enriching software development processes with rigorous methods o Tools ----------- Submissions ----------- Participation is open to all interested IJCAR attendees. If you are interested in participating, please send an email to PMD@ira.uka.de, indicating your full name and address and whether you intend to give a talk. Those interested in giving a talk should also submit by March 31st, 2001 an extended abstract of completed or ongoing work (not more than 10 pages in Springer LNCS format). Submissions should be sent in PostScript format to PMD@ira.uka.de. Notification of acceptance will be sent by April 30th, 2001. The final version of the extended abstract must be submitted by May 13th, 2001. All participants must register to IJCAR 2001. Please refer to the IJCAR web page (http://www.dii.unisi.it/~ijcar/) for registration instructions and deadlines. ---------- Organisers ---------- Bernhard Beckert (University of Karlsruhe, Germany) Robert France (Colorado State University, USA) Reiner Haehnle (Chalmers University of Technology, Sweden) Bart Jacobs (University of Nijmegen, The Netherlands) --------------- Invited Speaker --------------- [to be announced] --------------- Important Dates --------------- Submissions: Mar 31, 2001 Notification: Apr 30, 2001 Final Versions: May 13, 2001 Workshop: Jun 18 or 19, 2001 IJCAR 2001: Jun 20-23, 2001 For further information, please visit the PMD'01 web site at http://i12www.ira.uka.de/~beckert/PMD


Date view Thread view Subject view Author view