Talks
 
 
Invited Presentations
  • "What is a good sequent calculus?", PHILMATH seminar, Paris, France, 24 January 2011.
  • "Proof Theory for S5 and Its Extensions", IRIT-LILaC Seminar, Toulouse, France, 17 December 2010.
  • "On the Importance of Being Analytic", Workshop on the Theory of Information, Brussels, Belgium, 18-19 November 2010.
  • "Raisonnement Hypothétique", Three Days ANR-DFG Workshop, Berlin, Germany, 5-7 May 2010.
  • "Cut-free and Normalised Logic of Proofs", Florence-Pisa-Siena Logic Workshop, Florence, Italy, 16 April 2010.
  • "Cut-free and Normalised Logic of Proofs", GROLOG Colloquium, Groningen, Netherlands, 18 March 2010.
  • "GL and S5 systems from a proof-theoretical point of view", Computer Science seminar at the CUNY Graduate Center, New York, U.S.A, 21 April 2009.
  • "S5 and PDL systems from a proof-theoretical point of view", Oxford seminar at the Computing Laboratory, Oxford, England, 27-29 October 2008.
  • "Tree-hypersequent calculi for propositional dynamic logic", Annual meeting Florence-Irvine, Florence, Italy, 18-19 September, 2008.
  • "The tree-hypersequent method for modal propositional logic", AILA Conference, Genova, Italy, 20-23 February 2008.
  • "The tree-hypersequent calculi for modal propositional logic", Seminar of the Research Group for Theoretical Computer Science and Logic of the University of Bern, Bern, Switzerland, 4-6 April 2007.
  • "The tree-hypersequent calculi for modal propositional logic", Annual meeting Florence-Irvine, Irvine, Los Angeles, U.S.A, 23-24 March 2007.  
  • "The tree-hypersequent calculi for modal propositional logic", Florence Seminar, Florence, Italy, 9 March 2007. 
  • "A new sequent calculus for modal logic", Philform seminar, Paris, France, 4 April 2006.
  • "Trois solutions au Pardadoxe du Connaissant", Cycles de Conférences de Philosophie de l'Université de Genève, Geneve, Switzerland, 11 November 2006.
 
Presentations (with committee)
  • "On the Importance of Being Analytic", Workshops in Philosophy of Mathematics, ANR Ideals of Proofs, Paris, France, 17-19 November 2010.
  • "Towards a Satisfying Proof Analysis of the Logic of Proofs", LogKCA Conference, San Sebastiàn-Donosti, Spain, 3-5 November 2010.
  • "Analytic Logic of Proofs", LPAR 17th Conference, Analytic Proof System Workshop,Yogyakarta,Indonesia, 10-15 October 2010.
  • "Cut-free and Normalised Logic of Proofs", LRR10 Conference, Ghent, Belgium, 20-22 September 2010.
  • "Two cut-free sequent calculi for modal logic S5", Workshop and Young Researcher Days, Brussel, Belgium, 1-2 September 2008.
  • "The eliminability criterion for anti-realistic definitions. The case of logical rules for the necessity operator", ESAP6, Krakow, Poland, 21-26 August 2008.
  • "Two cut-free sequent calculi for modal logic S5", SILFS Conference, Milan, Italy, 8-10 October 2007.
  •   “A new definition of the Došen’s principle”, 21st International Symposium Logica,  Hejnice Monastery, Prague, Czech Republic, 18-22 June 2007. 
  • "Ricerche in Logica Modale", XVII Convegno Nazionale dei Dottori di Ricerca in Filosofia, Reggio Emilia, Italy, 4-7 December 2006.
  • “A New Sequent Calculus for Modal Logic”, Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV,  Torun, Poland, 1-4 September 2006.
  • “Sequent Calculus for Modal Logic”, Logic Colloquium 2006, Nijmegen, the Netherlands, 27 July – 2 August, 2006.
  • "A Criticism of Anderson's Solution to the Knower Paradox. Towards a Provability Solution", ESAP5, Lisbon, Portugal, 27-31 August 2005.
 
 

Sign in|Recent Site Activity|Report Abuse|Print Page|Remove Access|Powered By Google Sites