ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Session

Session 2 • Saturday, 2.11

Room: Room 3
TimeTopicAuthors
11:00On formalization issues for security, privacy and safety properties to validate best practice designs of platformsfor multi-center-based machine learning for personalized health and careSerge Autexier
11:40Opportunities and Challenges of Quantum Computing and Quantum Machine Learning in Precision MedicineMarkus Bertl
12:20Discussion and closing