Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP (ECBS 2023)

Who

Ivan Prokić, Silvia Ghilezan, Simona Kašterović, Miroslav Popovic, Marko Popovic, Ivan Kaštelan

Track

ECBS 2023

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 18 Oct 2023 11:10 - 11:40 at Pi - Learning and Neural Networks Chair(s): Leo Hatvani

Link to Preprint

https://www.idt.mdu.se/ecbs2023/pre-prints/paper_3603.pdf

Ivan Prokić

University of Novi Sad

Serbia

Silvia Ghilezan

University of Novi Sad, Mathematical Institute SASA

Serbia

Simona Kašterović

Miroslav Popovic

University of Novi Sad

Marko Popovic

Institute RT-RK

Ivan Kaštelan

University of Novi Sad

Serbia

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 18 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00	Learning and Neural NetworksECBS 2023 at Pi Chair(s): Leo Hatvani Mälardalen University

10:30 20m Research paper		A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models ECBS 2023 Ali Teymur Kahraman Uppsala University, Tomas Fröding , Dimitrios Toumpanakis , Mikael Fridenfalk , Christian Jamtheim Gustafsson , Tobias Sjöblom Pre-print
10:50 20m Research paper		Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks ECBS 2023 Murat Isik , Kayode Inadagbo Pre-print
11:10 30m Research paper		Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP ECBS 2023 Ivan Prokić University of Novi Sad, Silvia Ghilezan University of Novi Sad, Mathematical Institute SASA, Simona Kašterović , Miroslav Popovic University of Novi Sad, Marko Popovic Institute RT-RK, Ivan Kaštelan University of Novi Sad Pre-print
11:40 20m Research paper		Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental Data ECBS 2023 Maria-Iuliana Dascalu University POLITEHNICA of Bucharest, Andrei-Sergiu Bumbacea , Ioan-Alexandru Bratosin , Iulia-Cristina Stanica , Constanta Nicoleta Bodea Academy of Economic Studies Pre-print