E. Bonelli will be visiting PPS in April 2015 to collaborate with Delia Kesner and Pablo Barenbaum (PhD student currently visitng PPS).E. Bonelli will be visiting PPS in April 2015 to collaborate with Delia Kesner and Pablo Barenbaum (PhD student currently visitng PPS).E. Bonelli will be visiting PPS in April 2015 to collaborate with Delia Kesner and Pablo Barenbaum (PhD student currently visitng PPS).
Verónica Becher visits Université Paris Diderot — Jan/Feb 2015
Verónica Becher visits the Université Paris Diderot, from 13 January to 8 February. During her visit she will give a talk at the “seminaire general de l’Equipe de Logique ” on normal numbers.
Verónica Becher visits the Université Paris Diderot, from 13 January to 8 February. During her visit she will give a talk at the “seminaire general de l’Equipe de Logique ” on normal numbers.
Verónica Becher visits the Université Paris Diderot, from 13 January to 8 February. During her visit she will give a talk at the “seminaire general de l’Equipe de Logique ” on normal numbers.
LIA INFINIS has been renewed for a further four years!
INFINIS Video presented at French Argentinean Conference celebrating 50 years of cooperation — 5-6/Nov/2014
Diego Figueira (CNRS) visits UBA — November 2014
Diego Figueira visits UBA during the period 2-30 November. Diego is a CNRS full-time researcher at the Formal Methods team of LaBRI in Bordeaux, France.Diego Figueira visits UBA during the period 2-30 November. Diego is a CNRS full-time researcher at the Formal Methods team of LaBRI in Bordeaux, France.Diego Figueira visits UBA during the period 2-30 November. Diego is a CNRS full-time researcher at the Formal Methods team of LaBRI in Bordeaux, France.
PhD Student currently visiting INRIA RMOD in Lille — 8/Nov/2014
The PhD student Guido Chari (DC, FCEyN, UBA) is visiting the INRIA RMOD Laboratory at Lille from 15/October until 10/November. He is working on collaboration with Dr Stephane Ducasse (thesis co-supervisor), Marcus Denker and Stefan Marr. The topic is that of Virtual Machines for object-oriented languages and low-level reflection.The PhD student Guido Chari (DC, FCEyN, UBA) is visiting the INRIA RMOD Laboratory at Lille from 15/October until 10/November. He is working on collaboration with Dr Stephane Ducasse (thesis co-supervisor), Marcus Denker and Stefan Marr. The topic is that of Virtual Machines for object-oriented languages and low-level reflection.The PhD student Guido Chari (DC, FCEyN, UBA) is visiting the INRIA RMOD Laboratory at Lille from 15/October until 10/November. He is working on collaboration with Dr Stephane Ducasse (thesis co-supervisor), Marcus Denker and Stefan Marr. The topic is that of Virtual Machines for object-oriented languages and low-level reflection.
French-Argentinean Conference — 50 years of Cooperation for Innovation — 5-6/Nov/2014
En el marco del Aniversario de la firma del “Convenio de Cooperación Cultural, Científica y Técnica” entre Francia y Argentina por ambos cancilleres en octubre de 1964, la Embajada de Francia junto con Ministerio de Ciencia, Tecnología e Innovación Productiva, organizaron dos jornadas para celebrar el evento.
Fruto de una implicación notable de los principales organismos de investigación argentinos y franceses, la cooperación científica y tecnológica bilateral iniciada hace 50 años ha conocido durante los últimos años una fuerte aceleración. Francia es hoy el primer socio de Argentina en cantidad de proyectos científicos, con más de 100 proyectos bilaterales actualmente en ejecución y más de 400 misiones anuales de investigadores franceses hacia la Argentina.
El LIA INFINIS ha sido incluido en el temario de dichas jornadas.
Para más información consultar aquí.
A l’occasion de l’année anniversaire de la signature de « l’Accord de coopération culturelle, scientifique et technique » entre le gouvernement de la République française et le gouvernement de la République argentine en octobre 1964, l’Ambassade de France et le Ministère de la Science, de la Technologie et de l’Innovation productive (MINCyT), organisent deux journées de célébration à Buenos Aires.
Fruit d’une implication notable des principaux organismes de recherche argentins et français, la coopération scientifique et technologique a connu ces dernières années une forte accélération. La France est aujourd’hui le premier partenaire de l’Argentine pour la qualité et le nombre de projets bilatéraux avec plus d’une centaine de projets en activité et plus de 400 missions annuelles de chercheurs français en Argentine.
Le LIA INFINIS a été inclus sur l’ordre du jour pour cette événement.
Pour plus d’informations, voir ici.
En el marco del Aniversario de la firma del “Convenio de Cooperación Cultural, Científica y Técnica” entre Francia y Argentina por ambos cancilleres en octubre de 1964, la Embajada de Francia junto con Ministerio de Ciencia, Tecnología e Innovación Productiva, organizaron dos jornadas para celebrar el evento.
Fruto de una implicación notable de los principales organismos de investigación argentinos y franceses, la cooperación científica y tecnológica bilateral iniciada hace 50 años ha conocido durante los últimos años una fuerte aceleración. Francia es hoy el primer socio de Argentina en cantidad de proyectos científicos, con más de 100 proyectos bilaterales actualmente en ejecución y más de 400 misiones anuales de investigadores franceses hacia la Argentina.
El LIA INFINIS ha sido incluido en el temario de dichas jornadas.
Para más información consultar aquí.
First LIA doctoral thesis in cotutelle — Defense set for 7/Nov/2014
Carlos Lombardi will be defending his PhD thesis Friday 7 November at 11AM in room E24 at the Departamento de Computación, FCEyN, UBA.
Directores argentinos: Dr. Alejandro Ríos, Dr. Eduardo Bonelli
Director francés: Dra. Delia Kesner
Jurados:
Dr. Mauricio Ayala Rincón (Universidad de Brasilia)
Dr. Alexandre Miquel (Universidad de París)
Dr. Nazareno Aguirre (Universidad Nacional de Río Cuarto)
Título: Espacios de reducción en sistemas de reescritura no-secuenciales e infinitarios
Resumen:
En esta tesis estudiamos distintos aspectos ligados al espacio de
reducción de diversos sistemas de reescritura.
Los sistemas abarcados presentan características que hacen que el
estudio de sus espacios de reducción diste de ser una tarea sencilla.
Las principales contribuciones son:
(1) se define una estrategia de reducción multipaso para el Pure Pattern
Calculus, un cálculo con patrones no-secuencial, y se demuestra que
dicha estrategia es normalizante;
(2) se propone un criterio para formalizar el concepto de reducción
standard en el Linear Substitution Calculus, un cálculo de sustituciones
explícitas cuyas reducciones se consideran módulo una relación de
equivalencia sobre su conjunto de términos, obteniéndose un resultado de
unicidad de reducciones standard para el criterio definido; y
(3) se caracteriza la equivalencia entre reducciones para los sistemas
de reescritura de términos infinitarios de primer orden y lineales a
izquierda, utilizándose esta caracterización para desarrollar una
demostración alternativa del resultado de compresión.
Destacamos el uso de modelos genéricos de sistemas de reescritura: se
utiliza una formulación de Sistemas Abstractos de Reescritura para
estudiar el Pure Pattern Calculus y el Linear Substitution Calculus, y
un modelo basado en Proof Terms para estudiar la reescritura
infinitaria. Esta tesis incluye asimismo extensiones de los dos modelos
genéricos utilizados, que pueden considerarse contribuciones adicionales
de la misma.Carlos Lombardi will be defending his PhD thesis Friday 7 November at 11AM in room E24 at the Departamento de Computación, FCEyN, UBA.
Directores argentinos: Dr. Alejandro Ríos, Dr. Eduardo Bonelli
Director francés: Dra. Delia Kesner
Jurados:
Dr. Mauricio Ayala Rincón (Universidad de Brasilia)
Dr. Alexandre Miquel (Universidad de París)
Dr. Nazareno Aguirre (Universidad Nacional de Río Cuarto)
Título: Espacios de reducción en sistemas de reescritura no-secuenciales e infinitarios
Resumen:
En esta tesis estudiamos distintos aspectos ligados al espacio de
reducción de diversos sistemas de reescritura.
Los sistemas abarcados presentan características que hacen que el
estudio de sus espacios de reducción diste de ser una tarea sencilla.
Las principales contribuciones son:
(1) se define una estrategia de reducción multipaso para el Pure Pattern
Calculus, un cálculo con patrones no-secuencial, y se demuestra que
dicha estrategia es normalizante;
(2) se propone un criterio para formalizar el concepto de reducción
standard en el Linear Substitution Calculus, un cálculo de sustituciones
explícitas cuyas reducciones se consideran módulo una relación de
equivalencia sobre su conjunto de términos, obteniéndose un resultado de
unicidad de reducciones standard para el criterio definido; y
(3) se caracteriza la equivalencia entre reducciones para los sistemas
de reescritura de términos infinitarios de primer orden y lineales a
izquierda, utilizándose esta caracterización para desarrollar una
demostración alternativa del resultado de compresión.
Destacamos el uso de modelos genéricos de sistemas de reescritura: se
utiliza una formulación de Sistemas Abstractos de Reescritura para
estudiar el Pure Pattern Calculus y el Linear Substitution Calculus, y
un modelo basado en Proof Terms para estudiar la reescritura
infinitaria. Esta tesis incluye asimismo extensiones de los dos modelos
genéricos utilizados, que pueden considerarse contribuciones adicionales
de la misma.Carlos Lombardi will be defending his PhD thesis Friday 7 November at 11AM in room E24 at the Departamento de Computación, FCEyN, UBA.
Directores argentinos: Dr. Alejandro Ríos, Dr. Eduardo Bonelli
Director francés: Dra. Delia Kesner
Jurados:
Dr. Mauricio Ayala Rincón (Universidad de Brasilia)
Dr. Alexandre Miquel (Universidad de París)
Dr. Nazareno Aguirre (Universidad Nacional de Río Cuarto)
Título: Espacios de reducción en sistemas de reescritura no-secuenciales e infinitarios
Resumen:
En esta tesis estudiamos distintos aspectos ligados al espacio de
reducción de diversos sistemas de reescritura.
Los sistemas abarcados presentan características que hacen que el
estudio de sus espacios de reducción diste de ser una tarea sencilla.
Las principales contribuciones son:
(1) se define una estrategia de reducción multipaso para el Pure Pattern
Calculus, un cálculo con patrones no-secuencial, y se demuestra que
dicha estrategia es normalizante;
(2) se propone un criterio para formalizar el concepto de reducción
standard en el Linear Substitution Calculus, un cálculo de sustituciones
explícitas cuyas reducciones se consideran módulo una relación de
equivalencia sobre su conjunto de términos, obteniéndose un resultado de
unicidad de reducciones standard para el criterio definido; y
(3) se caracteriza la equivalencia entre reducciones para los sistemas
de reescritura de términos infinitarios de primer orden y lineales a
izquierda, utilizándose esta caracterización para desarrollar una
demostración alternativa del resultado de compresión.
Destacamos el uso de modelos genéricos de sistemas de reescritura: se
utiliza una formulación de Sistemas Abstractos de Reescritura para
estudiar el Pure Pattern Calculus y el Linear Substitution Calculus, y
un modelo basado en Proof Terms para estudiar la reescritura
infinitaria. Esta tesis incluye asimismo extensiones de los dos modelos
genéricos utilizados, que pueden considerarse contribuciones adicionales
de la misma.
Santiago Figueira visits Université Paris Diderot — 24/Sep/2014 to 3/Oct/2014
Santiago Figueira visited U. Paris Diderot to work in cooperation with
Olivier Carton and Laurent Bienvenu.Santiago Figueira visited U. Paris Diderot to work in cooperation with
Olivier Carton and Laurent Bienvenu.Santiago Figueira visitó la U. Paris Diderot para trabajar en colaboración con
Olivier Carton y Laurent Bienvenu.
New Sorbonne Paris Cité office in Argentina – Prof. Kesner presents talk at UBA — 11/Sep/2014
Sorbonne Paris Cité a fait le choix d’implanter des antennes internationales avec des partenaires privilégiés. L’antenne en Argentine s’ajoute aux antennes existantes à Berlin, Singapour et São Paulo.
Le choix de l’Argentine est justifié par le haut niveau des collaborations existantes entre les membres de Sorbonne Paris Cité et leurs partenaires argentins dans plusieurs domaines notamment la médecine, les sciences exactes, la psychologie, les sciences humaines et sociales. Les fortes relations scientifiques entre la France et l’Argentine et les échanges d’étudiants forment le socle de cette coopération. Sorbonne Paris Cité souhaite accueillir davantage d’étudiants avancés et de chercheurs argentins et favoriser la mobilité des ses propres étudiants et chercheurs vers l’Argentine.
Avec une présence permanente à Buenos Aires, l’antenne de Sorbonne Paris Cité facilitera la mise en place d’actions communes telles que la mise en oeuvre de projets de recherche communs, de diplômes conjoints, et d’action de formation en partenariat avec des universités argentines. Toutes ces actions seront menées en étroite collaboration avec des partenaires argentins.
L’antenne, située à Buenos Aires, aura vocation à travailler avec tous les acteurs de la formation supérieure et de la recherche du pays. Des accords seront signés pour faciliter des actions conjointes passant notamment par des appels d’offre pour des projets de recherche et de formation.
La semaine du 8 au 12 septembre constitue un rendez vous majeur pour la mise en place de cette antenne. Elle donnera lieu à des conférences de chercheurs de Sorbonne Paris Cité accueillie par des partenaires argentins, à des réunions entre les autorités de Sorbonne Paris Cité et leurs partenaires argentins ainsi qu’à la signature d’accord avec le Conseil interuniversitaire nationale, le Conicet et le centre franco argentin pour les sciences sociales.
Par cette implantation, Sorbonne Paris Cité entend donner une nouvelle impulsion aux relations académiques entre l’Argentine et la France. Elle repose sur la conviction que l’internationalisation des études et de la recherche doit s’inscrire dans des partenariats durables que l’antenne permettra de consolider
http://www.sorbonne-paris-cite.fr/index.php/fr/international/antenne-argentineSorbonne Paris Cité a fait le choix d’implanter des antennes internationales avec des partenaires privilégiés. L’antenne en Argentine s’ajoute aux antennes existantes à Berlin, Singapour et São Paulo.
Le choix de l’Argentine est justifié par le haut niveau des collaborations existantes entre les membres de Sorbonne Paris Cité et leurs partenaires argentins dans plusieurs domaines notamment la médecine, les sciences exactes, la psychologie, les sciences humaines et sociales. Les fortes relations scientifiques entre la France et l’Argentine et les échanges d’étudiants forment le socle de cette coopération. Sorbonne Paris Cité souhaite accueillir davantage d’étudiants avancés et de chercheurs argentins et favoriser la mobilité des ses propres étudiants et chercheurs vers l’Argentine.
Avec une présence permanente à Buenos Aires, l’antenne de Sorbonne Paris Cité facilitera la mise en place d’actions communes telles que la mise en oeuvre de projets de recherche communs, de diplômes conjoints, et d’action de formation en partenariat avec des universités argentines. Toutes ces actions seront menées en étroite collaboration avec des partenaires argentins.
L’antenne, située à Buenos Aires, aura vocation à travailler avec tous les acteurs de la formation supérieure et de la recherche du pays. Des accords seront signés pour faciliter des actions conjointes passant notamment par des appels d’offre pour des projets de recherche et de formation.
La semaine du 8 au 12 septembre constitue un rendez vous majeur pour la mise en place de cette antenne. Elle donnera lieu à des conférences de chercheurs de Sorbonne Paris Cité accueillie par des partenaires argentins, à des réunions entre les autorités de Sorbonne Paris Cité et leurs partenaires argentins ainsi qu’à la signature d’accord avec le Conseil interuniversitaire nationale, le Conicet et le centre franco argentin pour les sciences sociales.
Par cette implantation, Sorbonne Paris Cité entend donner une nouvelle impulsion aux relations académiques entre l’Argentine et la France. Elle repose sur la conviction que l’internationalisation des études et de la recherche doit s’inscrire dans des partenariats durables que l’antenne permettra de consolider
http://www.sorbonne-paris-cite.fr/index.php/fr/international/antenne-argentine
El 11 de septiembre próximo se firmará en la Embajada de Francia en la Argentina convenios que donarán lugar a la apertura de una sede en Buenos Aires del consorcio de prestigiosas universidades de la región parisina Sorbonne Paris Cité. Este hecho excepcional resalta que Argentina es para Francia un país de primera importancia en el ámbito académico, y constituirá un hito en las relaciones científicas entre ambos países.
Con este motivo, del 8 al 12 de septiembre 2014 se realizarán en diversas ciudades de Argentina una serie deconferencias de académicos e investigadores de Sorbonne Paris Cité, así como reuniones entre sus máximas autoridades y las instituciones argentinas colaboradoras, y en particular se firmarán acuerdos con el Consejo Interuniversitario Nacional, el Conicet y el Centro Franco-Argentino de Altos Estudios (CFAAE) de la UBA.
Una sede en Argentina
Sorbonne Paris Cité lleva adelante una estrategia de apertura de sedes internacionales con socios relevantes en ubicaciones clave. La sede de Buenos Aires se suma a las existentes en Berlín, Singapur y San Pablo.
La elección de Argentina se justifica por el alto nivel de colaboración existente entre los establecimientos miembros deSorbonne Paris Cité y establecimientos argentinos en diversas áreas incluyendo Medicina, Ciencias, Psicología, Ciencias sociales y humanas. Las fuertes relaciones científicas entre Francia y Argentina y el intenso intercambio de estudiantes son la base de esta cooperación. Sorbonne Paris Cité desea acrecentar estos vínculos recibiendo más estudiantes avanzados e investigadores argentinos y favoreciendo la movilidad de sus propios estudiantes e investigadores hacia la Argentina.
Con la convicción de que la internacionalización de los estudios e investigaciones debe inscribirse en el marco de asociaciones sostenibles que la antena ayudará a consolidar, la sede permanente de Sorbonne Paris Cité en Buenos Aires facilitará la implementación de acciones como el desarrollo de proyectos de investigación conjunta, doble titulaciones y la formación en cooperación con las universidades argentinas. En efecto, se pretende trabajar con todos los actores de la educación superior y la investigación del país. Los acuerdos que se firmarán incluyen la apertura de convocatorias para financiamiento de proyectos de investigación y capacitación.
http://www.sorbonne-paris-cite.fr/index.php/fr/international/antenne-argentine/version-espanola