presentations

Some presentations I made (or someone else made)

Straightedge and compass constructions - GC 2015, Nanning, China, Feb. 2015

Geometric constraints and invariance - invited talk, Beihang University, Beijing China, Januray 2015

Aspects combinatoires en résolution de contraintes géométriques - conférence invitée, 9èmes journées de travail du groupe de travail en géométrie discrète, Reims Image novembre 2014

Geometric constructions, first order logic and implementation - 5th workshop on Formal And Automated Theorem Proving and Applications. Belgrade. February 2012

RC-(un)constructibility - invited seminar, Belgrade, December 2012

Incidence geometry - invited seminar, Belgrade, December 2013

Résolution de contraintes géométriques : des systèmes experts aux méthodes numériques (in french) - Invited talk at the french "Journées françaises de programmation par contraintes", juin 2007.