Speaker: Prof. Pasquale Palumbo (University of Milano-Bicocca, Italy) Title: A mathematical model of the G1/S transition for the budding yeast Abstract: In budding yeast, overcoming of a critical size to enter S phase and the mitosis/mating switch—two central cell fate events—take place in…
[COURSE] Development of recommendation systems in software engineering: challenges and lessons learned
Lecturer: Prof. Davide Di Ruscio Abstract: Open-source software (OSS) forges contain rich data sources useful for supporting development activities. Several techniques and tools have been promoted to provide open-source developers with innovative features, aiming to obtain improvements in development effort, cost…
Neuro-symbolic Liveness Verification
Speaker: Dr. Mirco Giacobbe (University of Oxford, UK) Title: Neuro-symbolic Liveness Verification Abstract: Liveness verification answers the question of whether a system always responds with desirable behavior or, dually, never gets stuck without responding at all. For dynamical systems, this relates to the…
Advanced School on Complex Networks and Telecommunications focused on the transition from 5G to 6G
Where and when: Lake Como School of Advanced Studies, 5-9 July 2021 After the successful 2018 edition and the unfortunate cancellation in 2020 due to the pandemic situation, we are glad to announce the second edition of the Advanced School…