International Conference on

SOFTWARE ENGINEERING AND FORMAL METHODS

Brisbane - Australia
22nd - 27th September, 2003
 S E F M    2 0 0 3
organised by
Software Verification Research Centre,
                     School of ITEE,
                     The University of Queensland
OVERVIEW
CALL FOR PAPERS
CALL FOR TUTORIALS
IMPORTANT DATES
PAPER SUBMISSION
COMMITTEES
SCIENTIFIC PROGRAMME
REGISTRATION
GENERAL INFORMATION
SOCIAL PROGRAMME
RELATED EVENTS
TOURIST INFORMATION
SPONSORS

PC LOGIN
AUTHOR LOGIN

OVERVIEW


THE CONFERENCE IS NOW OVER
The proceedings have been published by the IEEE Computer Society Press.
They are available on-line to IEEE-CS members who have an MDLS subscription and a free IEEE Web Account.

See you in Beijing for SEFM 2004
SEFM 2004
will be jointly organized by Beijing University and UNU/IIST, and will be held on
28 -29 September 2004 in Beijing, China.
Tutorial and Conference Programme UPDATED
General Information
Download Conference Poster

The International Conference on Software Engineering and Formal Methods will be held in the city of Brisbane, at the Carlton Crest Hotel.

The objective of the conference is to bring together practitioners and researchers from academia, industry and government to exchange views on the theoretical foundation of formal methods, their application to software engineering and the socio-economic impact of their use.

Authors are invited to submit both research and tool papers. The scientific program will include paper and tool presentations, tool demonstrations, tutorials and invited talks.


The University of Queensland
Building 78-GPS (General Purpose South)
venue for the tutorials
BACK TO TOP
Created: Fri Sep 13 18:22:35 EST 2002
Last modified: Mon Nov 3 17:05:11 EST 2003
Maintained by
Antonio Cerone