ECOOP / The Specification Language JML

Building S1/15, Room 133
Alexanderstraße 10
64283 Darmstadt
Sunday, July 20
6 p.m. to 8 p.m.

People interested in the Java Modeling Language (JML, see http://www.jmlspecs.org) can meet here. The current status of the language, its tools, future directions and priorities are discussed.

conference programme
conference at a glance
technical papers
invited talks
tutorials
workshops
panels
demonstrations
posters
practitioner reports
BOFs

for the industry

call for contributions
technical papers
workshops - guidelines
tutorials - guidelines
panels
doctoral symposium
demonstrations - guidelines
posters - guidelines
practitioner reports

important dates

registration / fees

downloads

past conferences

student volunteers

social programme
additional sightseeing
tours

facts for the traveller
conference site
accomodation
darmstadt
germany
sightseeing
darmstadt's neighbourhood

ECOOP is sponsored by

Microsoft Research

CaseConsult.de

Sun.com

DFG.de

ERCIM.org

Cache.de

Cincom.com

Springer LNCS

Software AG

in cooperation with ACM SIGPLAN

ACM SIGPLAN