posted by user: jyotirmoy || 3584 views || tracked by 11 users: [display]

SEFM 2009 : software engineering and formal methods

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: http://www.iist.unu.edu/sefm2009/#dates
 
When Nov 23, 2009 - Nov 27, 2009
Where Hanoi
Abstract Registration Due May 15, 2009
Submission Deadline May 29, 2009
Notification Due Jul 17, 2009
Final Version Due Aug 7, 2009
 

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)
TFP 2023   Trends in Functional Programming
IEEE ICCSN 2023   IEEE--2023 15th International Conference on Communication Software and Networks (ICCSN 2023)
ESOP 2023   32st European Symposium on Programming