Valeria's photo
  • Lean Logic for Lean Times: Entailment and Contradiction Revisited. 4th CSLI Workshop on Logic, Rationality and Intelligent Interaction, May 30-31st,2015, Stanford, CA, USA.. 2015. [Slides]
  • Modal Type Theory. Logical and Semantic Frameworks with Applications, LSFA September 2015, Natal, RN, Brazil. A video of the talk is available from their website.. 2015. [Slides]
  • Portuguese Linguistic Tools: What, Why and How. IBM Research Center in Rio de Janeiro, September 2015. 2015. [Slides]
  • Lean Logic for Lean Times: Varieties of Natural Logic. Conference on Computing Natural Reasoning, CoCoNat 2015, July 19-20, 2015, Bloomington, Indiana, USA. 2015. [Slides]
  • Intuitionistic Modal Logic: 15 years later. Berkeley Logic Colloquium, 6th March 2015. Berkeley, CA, USA. 2015. [Slides]