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

WoSCA 2021   WoSCA 2021 : 2nd International Workshop on Smart Contract Analysis
CONISOFT 2021   9th International Conference on Software Engineering Research and Innovation
FM 2021   Formal Methods 2021
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
CAV 2021   33rd International Conference on Computer-Aided Verification
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
FMICS 2021   Formal Methods for Industrial Critical Systems
FormaliSE 2021   9th International Conference on Formal Methods in Software Engineering
FDL 2021   24th IEEE Forum on specification & Design Languages