INFINIS

INFINIS is a French-Argentinean Laboratory (Laboratoire Internationale Associé) between Centre National de la Recherche Scientifique (CNRS) and Université Paris Diderot, on the one hand, and Consejo Nacional de Investigaciones Cientéficas y Técnicas (CONICET) and the Universidad de Buenos Aires, on the other. It is devoted to research in Computer Science. Specific focus is placed on formal methods, for modeling, verification and development of complex software artifacts.

Research

Our group specializes in computational logic, with emphasis in propositional and modal logics. We investigate themes in automated deduction, algorithmic complexity, combining theories, SMT solving, expressivity, formal verification, etc.

In France: Laboratoire Lorraine de Recherche en Informatique et ses Applications, LORIA. and Laboratoire Spécification et Vérification (LSV)

In Argentina: Facultad de Matemática, Astronomía y Física, FaMAF.

Activities related to INFINIS:

  • [09-2014] Paper published at WoLLIC'14.
  • [06-2014] Paper published at ICAPS'14.
  • [06-2014] Guillaume Hoffmann visits the French team.
  • [06-2014] Raul Fervari visits the French team.
  • [06-2014] Luciana Benotti visits the French team.
  • [06-2014] Carlos Areces visits the French team.
  • [05-2014] Paper published at Theoretical Computer Science.
  • [04-2014] Paper published at the Logic Journal of the IGPL.
  • [03-2014] Paper published at ICDT'14.
  • [02-2014] Hans van Ditmarsch visits the Argentinean team.
  • [02-2014] Stephan Merz visits the Argentinean team.
  • [09-2013] Guillaume Hoffmann visits the French team.
  • [09-2013] Paper published at LSFA'13.
  • [09-2013] Paper published at FROCOS'13.
  • [09-2013] Paper published at Tableaux'13.
  • [07-2013] Paper published at SMT'13.
  • [06-2013] Carlos Areces visits the French team.
  • [04-2013] Paper published at the Journal of Philosophical Logic.
  • [04-2013] Carlos Areces visits the French team.
  • [03-2013] Raul Fervari visits the French team.
  • [11-2012] Pascal Fontain visits the Argentinean team.
  • [11-2012] Stephan Merz visits the Argentinean team.
  • [09-2012] LIA Workshop organized as satellite of WoLLIC'2012.
  • [09-2012] WoLLIC 2012 organized in Buenos Aires.
  • [07-2012] Raul Fervari visits the French team.
  • [07-2012] Paper published at Annals of Pure and Applied Logic.
  • [06-2012] Paper published at WoLLIC'2012.
  • [06-2012] Carlos Areces visits the French team.
  • [06-2012] Ezequiel Orbe visits the French team.
  • [03-2012] Paper published at LPAR'2012.
  • [10-2011] Paper published at FROCOS'2011.
  • [11-2010] Stéphane Demri visits the Argentinean team.