Antonio Ravara from Universidade NOVA de Lisboa and Mario Bravetti from University of Bologona, in collaboration with Caixa Mágica Software, presented their tool JaTyC at INNCYBER 2023. JaTyC statically verifies
Ivan Lanese, a researcher from the BehAPI site University of Bologna, presented work done in collaboration with the University of Leicester at this year’s Codebeam, held in Stockholm. They present
The best paper for the International Confederation for Thermal Analysis and Calorimetry (ICTAC) 2023 was awarded to BehAPI researchers Carlos G. Lopez Pombo, Agustín E. Martínez Suñé and Emilio Tuosto
This year’s BehAPI Tutorial Day, which was held on Friday 23rd June, took place in Lisbon, Portugal, in conjunction with DisCoTec 2023. Three researchers from GSSI and NOVA delivered tutorials
This year, a BehAPI tutorial day will be colocated with DisCoTec 2023. It will be organised on Friday, June 23, after the main conference. The following three tools will be
As the new year has rolled around, researchers from the BehAPI project are carrying out visits to sites within the consortium. Ornela Dardha, from the University of Glasgow, visited the






