Venerdì 22 marzo ore 15.00-17.00 presso l'Auditorium B del Campus Morgagni
12.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
Si segnalano le seguenti iniziative del "Green Office" di Ateneo
2.02.2024
Svoltasi il 29 gennaio 2024 presso il polo di Novoli
31.01.2024
Scadenza 17 gennaio 2024 ore 14
8.01.2024
Scadenza per la presentazione delle domande: 15 gennaio 2024
23.10.2023
Il rettorato illuminato di rosso, la campagna social, il programma delle iniziative Unifi
22.11.2023
La violenza di Genere in Italia. Numeri sul fenomeno e azioni di contrasto sul territorio.
16.11.2023
22 e 23 novembre
24.10.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
Scadenza: 25 settembre 2023 ore 18
12.09.2023
19 luglio 2023 - dalle ore 09.00 fino alle ore 15.00.
10.07.2023
Indette per il 20 settembre 2023.
23.08.2023
Dal 28 agosto al 1 settembre 2023. Iscrizioni entro il 24 agosto.
4.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
22.06.2023
Scadenza per la presentazione delle domande: 22 agosto 2023.
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