Nearly 30 world-renowned experts from around the world travelled to Portugal to discuss advances in the fields of computer science theory and programming languages. Members of the IFIP Working Group 2.1 on Algorithmic Languages and Calculi gathered in Viana do Castelo for an initiative organised by INESC TEC.
The capital of Alto Minho served, for almost a week, as a stage for knowledge sharing and discussions around scientific advances in areas fundamental to the future of high-assurance software. Currently, there are two Portuguese researchers (both from INESC TEC and the University of Minho) who are part of this international group of experts in the study and development of algorithmic languages and formal calculi – one of the oldest research groups of the International Federation for Information Processing (IFIP).
In addition to José Nuno Oliveira, a member of WG2.1 since 2004 and a researcher in formal methods, Renato Neves, a researcher in the same field, was invited to join the group as an observer member. With this nomination, Portugal is now represented by one full member and one observer member. “The national representation in a scientific group of such high standards and international prestige has been strengthened by this meeting,” explained José Nuno Oliveira.
IFIP WG 2.1 is one of the oldest research groups of the International Federation for Information Processing (IFIP), with a history that includes the participation of several computer scientists who have received the Turing Award – the highest recognition in this field. Since 2017, a significant portion of the group’s documentary archive has been deposited at the Braga District Archive, including originals of papers that have become historical landmarks in computer science and programming languages.
From 8 to 12 September, Viana do Castelo hosted this meeting, which took place at the Municipal Library and on the historic ship Gil Eannes.
The researcher mentioned in this news piece is associated with INESC TEC and UMinho.
News, current topics, curiosities and so much more about INESC TEC and its community!
