Quattro giornate di discussione sui Cambiamenti Climatici
4.04.2024
March 25-27, 2024
15.03.2024
29 febbraio dalle 10.30 alle 13.30 - Aula Magna dell'Università degli Studi di Firenze
1.02.2024
22 febbraio, ore 11 - Biblioteca di Scienze Sociali - Novoli
13.02.2024
La violenza di Genere in Italia. Numeri sul fenomeno e azioni di contrasto sul territorio.
16.11.2023
C.R. Rao, who passed away on Aug. 22 at the age of 102, was a pioneer in the field who laid the foundation for modern statistics.
12.10.2023
Il DISIA, in collaborazione con ISTAT e SIS, organizza per Firenze la Giornata della Statistica - Aula LAB 005 ore 14.15
18.10.2023
Mercoledì 27 settembre la cerimonia al Teatro Verdi
29.09.2023
Indette per il 20 settembre 2023.
23.08.2023
The International Federation for Information Processing (IFIP) has given Francesco Tiezzi (UNIFI - DiSIA) and colleagues Claudio Antares Mezzina (Università degli Studi di Urbino Carlo Bo) and Nobuko Yoshida (University of Oxford) the DisCoTec (International Federated Conference on Distributed Computing Techniques) 2023 Best Paper Award for their paper Rollback Recovery in Session-based Programming. The same paper was in addition recognised with the COORDINATION 2023 (International Conference on Coordination Models and Languages) Best Paper Award. The work detailed in the winning paper proposes a new reversible computing framework based on session types. The research enriches a language with programming facilities to commit session interactions, to roll back the computation to a previous commit point, and to abort the session. The correctness of the recovery is ensured at design-time (statically) by relying on a decidable compliance check at the type-level, implemented in MAUDE. Both awards were announced at the DisCoTec 2023 conference, which took place in June 2023, in Portugal.
3.07.2023
Applications must be submitted by August 22.
24.07.2023
Attività aperte a tutti gli studenti che desiderano iscriversi e programmate fino a fine giugno 2023.
29.03.2023
Nel periodo 31 luglio - 25 agosto 2023 la Reception del DiSIA effettuerà un orario ridotto. Chiusura completa dal 14 al 18 agosto.
19.07.2023
Scadenza 9 giugno 2023, ore 12.
11.05.2023
Bando DIN in Life Course Research
6.07.2023
2.03.2023
Scadenza 1 aprile 2023
24.03.2023
Scadenza 1° febbraio 2023
27.01.2023