8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) 2010
カンファレンス > E-Business, E-Commerce カンファレンス > IEEE International Conference on Software Engineering and Formal Methods (SEFM)
September 13 - 18, 2010
Pisa , イタリア
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.
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.
開催地
Location: Institute of Information Science and Technologies
連絡先
Area della Ricerca CNR, via G. Moruzzi 1, 56124 PISA, Italy Pisa , Italy
+39 050 3152878
関連イベント
8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) September 13 - 18, 2010