Some conferences I am (or was) associated with:

• Formal Methods for Parallel Programming
• International Conference on Formal Engineering Methods

Michel Charpentier <>