THURSDAY, OCTOBER 19, 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 (map)

 

 

INFINIS is an International Associated Lab. The institutions involved are CNRS-Université Paris Diderot and CONICET-Universidad de Buenos Aires. Its subjects of interest are formal methods in Computer Science. It was created in 2011.

During this workshop each team of INFINIS will present their main subjects of research and their perspectives. The talks are addressed to students and researchers interested in Computer Science.

Registration is not required. Everybody is welcome.

 

Program

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

 

Confirmed  participants

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, France.

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

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

Eda Cesaratto, IDH, 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, France.