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

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. There are six teams and each presentation  will last, at most,  60 minutes. Each presentation will consist of talks and 10 minutes will be devoted to questions and exchanges with the public. 

The talks are addressed to students and researchers interested in Computer Science.

Registration is not required. Everybody is welcome.

 

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.

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