The Workshop INFINIS 2017 will take place on Thursday, October 19, 2017, from 9:30 a.m. to 5:30 p.m. at the Departamento de Computación,  Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (map).

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.

More information at the web page of the event: Workshop INFINIS 2017 

NEWS: The web page has been updated with the program

Verónica Becher gives a highlight talk at joint session of LC and CSL – 20/Aug/17

Verónica Becher gives a highlight talk at joint session of Logic Colloquium 2017 and 26th Conference on Computer Science Logic CSL’2017 of European Association for Computer Science Logic; Stockholm University, August 20, 2017.

Recent publications of the team "Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems"