posted by user: roopsha || 1672 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

NLPCL 2025   6th International Conference on Natural Language Processing and Computational Linguistics
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
FM 2026   International Symposium on Formal Methods
PDP 2026   Parallel, Distributed, and Network-Based Processing
iFM 2025   20th International Conference on Integrated Formal Methods
FMAS 2025   7th International Workshop on Formal Methods for Autonomous Systems
SBMF 2025   28th Brazilian Symposium on Formal Methods
DECODE 2025   Distributed Ecosystem for Circularity through Open Digital Enablers and the Digital Product Passport, Workshop at the 21st CNSM 2025
CMSB 2025   23rd international conference on Computational Methods in Systems Biology (CMSB 2025)
BIOSE 2025   8th International Conference on Bioscience & Engineering