Call for Participation
                   
		       International Workshop on

		    PRECISE MODELLING AND DEDUCTION
		FOR OBJECT-ORIENTED SOFTWARE DEVELOPMENT

				 PMD'01

			     June 18, 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 too demo session.

Informal proceedings will be available at the workshop.


-------------
Participation
-------------

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.


---------------
Invited Speaker
---------------

Johann Schumann (NASA Ames Reasearch Center)


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


---------------
Important Dates
---------------

Workshop:           Jun 18, 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