JUEVES 19 de OCTUBRE de 2017
9:30 a.m – 17:30 P.M
Departamento de Computación,
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
Aula 3 del Pabellón 1. Ciudad Universitaria (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

12:00-13:30 Lunch

13:30-14:30 Team: Computational Logic

Santiago Figueira (FCEN, UBA), Introduction

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), Dichotomic Search and Basis Changing

  • 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

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

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

Luciano Grippo, ICI, Univ. Nac. de Gral. Sarmiento. 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.