posted by user: roopsha || 7038 views || tracked by 9 users: [display]

SEFM 2011 : 9th International Conference on Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: http://www.fing.edu.uy/inco/eventos/SEFM2011/
 
When Nov 14, 2011 - Nov 18, 2011
Where Montevideo, Uruguay
Abstract Registration Due Apr 23, 2011
Submission Deadline Apr 30, 2011
Notification Due Jun 15, 2011
Final Version Due Jul 15, 2011
 

Call For Papers

[Empty]

Related Resources

SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
ICSEA 2026   The Twenty-First International Conference on Software Engineering Advances
MIDDLEWARE 2026   27th ACM/IFIP International Middleware Conference
CompAuto--EI 2026   2026 4th International Conference on Computers and Automation (CompAuto 2026)
ICCCI 2026   2026 8th International Conference on Computer Communication and the Internet (ICCCI 2026)
HPCCT 2026   2026 the 10th High Performance Computing and Cluster Technologies Conference (HPCCT 2026)--ESCI
FM 2026   International Symposium on Formal Methods
NFM 2026   NASA Formal Methods: 18th International Symposium
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
IOTSEC 2025   2nd International Conference on IoT & Information Security