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

SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
VSTTE 2024   Verified Software: Theories, Tools, Experiments
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
ACM ICSCA 2025   ACM--2025 14th International Conference on Software and Computer Applications (ICSCA 2025)
IEEE ICCTech 2025   IEEE--2025 the 4th International Conference on Computer Technologies (ICCTech 2025)
CCCIS--EI 2025   2025 5th International Conference on Computer Communication and Information Systems (CCCIS 2025)
WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)