Herramientas Personales
Usted está aquí: Inicio / Agenda / Workshop INFINIS

Workshop INFINIS

Detalles del evento

Cuándo

19/10/2017
de 09:30 a 17:30

Dónde

Ciudad Universitaria Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

Agregar evento al calendario

INFINIS ( http://infinis.dc.uba.ar ) 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.

Para más información:http://www.ungs.edu.ar/dynalco/?p=1201

Contacto: Eda Cesaratto (ecesarat@ungs.edu.ar)

___

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