Conferences and Workshops

• EpiConFor (Workshop of Epistemology, Context and Formalism)
  • in Nancy, France, 2009

• VTSA 2009 (Summer School of Verification Technologies, Systems and Applications)
  • in Nancy, France, 2009.

• Prague Fall School 2009 (Prague Fall School of Logic and Complexity, with emphasis on Proof Complexity)
  • in Prague, Czech Republic, 2009.

• SD09 (Workshop on Structures and Deduction)
  • in Bordeaux, France, 2009.

• ESSLLI 2009 (European Summer School in Logic, Language and Information)
  • in Bordeaux, France, 2009.

• PCC 2009 (8th Conference on Proofs, Computation and Complexity)
  • in Nancy, France, 2009.

• ESSLLI 2008 (European Summer School in Logic, Language and Information)
  • in Hamburg, Germany, 2008.

• MKM 2008 (7th International Conference on Mathematical Knowledge Management Conference)
  • in Birmingham, England, 2008.

• AISC 2008 (9th International Conference on Artificial Intelligence and Symbolic Computation)
  • in Birmingham, England, 2008.

• Calculemus 2008 (15th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning)
  • in Birmingham, England. 2008.

• ESARM (Workshop on Empirically Successful Automated Reasoning for Mathematics)
  • in Birmingham, England. 2008.

• PLMMS (Workshop on Programming Languages for Mechanized Mathematics Systems)
  • in Birmingham, England. 2008.

• ARW (15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice)
  • in Birmingham, England, 2008.

• CL&C 2008 (Workshop on Classical Logic and Computation)
  • in Reykjavik, Iceland, 2008.

• MSFP 2008 (Workshop on Mathematically Structured Functional Programming)
  • in Reykjavik, Iceland, 2008.

• Workshop on Deep Inference
  • in Nancy, France, 2008.

• Computational Logic Student Workshop
  • in Lisbon, Portugal, 2008.

• ESSLLI 2007 (European Summer School in Logic, Language and Information)
  • in Dublin, Ireland, 2007.

• Computational Logic Student Workshop
  • in Bolzano, Italy, 2006.

• IK2006 (Spring School on neurobiology, cognitive science/psychology, artificial intelligence and robotics)
  • in Günne, Germany, 2006.

• 1st Neuroscience Symposium at the International Institute of Neuroscience
  • in Natal, Brasil, 2004.

• SIICUSP (Simpósio Internacional de Iniciacao Científica da Universidade de Sao Paulo)
  • in Sao Paulo, Brasil, 2004.

• "Abrindo o Jogo" Symposium on game programming
  • in Campinas, Brasil, 2003.

• SICINPE (Scientific Initiation Symposium of the National Institute for Space Research)
  • in Sao José dos Campos, Brasil, 2002.

• Symposium "In the Frontiers of Science: Research and International Cooperation in the 21th Century"
  • in Rio de Janeiro, Brasil, 2002.

• 4th International Astronomy Olympiad
  • in Ukraine, 1999.