Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 1470 views || tracked by 3 users: [display]

FMOODS/FORTE 2009 : 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems

FacebookTwitterLinkedInGoogle

Link: http://discotec09.di.fc.ul.pt/index.php?title=Fmoods_forte
 
When Jun 9, 2009 - Jun 11, 2009
Where Lisbon, Portugal
Abstract Registration Due Jan 28, 2009
Submission Deadline Feb 1, 2009
 

Call For Papers

[Empty]

Related Resources

MLDS 2024   5th International Conference on Machine Learning Techniques and Data Science
SOEN 2024   9th International Conference on Software Engineering
SOEN 2024   9th International Conference on Software Engineering
ICFEM 2024   International Conference on Formal Engineering Methods
SBMF 2024   27th Brazilian Symposium on Formal Methods
CSL 2025   Computer Science Logic
7FMA 2024   7th International Symposium Formal Methods in Architecture
VSTTE 2024   Verified Software: Theories, Tools, Experiments
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.