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



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

10:45-11:00 Coffee break


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. Slides.
  • 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