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

ACM ICVRT 2026   ACM--2026 The 9th International Conference on Virtual Reality Technology (ICVRT 2026)
IEEE PRAI 2026   IEEE--2026 9th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2026)
ICoIAS 2026   IEEE--2026 the 8th International Conference on Intelligent Autonomous Systems (ICoIAS 2026)
ICHMI--EI 2026   2026 6th International Conference on Human-Machine Interaction (ICHMI 2026)
ICCS 2026   2026 the 6th International Conference on Computer Systems (ICCS 2026)
ICCIA 2026   2026 11th International Conference on Computational Intelligence and Applications (ICCIA 2026)
ACM BDE 2026   ACM--2026 8th International Conference on Big Data Engineering (BDE 2026)
Springer; Methods in Molecular Biology 2026   Digital Pathology - Methods and Protocols
Springer ICMSCE 2026   Springer--2026 8th International Conference on Mechatronics Systems and Control Engineering (ICMSCE 2026)
ICAME 2026   2026 the 4th International Conference on Automation and Mechatronics Engineering (ICAME 2026)