JUEVES 19 de OCTUBRE de 2017
9:30 a.m – 17:30 P.M
Ciudad UniversitariA
Departamento de Computación,
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires (mapA)

 

 

INFINIS es un Laboratorio Internacional Asociado del CNRS-Université Paris Diderot y del CONICET-Universidad de Buenos Aires especializado en métodos formales en Ciencias de la Computación. Fue creado en 2011.

Durante este workshop, cada grupo del laboratorio INFINIS presentará sus temas actuales de investigación y sus perspectivas.

Las charlas están destinadas a estudiantes de grado, posgrado e investigadores interesados en Ciencias de la Computación. No es necesario inscribirse. Están todos bienvenidos.

 

Programa

9:30 a 9:45

Sergio Yovine (FCEN, UBA), Opening

9:45-10:45 Team: Graph Theory and Combinatorial Optimization

Flavia Bonomo (FCEN, UBA), Introduction

  • 9:50-10:15

    Nina Pardal (FCEN, UBA), Una caracterización estructural para completaciones en grafos de intervalos

  • 10:15-10:45

    María Pía Mazzoleni (UNLP), Sobre los grafos que son intersección de caminos en una grilla

10:45-11:00 Coffee break

11:00-12:00

Team: Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems

  • 11:00-11:40

    Hernán Melgratti (FCEN, UBA), Introduction & Chaperone contracts for higher-order sessions

  • 11:40-12:00

    Christian Roldán, On the formal semantics of replicated data storages

12:00-13:30 Lunch

13:30-14:30 Team: Computational Logic

Santiago Figueira (FCEN, UBA), Introduction

  • Santiago Figueira, Sergio Abriola (FCEN, UBA) and María Emilia Descotte (FCEN, UBA),

    Model and proof theory of data XPath

14:30-15:30 Team: Logics and Dynamics of Programming Languages

Alejandro Díaz-Caro (UNQ, Arg.), Introduction

  • 14:40-15:05

    Pablo Barenbaum (FCEN, UBA), Foundations of Strong Call by Need

  • 15:05-15:30

    Carlos Lombardi (UNQ, Arg.), A proof-term characterisation of infinitary rewriting

15:30-16 Coffee break

16-17:30 Team: Randomness and analysis of algorithms

Verónica Becher (FCEN, UBA), Introduction

  • 16:10-16:35

    Brigitte Vallée (U. de Caen, France), Title: to be determined

  • 16:35-17:00

    Olivier Carton (IRIF, Paris 7, France), Title: to be determined

  • 17:00-17:25

    Loïck Lhote (U. de Caen, France), Analyses of multiple GCD algorithms

 

Participantes confirmados

Pablo Barenbaum, Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

Verónica Becher, Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

Valérie Berthé, CNRS, IRIF, Université Paris Diderot, Francia.

Flavia Bonomo, Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

Olivier Carton, IRIF, Université Paris Diderot, Francia.

Eda Cesaratto, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Alejandro Díaz-Caro, Univ. Nac. de Quilmes, Buenos Aires, Arg.

Santiago Figueira, Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

Luciano Grippo, ICI, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Loïck Lhote, GREYC, Université de Caen Basse-Normandie, France.

Carlos Lombardi, Univ. Nac. de Quilmes, Buenos Aires, Arg.

Frédéric Paccaut, LAMFA, Université de Picardie Jules Verne, Amiens, France.

Martín Safe, Univ. Nac. del Sur. Arg.

Alfredo Viola, Univ. de la República, Uruguay

Brigitte Vallée, CNRS, GREYC, Université de Caen Basse-Normandie, Francia.