18 July 2024 - "Practical Program Verification with Refinement Types " by Dr. Niki Vazou
Συνέδρια - Ημερίδες - Διαλέξεις
12 June 2024 - "Optimal game equilibrium seeking" by Dr. Sergio Grammatico
11 June 2024 - "Scalable and Verifiable Coordination of Adaptable Autonomous Systems" by Dr. Christos Verginis
5 June 2024 - "Towards fast, uniform, and versatile geometric predicates in human-computer interaction" by Dr. Manos Kamarianakis
21 June 2024 - "Nested Krylov Iterative Methods For Linear Systems and Applications" by Dr. Anthony T. Chronopoulos
18 Jan 2024 - "Machine learning for estimating predictive uncertainty in geoscience, remote sensing, and beyond" by Dr. Georgia Papacharalampous
17 Jan 2024 - "Retrieving same incident videos with similarity learning" by Dr. Giorgos Kordopatis-Zilos
08 Dec 2023 - "An overview of my work in computation of equilibria in games: Recent results and future directions" by Dr. Michail Fasoulakis
22 Dec 2023 - "Looking at (Ultra)sound with an Electronic-Photonic System on Chip" by Dr. Panagiotis Zarkos
20 Dec 2023 - "Functional ultrasound imaging (fUSI): A revolutionary technology to study the nervous system" by Dr. Vasileios Christopoulos
