Sunday, 31 October 2021
Sunday, 24 October 2021
Monday, 18 October 2021
Tuesday, 12 October 2021
Monday, 11 October 2021
Thursday, 7 October 2021
Monday, 4 October 2021
- [SSCC] Call for Papers (Symposium on Solutions for Smart Cities Challenges)
- Logica Universalis Webinar - October 6 - k-Provability in PA by Paulo Guilherme Santos and Reinhard Kahle