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
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.
Mathai Joseph, TRDDC, Pune, India
Hong Mei, Peking University, Beijing, China
Jayadev Misra, Austin Texas, USA
Tobias Nipkow (Technische Universität
Martin Wirsing, Ludwig Maximilian University,