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

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

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

PDP 2026 Parallel, Distributed, and Network-Based Processing

FM 2026 International Symposium on Formal Methods

NFM 2026 NASA Formal Methods: 18th International Symposium

MEMOCODE 2025 MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design

FMAS 2025 7th International Workshop on Formal Methods for Autonomous Systems

iFM 2025 20th International Conference on Integrated Formal Methods

PDP - CQ 2026 34th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing -- Quantum Computing, Quantum Communication, and Related Quantum Technologies

IOTSEC 2025 2nd International Conference on IoT & Information Security

IJSEA 2025 International Journal of Software Engineering & Applications - ERA Indexed, H Index 35

SBMF 2025 28th Brazilian Symposium on Formal Methods