Presentation Sildes for "Model-based Testing of Reactive Systems" by Martin Leucker are NOW available in the Tutorials page.

Click here to see the photo taken in Yingjie Exchange Center Building, Peking University at the open ceremony.

SEFM2005 will be in September 2005 in Koblenz, Germany.
Click HERE

Peking University

The International Conference on Software Engineering and Formal Methods will be held on the campus of Peking University in Beijing, the capital of China.

The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

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

Invited Speakers:

Mathai Joseph, TRDDC, Pune, India
Hong Mei, Peking University, Beijing, China
Jayadev Misra, Austin Texas, USA
Tobias Nipkow (Technische Universität München, Germany)
Martin Wirsing, Ludwig Maximilian University, Munich, Germany


The proceedings of the conference will be published by the IEEE Computer Society Press. The best papers will be selected to be published in the International Journal on Software and Systems Modelling published by Springer http://www.sosym.org.