Proceedings FM-09 Workshop on Formal Methods for Aerospace
Proceedings Foundations for Interface Technologies
Proceedings Fourth Interaction and Concurrency Experience
Proceedings Fourth Workshop on Mathematically Structured Functional Programming
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010
Proceedings International Workshop on Developments in Implicit Computational complExity
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
Proceedings International Workshop on Verification of Infinite-State Systems
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
Proceedings Second Workshop on Logics for Component Configuration
Proceedings Seventh Workshop on Structural Operational Semantics
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Proceedings Sixth Workshop on Structural Operational Semantics
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
Proceedings Third International Workshop on Classical Logic and Computation
Proceedings Types for Proofs and Programs, Revised Selected Papers
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers
Process algebra with conditionals in the presence of epsilon
Process Behaviour: Formulae vs. Tests (Extended Abstract)