posted by user: jyotirmoy || 2767 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 2020   Software Engineering and Formal Methods
ASYDE 2020   Automated and verifiable Software sYstem DEvelopment
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems
EMNLP 2020   Conference on Empirical Methods in Natural Language Processing
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”