posted by user: roopsha || 6146 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

ICFEM 2024   International Conference on Formal Engineering Methods
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
BDPC 2025   2025 3rd International Conference on Big Data and Privacy Computing (BDPC 2025)
ICAASE 2024   The 6th Edition of the International Conference on Advanced Aspectsof Software Engineering
ICCDE--EI 2025   2025 11th International Conference on Computing and Data Engineering (ICCDE 2025)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems