posted by user: jyotirmoy || 3553 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

SEFM 2022   20th International Conference on Software Engineering and Formal Methods
FM 2023   Formal Methods
CETA 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
ESEC/FSE 2023   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
IEEE ICCSN 2023   IEEE--2023 15th International Conference on Communication Software and Networks (ICCSN 2023)
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ACM ICHMI 2023   ACM--2023 3rd International Conference on Human–Machine Interaction (ICHMI 2023)
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
IEEE CCAI 2023   IEEE--2023 3rd International Conference on Computer Communication and Artificial Intelligence (CCAI 2023)
SBMF 2022   25th Brazilian Symposium on Formal Methods