You are here
News and events
A collaboration agreement between Fondazione Bruno Kessler and Medici con l’Africa Cuamm was signed this morning in Trento. Medici con l’Africa Cuamm, a NGO born in 1950 with the aim of training physicians for developing countries and designing international cooperation projects.
"We took part to the Hardware Model Checking Competition this year with our program called "nuXmv" - Marco Roveri, a researcher with the Embedded System (ES) Unit at FBK's Center for Information and Communication Technology tells us - and we came in third in two out of the three
As of today, Vallagarina (Trentino) citizens may turn in to the Comunità di Valle, the Valley Cross-Municipality Agency, in a completely digital form (on line), their applications for ITEA subsidized housing or leasing allowance, avoiding trips to the town, lines and waste of time.This is possible thanks to MyWEB, an initiative designed and created by the Consorzio dei Comuni Trentini (Consortium of Trentino Region Municipalities), by Fondazione Bruno Kessler and by the Comunità della Vallagarina (Lagarina Valley C
He had left for France a few months ago with the Mobility project.
Thanks to the 1797 citations (up to December 2013), it proved to be the most quoted paper in the long history of the TACAS (Tools and Algorithms for the Construction and Analysis of Systems) Conference, the international event that gathers scholars in the field of formal methods for the design of correct digital systems for construction.During the 20th edition, that was held in Grenoble, France a past few days, FBK researcher Alessandro Cimatti received the prestigious award for his a
SAFECOMP 2017 - The International Conference on Computer Safety, Reliability and Security
The 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017) will be held in Trento, Italy. IMBSA is the key event in the field of MBSA bringing together the latest developments in model-based engineering, formal techniques, probabilistic analyses and cutting edge optimisation to address hard problems in the design of safe complex systems including software intensive and open cyber-physical systems. The symposium provides a dedicated forum, where state-of-the-art research, leading edge technology and industrial experiences are brought together.