Research Interests

• Categorical Proof Theory (lecture notes, perhaps categorical logic?)
  
• Category Theory
  
• Linear Logic
  
• Intuitionistic Modal Logics  (biblio, see also IMLA99,  IMLA02, IMLA05 and IMLA08)
  
• Logics for Knowledge Representation (KXDC)
• Logics of Context
• Typed Lambda Calculi
• Semantics of Programming Languages
• Formal Aspects of Computer Security
• Linguistic Applications of Linear Logic
• Automated Deduction
• Categories in Concurrency Theory

Research Talks

• Contexts and Ontologies 2008, a workshop associated with ECAI-2008, July 21-22, 2008, Patras, Greece. Patricia's preliminary slides/notes?
  
• Contexts and Ontologies-- Representation and Reasoning, associated with the Context Workshop, 21st August, 2007, Roskilde University, Roskilde, Denmark
• Context Representation and Reasoning (CRR'06), Riva del Garda, Italy,  29th August 2006. (slides)
  
• Constructive Hybrid Logics and  Contexts, Hylo2006, August, 11th, 2006. Workshop associated with LICS 2006, Seattle, Washington, USA. Invited Speaker. (slides), photo.
  
• Context Representation and Reasoning (CRR'05), Paris, 5th July 05. (slides)
  
• IMLA'05: Workshop associated with LICS'05, June, 30th, 2005, Chicago, Illinois, USA. (slides)
  
• First World Conference and School on Universal Logic 26th March - 3rd April, 2005, Montreux, Switzerland. Invited Speaker. (slides)
• ESSLLI 2004 - The 16th European Summer School in Logic, Language and Information Course notes, slides.
  
• Natural Deduction 2001, PUC Rio, June 2001, Invited Speaker. (slides)