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

SETTA 2025   11th Symposium on Dependable Software Engineering: Theories, Tools and Applications
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
AIAT 2025   2025 5th International Conference on Artificial Intelligence and Application Technologies (AIAT 2025)
CAV 2025   37th International Conference on Computer Aided Verification
ICSE 2026   The International Conference on Software Engineering - Second Cycle
ICCR--EI 2025   2025 7th International Conference on Control and Robotics (ICCR 2025)
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering