| 3-5. April 2007 | CIAO 2007, Scotland |
| 27-28. March 2007 | Deduktionstreffen 2007 , Koblenz, Germany |
| 20-22 December 2006 | Workshop CHIT/CHAT'06 , Nijmegen, The Netherlands |
| 13 August-22 August 2006 | FLOC'06 , Seattle, USA |
| 10 August-13 August 2006 | MKM'2006 , Wokingham, England |
| Mai-July, 2006 | "DREAM Group (University of Edinburgh)" (Visiting Researcher), Edinburgh, Scotland |
| April, 6-7th 2006 | "15th CIAO Workshop" , Braunshausen, Germany |
| December, 14-15th 2005 | "ICCL Autumn Workshop - Deep Inference and Proof Theory" , Dresden, Germany |
| October, 13-14th 2005 | Nancy-Saarbrücken Workshop, Nancy, France |
| September, 14-17th 2005 | TABLEAUX/FTP 2005, Koblenz, Germany |
| July 22-27th, 2005 | CADE-20, Tallinn, Estonia |
| July 14-16th 2005 | MKM'05, Bremen (IUB), Germany |
| May 30-31st, 2005 | Rho-Calculus Workshop, LIX-Ecole Polytechnique, Palaiseau, FRANCE: |
| April 9th 2005 | UITP'05, Edinburgh, Scotland |
| April 4-6th, 2005 | CIAO'04 Workshop, Nottingham, UK |
| February 10th, 2005 | LORIA, Nancy, France |