2017

• Backward Model Checking of Uniform Strategies. Simon Busard. 8th International Symposium on Games, Automata, Logics, and Formal Verification. 20–22 September 2017, Rome, Italy.
• Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. Simon Busard. Simon Busard Public Defense, July 3, 2017, Louvain-la-Neuve, Belgium.

2015

• What can imperfect agents achieve? Verification of strategies under partial observability. Simon Busard. "My Thesis in 180 seconds" contest, ICTEAM Young Researchers' Day 2015, May 26, 2015, Modave, Belgium.

2014

• Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard. 16th International Conference on Formal Engineering Methods, November 3-7, 2014, Luxembourg.

2013

• Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard. CFV Seminar, November 29, 2013, Brussels, Belgium.
• Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard. 1st International Workshop on Strategic Reasoning, March 16-17, 2013, Rome, Italy.
• PyNuSMV: NuSMV as a Python Library. Simon Busard. 5th NASA Formal Methods Symposium, May 14-16, 2013, NASA Ames Research Center, Moffett Field, CA, USA.

2012

• Computer Science and Proof: a Brief History of Automated Reasoning. Charles Pecheur. seminar series Fondements et Notions Fondamentales, UCL, 12 Mar 2012.
• Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Simon Busard. Second International Workshop on Interactions, Games and Protocols, 24 March - 1 April 2012, Tallinn, Estonia.

2011

• Learning System Abstractions for Human Operators. Charles Pecheur. MALETS Workshop, Lawrence, KA, USA, Nov 12, 2011.
• A Formal Framework for Design and Analysis of Human-Machine Interaction. Sébastien Combéfis?. 2011 IEEE International Conference on Systems, Man, and Cybernetics, October 9-12, 2011, Anchorage, AK, USA.
• Rich Counter-Examples for ACTL Model Checking. Simon Busard. Grascomp’s Contact Day, November 3rd, 2011, Université Libre de Bruxelles, Brussels, Belgium.

2009

• A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. Sébastien Combéfis?. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, July 14-17, 2009, Pittsburgh, PA, USA.
• Verification of Embedded Software: from Mars to Actions. Charles Pecheur. Seminar at Xerox PARC, Jul 31, 2009, derived from FMICS 2007.

2008

• Model Checking for Software. Charles Pecheur. Tutorial for MOVES meeting, June 2008.

2007

• Verification of Embedded Software: from Mars to Actions. Charles Pecheur. Invited Talk at FMICS 2007, June 1, 2007.
• Testing Planning Domains (without Model Checkers). Charles Pecheur. MBT Workshop, Braga, Portugal, Mar 31, 2007.

2006

• Verification of Intelligent Controllers using Model Checking. Charles Pecheur. Invited Talk at ASTRA 2006, Nov 2006.
• Symbolic Model Checking of Logics with Actions. Charles Pecheur. MOCHART Workshop, Riva del Garda, Italy, Aug 29, 2006.
• Guided Simulation of Autonomous Controllers. Charles Pecheur. Dagstuhl seminar on Directed Model Checking, Dagstuhl, Germany, May 2006.