Formal Verification in the Industry. Erasmus Mundus + Depend Summer School 2019. Nancy, France.

Formal Verification in an Industrial Setting. SC² Summer School 2017. Saarbrücken, Germany.

A formal framework for the design of software components with the B method. FACS 2015. Oct. 15th, 2015.

b2llvm: B developments on the LLVM. CBSoft 2014. Oct. 1st, 2014.

SMT Competition. SMT 2015. Jul. 18th, 2015. Joint work with Sylvain Conchon and Tjark Weber. SMT Competition. CAV 2015. Jul. 22nd, 2015. Joint work with Sylvain Conchon and Tjark Weber.

Designing software components with the B method: appetizer (in Portuguese). Brazilian Conference on Software: Theory and Practice (CBSoft 2014). October 1st, 2014. Designing software components with the B method: main course (in Portuguese). Brazilian Conference on Software: Theory and Practice (CBSoft 2014). October 1st, 2014.