Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu

INESC TEC organises workshops in the fields of Logic and Verification

Sandra Alves, researcher at INESC TEC’s Centre for Advanced Computing Systems (CRACS), was involved in the organisation of the fourth edition of the Women in Logic (WiL) workshop and the second edition of the Linearity & TLLA workshop.

27th July 2020

Organised as satellite events of the Paris Nord Summer of LoVe, each workshop had approximately 100 participants. According to Sandra Alves, “any event focusing on the promotion and dissemination of scientific results is highly relevant”.

The main objective of WiL is to promote the excellent research work carried out by women in the field of logic, in order to increase their visibility and representation in the scientific community. Linearity & TLLA aims to bring together researchers who are developing theory and applications of linear calculi or using linear logic as a technical tool or methodology, in order to promote their interaction and provide a forum for presenting and discussing new ideas, as well as ongoing initiatives.

In addition, both workshops, which took place one, have a significant scientific impact on the respective fields of work, with WiL still having the added relevance of increasing the visibility of the work carried out by women in the field of logic, thus fostering the feelings of belonging and community.

The INESC TEC researcher mentioned in this news piece is associated with UP-FCUP.