IMFD researchers participate in the 3rd Fundamentals of Programming Languages meeting in Argentina

May 2023. The study of programming languages is a fundamental work for data science today. For this reason, this Third Meeting of Fundamentals of Programming Languageswhich was held at the Ministry of Science and Technology of Córdoba, Argentinais of special relevance for our region.

The large delegation that traveled from Chile to the event was composed of academics from the Department of Computer Science of the University of Chile, Éric Tánter, Federico Olmedo (both IMFD researchers) and Matías Toro; together with doctoral students Damián Arquez (IMFD), Tomás Díaz and Stefan Malewski, as well as two Master's students Tomás Vallejos (IMFD) and Jose Luis Romero; and UNDERGRADUATE student Gaspar Ricci; all members of PLEIADthe laboratory dedicated to the research of software development techniques of the DCC U. Chile.

FunLeP is a group of researchers from the region (Argentina, Brazil, Uruguay and Chile) that aims to link researchers in the fundamentals of programming languages. This edition was the third instance, after the ones held in 2018 and 2019.s in 2018 and 2019. "We consider it very important to participate in order to share and learn about the work we are doing in the region, and thus foster collaborations at the local level," says Éric Tánter, who together with Federico Olmedo and Matías Toro, have been part of FunLeP since its creation.

Programming languages are the essential means of building software, providing the abstractions and mechanisms by which programs are developed. The Chilean researchers presented several advances in program verification, including test wizards and type systems. In particular, they presented their contributions to the construction of data-driven software with correctness and privacy guarantees.