 |
|
|
International Workshop PMD'01 |
|
| Program | |
| Proceedings | |
| Call for Participation | |
| Call for Contributions (obsolete) | |
| Invited Speaker | |
|
|
| Important Dates | |
|
|
| Organisers | |
PMD'01
Precise Modelling and Deduction for Object-oriented
Software Development
International Workshop at IJCAR 2001
NEW: Workshop ProgramNEW: Workshop Proceedings
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.
The meeting will include presentations of contributed papers, an invited talk, and a tool demo session.
Informal proceedings will be available at the workshop and can be downloaded here.
Participation
Participation is open to all interested IJCAR attendees. If you are interested in participating, please send an email to PMD@mail.informatik.kit.edu, indicating your full name and address.
Important Dates
- Workshop: Jun 18, 2001
- IJCAR 2001: Jun 20-23, 2001
Organisers
- Bernhard Beckert
(University of Karlsruhe, Germany)
- Robert France (Colorado State University, USA)
- Reiner Hähnle (Chalmers University of Technology, Sweden)
- Bart Jacobs (University of Nijmegen, The Netherlands)
- Robert France (Colorado State University, USA)