May 2023.- The study of programming languages is a fundamental job for data science today. This is why this Third Meeting on Fundamentals of Programming Languages, which was held at the Ministry of Science and Technology of Córdoba, Argentina, has special relevance for our region.

The large delegation that traveled from Chile to the event was made up of academics from the Department of Computer Science at 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 PLEIAD, the DCC U. Chile laboratory dedicated to the investigation of software development techniques.

FunLeP is a group of researchers from the region (Argentina, Brazil, Uruguay and Chile) whose objective is to link researchers in programming language fundamentals. This edition was the third instance, after those carried out in 2018 and 2019. “We consider it very important to participate 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 along 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 with which programs are developed. Chilean researchers presented several advances in program verification, including proof wizards and type systems. In particular, they spoke about their contributions to the construction of data-based software with guarantees of correctness and privacy.