Dirk Beyer Curriculum Vitae[removed]Coordinates p Affiliation:

Source URL: www.sosy-lab.org

• Software verification
• Rabbit Model Checker
• Ambient intelligence
• Software engineering
• Year of birth missing
• CHIC
• Lecture Notes in Computer Science
• International Conference on Formal Techniques for Networked and Distributed Systems

CALL FOR PAPERS 11th International IFIP Conference on Distributed Applications and Interoperable Systems (DAIS’11)

Source URL: discotec.ru.is

• Middleware
• Cloud computing
• Ubiquitous computing
• Context-aware pervasive systems
• Peer-to-peer
• Systems science
• International Conference on Formal Techniques for Networked and Distributed Systems
• Systems engineering
• Computing
• Concurrent computing

FMOODS & FORTE 2011: IFIP International Conference on Formal Techniques for Distributed Systems (joint conference 13th Formal Methods for Open Object-Based Distributed Systems & 31th Formal Techniques for Networked and D

Source URL: discotec.ru.is

Call For Contributions: Papers, Experience Reports & Panel Proposals COORDINATION 2011 13th International Conference on Coordination Models and Languages[removed]June 2011, Reykjavik, Iceland http://discotec.ru.is/ COORDIN

Source URL: discotec.ru.is

• Parallel computing
• Domain-specific language
• Middleware
• Computing
• Systems science
• Actor model
• Computer science
• International Conference on Formal Techniques for Networked and Distributed Systems
• Concurrency
• Software engineering
• Programming paradigm