He had left for France a few months ago with the Mobility project.
You are here
News and events
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.
Learn advanced Python for cutting edge Data Science and Deep Learning to develop a new solution for on-field evaluation of fruit quality and safety, with brand new AI algorithms and miniaturised sensors! A team of 20 international students will learn how to integrate vision and portable spectrometry using Deep Learning, the revolutionary tech that has enabled autonomous driving.
In occasione del XXXIX anniversario della morte dello statista, l’Accademia di studi Storici Aldo Moro, in collaborazione con l’Edizione nazionale delle opere, organizza un incontro dal titolo “ALDO MORO: PENSIERO E POLITICA. L’Edizione nazionale delle opere”. Il gruppo Digital Humanities di FBK presenterà i risultati dell'analisi semantica preliminare di una selezione degli scritti di Moro. All’iniziativa interverranno Alfonso Alfonsi, Andrea Angiolini, Ugo De Siervo, Guido Formigoni, Marina Giannetto, Renato Moro, Sara Tonelli.
Al festival dell’educazione, a Rovereto dal 7 al 9 aprile, FBK è partner ufficiale con tante iniziative dedicate alla Scuola.
Evento lancio dell’Ufficio Italiano del World Wide Web Consortium (W3C), del quale la Fondazione Bruno Kessler ha assunto la gestione a partire dal 2017.
The 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, will be held in Trento, Italy, September 6-10, 2017. The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.