Prof. Ahmed Bouajjani (U. Paris-Diderot) to give advanced course on complex program verification at ECI 2012

Ahmed Bouajjani, Profesor at Paris-Diderot, member of INFINIS, will give an advance course on complex program verification at ECI 2012. http://www.dc.uba.ar/events/eci/2012/cursos/bouajjani


Ahmed Bouajjani, Profesor at Paris-Diderot, member of INFINIS, will give an advance course on complex program verification at ECI 2012. http://www.dc.uba.ar/events/eci/2012/cursos/bouajjani

Ahmed Bouajjani, Profesor at Paris-Diderot, member of INFINIS, will give an advance course on complex program verification at ECI 2012. http://www.dc.uba.ar/events/eci/2012/cursos/bouajjani

Sergio Yovine is President of the Organization Committee of Escuela de Ciencias Informáticas, ECI 2012

ECI is a one-week winter school in Computer Science which is organized every year since 1987 at the Departamento de Computación of the FCEyN (UBA). This year’s edition will take place from 23 to 28 July. For more information please see http://www.dc.uba.ar/eciECI est une école d’hiver en informatique qui est organisée chaque année depuis 1987 au Departamento de Computación de la FCEyN (UBA). L’édition de cette année aura lieu du 23 au 28 Juillet. Pour plus d’informations s’il vous plaît voir http://www.dc.uba.ar/eciECI is a one-week winter school in Computer Science which is organized every year since 1987 at the Departamento de Computación of the FCEyN (UBA). This year’s edition will take place from 23 to 28 July. For more information please see http://www.dc.uba.ar/eci

PhD student from University of Salzburg visiting the Dept. of Computer Science (UBA)

Andreas Haas, PhD student at Computational Systems Group, Department of Computer Sciences, University of Salzburg, visited the Department of Computer Science at UBA, from March 12 to April 2, 2012, to work on short-term memory analysis with Diego Garbervetsky and Sergio Yovine, in the context of theTERMINATOR project.Andreas Haas, PhD student at Computational Systems Group, Department of Computer Sciences, University of Salzburg, visited the Department of Computer Science at UBA, from March 12 to April 2, 2012, to work on short-term memory analysis with Diego Garbervetsky and Sergio Yovine, in the context of theTERMINATOR project.Andreas Haas, PhD student at Computational Systems Group, Department of Computer Sciences, University of Salzburg, visited the Department of Computer Science at UBA, from March 12 to April 2, 2012, to work on short-term memory analysis with Diego Garbervetsky and Sergio Yovine, in the context of theTERMINATOR project.

INFINIS inauguration

LIA INFINIS is now officially in existence. To read more about the event that took place you may follow the links below:

http://www.uba.ar/comunicacion/noticia.php?id=3013

http://www.embafrancia-argentina.org/agenda/julia-kristeva-en-la-embajada-de-francia/?lang=es

https://dri-dae.cnrs-dir.fr/spip.php?article3009

http://www.genteba.com.ar/component/content/article/71-portada-varias/52400-se-creo-la-catedra-alicia-moreau-de-cooperacion-entre-la-uba-y-la-universidad-paris-7-diderot-de-francia

http://es-es.facebook.com/ubaonline/posts/272011876168461

http://www.uncor.edu/seccion/dossier/2011/noviembre/dossier-de-prensa-viernes-11-de-noviembre-de-2011

http://www.conicet.gov.ar/new_noticias/noticias.php?id_noticia=8092&nota_completa=yes&tipo=6
LIA INFINIS is now officially in existence. To read more about the event that took place you may follow the links below:

http://www.uba.ar/comunicacion/noticia.php?id=3013

http://www.embafrancia-argentina.org/agenda/julia-kristeva-en-la-embajada-de-francia/?lang=es

https://dri-dae.cnrs-dir.fr/spip.php?article3009

http://www.genteba.com.ar/component/content/article/71-portada-varias/52400-se-creo-la-catedra-alicia-moreau-de-cooperacion-entre-la-uba-y-la-universidad-paris-7-diderot-de-francia

http://es-es.facebook.com/ubaonline/posts/272011876168461

http://www.uncor.edu/seccion/dossier/2011/noviembre/dossier-de-prensa-viernes-11-de-noviembre-de-2011

http://www.conicet.gov.ar/new_noticias/noticias.php?id_noticia=8092&nota_completa=yes&tipo=6LIA INFINIS is now officially in existence. To read more about the event that took place you may follow the links below:

http://www.uba.ar/comunicacion/noticia.php?id=3013

http://www.embafrancia-argentina.org/agenda/julia-kristeva-en-la-embajada-de-francia/?lang=es

https://dri-dae.cnrs-dir.fr/spip.php?article3009

http://www.genteba.com.ar/component/content/article/71-portada-varias/52400-se-creo-la-catedra-alicia-moreau-de-cooperacion-entre-la-uba-y-la-universidad-paris-7-diderot-de-francia

http://es-es.facebook.com/ubaonline/posts/272011876168461

http://www.uncor.edu/seccion/dossier/2011/noviembre/dossier-de-prensa-viernes-11-de-noviembre-de-2011

http://www.conicet.gov.ar/new_noticias/noticias.php?id_noticia=8092&nota_completa=yes&tipo=6

Laboratoire International Associé (LIA) “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.

INFINIS Laboratory has its roots in extensive scientific cooperation between France and Argentina in Computer Science that has taken place over time.

INFINIS’s mission is to foster sustained, long-term, dynamic cooperation with the aim of enriching scientific and technological activities, favoring the creation of intellectual property of added value and producing economic benefits to the Software Industry.

The acronym stands both for “INformatique Fondamentale, LogIque, LaNgages,  VérIficacion et Systèmes” and also “INformática Fundamental, lógIca, leNguajes, vérIficación y Sistemas”.

Members from the following institutions currently participate in INFINIS:

  • Centre National de la Recherche Scientifique (CNRS)
  • Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET)
  • Laboratoire d’Informatique Algorithmique: Fondements et Applications (LIAFA – CNRS and Université Paris Diderot)
  • Laboratoire Preuves, Programmes et Systèmes (PPS – CNRS and Université Paris Diderot)
  • Departamento de Computación, Facultad de Ciencias Exactas y Naturales  (Universidad de Buenos Aires)
  • VERIMAG CNRS -Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier (UJF)
  • Facultad de Matemática, Astronomía y Física (Universidad Nacional de Córdoba)
  • Departamento de Ciencia y Tecnología (Universidad Nacional de Quilmes)

 


Laboratoire Internationale Associé (LIA) “INFINIS”

INFINIS es un laboratorio Franco-Argentino (Laboratoire Internationale Associé) entre  el Centre National de la Recherche Scientifique (CNRS) y la Université Paris Diderot, por un lado, y el Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) y la Universidad de Buenos Aires, por el otro. Está dedicado a investigación en Ciencias de la Computación, enfocándose en métodos formales para el modelado, verificación y desarrollo de productos de software.

El laboratorio INFINIS tiene sus raíces en una coorepación científica extensa en Informática entre Francia y Argentina que se ha llevado a cabo a los largo del tiempo.

La misión de INFINIS es fomentar una cooperación dinámica y sostenida en el tiempo con la finalidad de enriquecer las actividades científicas y tecnológicas entre las partes y favorecer la creación de propiedad intelectual de alto valor agregado para la Industria del Software.

La sigla INFINIS representa  “INformatique Fondamentale, LogIque, LaNgages,  VérIficacion et Systèmes” y también “INformática Fundamental, lógIca, leNguajes, vérIficación y Sistemas”.

Miembros de las siguientes instituciones participan actualmente en INFINIS:

  • Centre National de la Recherche Scientifique (CNRS)
  • Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET)
  • Laboratoire d’Informatique Algorithmique: Fondements et Applications (LIAFA – CNRS and Université Paris Diderot)
  • Laboratoire Preuves, Programmes et Systèmes (PPS – CNRS and Université Paris Diderot)
  • Departamento de Computación, Facultad de Ciencias Exactas y Naturales  (Universidad de Buenos Aires)
  • VERIMAG CNRS -Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier (UJF)
  • Facultad de Matemática, Astronomía y Física (Universidad Nacional de Córdoba)
  • Departamento de Ciencia y Tecnología (Universidad Nacional de Quilmes)