Exhibition · Pisa, Italy
IEEE International Conference on Software Engineering and Formal Methods (SEFM)
E-Business, E-Commerce · Software: Data Processing
Key numbers
- Editions on record
- 1first in 2010
About IEEE International Conference on Software Engineering and Formal Methods (SEFM)
The aim of the conference is to bring together researchers and practitioners 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.
The proceedings of the conference will be published by the IEEE Computer Society Press.
From our listing of this edition. Details may have changed since.
Editions
| Year | Dates | Where | Exhibitors | Visitors |
|---|---|---|---|---|
| 2010 | 13–18 Sep 2010 | Institute of Information Science and Technologies Pisa, Italy | — | — |
Past editions from the bvents archive (2008–2019) and organiser figures where they were published.
Questions
When is IEEE International Conference on Software Engineering and Formal Methods (SEFM)?
The next dates haven't been confirmed. The last edition we have on record was 13–18 Sep 2010.
Where is it held?
The last edition we have was at Institute of Information Science and Technologies, Pisa, Italy.