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

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

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

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