Indette per il 20 settembre 2023.
23.08.2023
Dal 28 agosto al 1 settembre 2023. Iscrizioni entro il 24 agosto.
4.08.2023
Scadenza per la presentazione delle domande: 22 agosto 2023.
24.07.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
Bando DIN in Life Course Research
6.07.2023
4.07.2023
19 luglio 2023 - dalle ore 09.00 fino alle ore 15.00.
10.07.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
Attività aperte a tutti gli studenti che desiderano iscriversi e programmate fino a fine giugno 2023.
29.03.2023
Scadenza 9 giugno 2023, ore 12.
11.05.2023
2.03.2023
Scadenza 1 aprile 2023
24.03.2023
Scadenza 1° febbraio 2023
27.01.2023
Scadenza 19 dicembre 2022 ore 13.00
22.12.2022
Scadenza 19 ottobre 2022 ore 13:00.
7.10.2022
Scadenza 25 ottobre ore 13.00
26.10.2022
Scadenza 21 ottobre 2022 ore 13.00
10.11.2022
Scadenza 25 ottobre ore 13.00
25.10.2022