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

SPIN 2023   29th International Symposium on Model Checking of Software
SEKE 2023   The 35th International Conference on Software Engineering and Knowledge Engineering
ESEC/FSE 2023   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
SEAI 2023   2023 3rd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2023)
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICMT 2023   2023 International Conference on Metaverse Technology (ICMT 2022)
CVIE--EI 2023   2023 The 3rd International Conference on Computer Vision and Information Engineering (CVIE 2023)
ICCIA 2023   IEEE--2023 8th International Conference on Computational Intelligence and Applications (ICCIA 2023)
NFM 2023   NASA Formal Methods Symposium
TFP 2023   Trends in Functional Programming