Talks

2017.

  • Lógica en Acción.
    XV Jornadas en Ciencias de la Computación (JCC),
    FCEIA-UNR, Rosario, Argentina, Oct 2017 (In Spanish).
    PDF
  • Dynamic Epistemic Logics of Introspection.
    DaLí, Brasília, Brazil, Sep 2017. PDF
  • Undecidability of Relation-Changing Modal Logics.
    DaLí, Brasília, Brazil, Sep 2017. PDF
  • Proof Theory for XPath using Hybrid Logic Tools.
    LSV Seminar, ENS Cachan, France. July 11st, 2017. PDF

2015.

  • Model Transformations with Modal Logics.
    LILaC Team Seminar, IRIT, Université Paul Sabatier, Toulouse, France. Aug 31st, 2015. PDF

2014.

  • Relation Changing Modal Logics.
    PhD dissertation, FaMAF, UNC, Córdoba, Argentina. March 5, 2014. (In spanish) PDF
  • Logics with Copy and Remove.
    WoLLIC, Valparaíso, Chile. Sep 2014. PDF

2012.

  • Lógicas de Cambios de Modelo e Interpretaciones Epistémicas (Model Changing Logics and Epistemic Interpretations).
    1st Seminar of PhD students, FaMAF, UNC, Córdoba, Argentina. Nov 8, 2012. (In spanish) PDF
  • Moving Arrows and Four Model Checking Results.
    WoLLIC, Buenos Aires, Argentina. Sep 2012. PDF
  • Moving Arrows and Other Model Changing Operations.
    VeriDiS Team Seminar, Loria, Nancy, France. Jul 20, 2012. PDF

2011.

  • Analizando el poder expresivo de Lógicas Dinámicas (Analizing the expressive powers of Dynamic Logics).
    2nd Seminar of CS PhD students, FaMAF, UNC, Córdoba, Argentina. Dec 16, 2011. (In spanish) PDF
  • The right (or wrong) way to describe things.
    Seminar for students, UFRJ, Rio de Janeiro, Brazil. Oct 4, 2011. PDF
  • (Really) Dynamic Modal Logics - Changing Structures.
    Seminar "Logic in Rio", UFRJ, Rio de Janeiro, Brazil. Oct 3, 2011. PDF

2010.

  • Lógicas Modales: Clásicas y Dinámicas (Modal Logics: Classic and Dynamic).
    1st Seminar of CS PhD students, FaMAF, UNC, Córdoba, Argentina. Dec 4, 2010. (In spanish) PDF
  • Optimización de Técnicas de Abstracción para Especificaciones DynAlloy (Optimization of Abstraction Techniques for Dynalloy Specifications).
    Graduate Thesis, UNRC, Río Cuarto, Argentina. March 30, 2010. (In spanish) PDF



© 2011 Maintained by Raul Fervari.