-
-------------------------------------------------------------------------
AVVISO DI BANDO PER ASSEGNO DI RICERCA ------------------------------------------------------------------------- BANDO PER N. 1 ASSEGNO DI RICERCA POR FSE 2014-2020 PROGRAMMA D...
-
The University of Florence, Florence, Italy, opens two Post Doctoral positions in
***Dependable and Secure Systems*
at the Resilient Computing Lab (RCL), Department of Mathematic and Informatics.
Deadline: June 23, 2017
We are recruiting 2 postdocto...
-
Professor Andrea Bondavalli had a keynote at the 35th Symposium on Reliable Distributed Systems (SRDS 2016), in Budapest, Hungary.
The talk, "Emergence in Cyber-Physical Systems-of-Systems" reported on the work done within the context of the AMADEOS proj...
-
The RCL group is very glad to welcome Dr. Mohamad Gharib, a new post-doctoral researcher!
He comes from Syria, where he received the Bachelor's degree in Informatics Engineering, and the Master's degree in Computer Science , AABFS – CIS from the Univer...
-
The RCL group is very happy to host the visit of Prof. Edgar Nett, from the Otto-von-Guericke University of Magdeburg, Germany!
Prof. Nett is holding a short course on "Aspects of distributed real-time computing" for PhD and Masters' students.
The cours...
-
Lunedì 29 Febbraio 2016 si terrà lo SCRT DAY 2016, l'evento finale del corso di Sistemi Critici e Real-Time del Corso di Laurea Magistrale in Informatica.
Come nelle precedenti edizioni, gli studenti del corso terranno delle presentazioni su degli arti...
-
In December, Andrea was formally appointed full professor ("Professore Ordinario") at the Department of Informatics and Mathematics of the University of Florence.
After the officiality has beeen confirmed, we could deliver our celebrative plate, and the ...
-
The Resilient Computing Lab (RCL) is now a registered UNIFI reserarch laboratory. A list of research laboratories has been compiled by CsaVRI in the context of the Tuscany regional repertory of laboratories (Repertorio regionale dei Laboratori - MapLab).
...
-
Our best congratulations to Nicola Nostro, who successfully defended his PhD dissertation last Wednesday, March 18th, 2015.
His thesis entitled "Model-Based Approaches To Dependability And Security Assessment in Critical and Dynamic Systems" addressed an...
-
International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms Rio de Janeiro, Brazil - June 22nd, 2015Supported by CECRIS and DEVASSES ProjectsCo-located with DSN 2015
...
-
We welcome a new PhD student in the group, Tommaso Zoppi!...
-
Thaís Ussami, from Universidade Estadual de Campinas, Campinas - São Paulo, Brazilis, is now seconded at Department of Mathematics and Informatics of University of Florence, in the context of the research project DEVASSES (DEsign, Verification and VAli...
-
The video of Philip Koopman giving the Toyota UA case study talk is on line:
http://betterembsw.blogspot.com/2014/09/a-case-study-of-toyota-unintended.html
...
-
SAFECOMP 2014 is now over. Thanks to all the people who attended the conference, we sincerely hope you enjoyed the week as much as we did.
A photogallery of the event is now available online on the SAFECOMP website. The gallery includes pictures from the...
-
SAFECOMP 2014 is now approaching! The 33rd International Conference on Computer Safety, Reliability and Security will take place next week in Florence. SAFECOMP will be held in the city center area, in the Auditorium al Duomo and Palazzo Coppini palaces.
...
-
The final program of the 33rd International Conference on Computer Safety, Reliability and Security is now available online.
A pdf version of the program, together with some practical information, is also available for download.
On the first day, Wednes...
-
The deadline for paper submission to safecomp 2014 co-located workshops has been extended. The new deadlines are the following:
Submission deadline:
20 May, 2014 31 May 2014, 24:00 CEST
Notification of acceptance:
20 June 2014
Final ver...
-
As previously announced, the 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014) will be held in Florence, organized by RCL. Other events will be co-located to SAFECOMP 2014, constituting a one-week scientific e...
-
The deadlines for paper submissions at the The 33rd International Conference on Computer Safety, Reliability and Security have been extended. The new deadlines are the following:
Abstract submission (mandatory): 25 February 2014 5 March 2014, 24:00 CETFu...
-
The Resilient Computing Lab is organizing The 33rd International Conference on Computer Safety, Reliability and Security. SAFECOMP 2014 will be held in Florence, on September 10-12 2014, and will follow the key theme "Safety in presence of evolution: desi...
