ABCDEFGHI
1
ApplicationTitleCandidateProponentDate of DefenseUniversityCountryMemberProof of membership
2
AIDA2024-22Activating Formal Verification of Deep Reinforcement
Learning Policies by Model Checking Bisimilar Latent
Space Models		Florent DelgrangeProf. Ann Nowe20/08/2024Vrije Universiteit BrusselBelgiumBNVKI
BNVKI 2025 PhD Dissertation Award (not selected)
3
AIDA2024-17On Uncertainty in Natural Language ProcessingDr. Dennis UlmerDr. Christian Hardmeier27/9/2024University of CopenhagenDenmarkBNVKICertificate for year 2025
4
AIDA2024-09Advanced Machine Learning for Sparse Representations in Pattern Recognition
Applications		Mete AhishaliProf. Moncef Gabbouj12/08/2024Tampere UniversityFinlandFAISCertificate for year 2025
5
AIDA2024-10Spectrum-aware Human-Centric Sensing (HCS) using mmWave radarsDr. Dariush SalamiProf. Stephan Sigg29/04/2024Aalto UniversityFinlandFAIS
Newsletter Welcome new members 05/05/2025
6
AIDA2024-14Machine Learning Algorithms for Computer-aided Diagnosis of Myocardial
Infarction from 2D Echocardiography and COVID-19 from Chest X-rays		Aysen Degerli Ahishali (She)Moncef Gabbouj24/05/2024Tampere UniversityFinlandFAISCertificate for year 2025
7
AIDA2024-30Deep Learning Methods for Point Matching, Visual Localization, and 3D ReconstructionDr. Shuzhe WangDr. Juho Kannala13/12/2024Aalto UniversityFinlandProof of Membership required
8
AIDA2024-02Solving Pure Exploration Problems with the Top Two Approach.Marc JourdanDr. Emilie Kaufmann14/06/2024Université de LilleFranceAFIAAFIA Letter Runner-up PhD Award 2025 of AFIA
9
AIDA2024-04Efficient Learning on Large-Scale 3D Point CloudsDamien RobertLoic Landrieu22/01/2024l’Université Gustave EiffelFranceAFIACertificate 14/11/2024
10
AIDA2024-20Sparks of Explainability. Recent Advancements in Explaining. Large Vision ModelsDr. Thomas FelProf. Thomas Serre25/07/2024Doctoral School of Mathematics, Computer Science, and Telecommunications of ToulouseFranceAFIAAFIA Letter PhD Award 2025 of AFIA
11
AIDA2024-01Towards a Combined Local and Global Explanation Framework for Deep Reinforcement Learning Agents with Visual Input: Novel Methods and Insights from Human EvaluationTobias HuberProf. Dr. Elisabeth André17/07/2024University of AugsburgGermanyGI/FBKICertificate 20/05/2025
12
AIDA2024-03Conceptual Orthospaces — An Embedding Framework Accounting for Negation
Operators and Convexity Constraints		Mena Leemhuis (She)Dr. Özçep, Özgür Lütfü18/04/2024University of HamburgGermanyAIxIACertificate 30/10/2024
13
AIDA2024-18Geometric relational EmmbedingsBo XiongProf. Dr. Steffen Staab24/07/2024Universitat StuttgartGermanyBCS_SGAI (UK)
Screenshot membership number 995166317 since 2025
14
AIDA2024-25Facets of Proportionality: Selecting Committees, Budgets, and Clusters,”Jannik PetersMarkus Brill13/08/2024TU BerlinGermanyGI/FBKI
Welcome message 01/04/2025 member number GI-76336 Fachbereich Künstliche Intelligenz der GI (Germany)
15
AIDA2024-16Multiagent Decision Making for Lane-Free TrafficDimitrios TroullinosProfessor Markos Papageorgiou18/09/2024Technical University of CreteGreeceEETNCertificate 17/5/2025
16
AIDA2024-27Algorithmic and Game-theoretic Aspects of Computational Social
Choice”,		Georgios PapasotiropoulosVangelis Markakis28/03/2024Athens University of Economics and BusinessGreeceEETNCertificate 14/07/2023
17
AIDA2024-23Theoretical Foundations of Neural Networks: Expressiveness, Optimization,
and Generalization		Gilad YehudaiProf. Ohad Shamir03/01/2024Weizmann Institute of ScienceIsraelIAAICertificate 18/06/2025
18
AIDA2024-12Explanation Methods for Sequential Data ModelsDr. Francesco SpinnatoProf. Riccardo Guidotti09/05/2024University of Pisa,ItalyAIxIAMandato di pagamento 22/05/2025
19
AIDA2024-13Information Propagation Dynamics in Deep Graph NetworksAlessio GravinaDavide Bacciu08/10/2024University of Pisa,ItalyAIxIA
"indeed: I can confirm Alessio is an AIxIA member. My understanding is thet he tried to obtain the proof from the AIxIA Secretaty but he did not get a response (they are overwhelmed with the transition to the new website)."
20
AIDA2024-24Optimizing Evaluation of Logic Programs: Extended Compilation and Enhanced Rewritings.Giuseppe MazzottaFrancesco Ricca13/12/2023Universita della CalabriaItalyAIxIACertificate 12/11/2024
21
AIDA2024-08Optimisation in Neurosymbolic Learning SystemsEmile van KriekenProf. Annette ten Teije15/01/2024Vrije Universiteit AmsterdamNetherlandsBNVKIBNVK Support Letter & BNVK PhD Award
22
AIDA2024-29The Good, the Efficient and the Inductive Biases: Exploring Efficiency in DeepDavid W. Romeroprof.dr. Mark Hoogendoorn10/09/2024Vrije Universiteit AmsterdamNetherlandsBNVKI Award (without cover letter nor contact details of the nominator)
23
AIDA2024-05Malicious Agents and the Power of Few: On the Logic of Abnormality in Social
Networks		Mina Young Pedersen (She)Marija SlavkovikBergen UniversityNorwayNAISNAIS Support Letter
24
AIDA2024-07Interpretable Deep Learning with Prototypical Parts for
Supervised and Weakly-Supervised Learning		Dawid RymarczykProf. Bartosz Zieliński07/03/2024Jagiellonian UniversityPolandPSSI
"I confirm that Dawid is a member of the Polish EurAI Society PSSI"
25
AIDA2024-28Map of ElectionsStanisław SzufaPiotr Faliszewski13/05/2024AGH University of KrakóœPolandPSSI
PSSI 2024 Distinguished PhD Award (results are not known yet)
26
AIDA2024-06Classification Methods Using Dictionary Learning AlgorithmsDenis C. Ilie-AblachimBogdan Dumitrescu25/06/2024National University of Science and Technology Politehnica BucharestRomaniaARIACertificate 31/03/2025
27
AIDA2024-11Inferring Actionable Knowledge from IoT DataRaluca PortaseRodica POTOLEA19/07/0204Technical University of Cluj-NapocaRomaniaARIACertificate 11/04/2025
28
AIDA2024-15Demographic Bias in Machine Learning: Measuring Transference from Dataset Bias to Model PredictionsDr. Iris Domínguez-CatenaProf. Dr. Mikel Galar Idoate09/10/2024Universidad Pública de NavarraSpainAEPIAUlises AEPIA PhD Award
29
AIDA2024-19Explainability Based on Association Rules for Time Series PredictionÁngela del Robledo Troncoso García (She)Alicia Troncoso18/12/2024Universidad Pablo de Olavide,SpainAEPIACertificate 19/06/2024
30
AIDA2024-21FOUNDATIONS OF ONTOLOGY-BASED EXPLAINABLE ROBOTSAlberto Olivares AlarcosALENYÀ RIBAS, GUILLEM18/12/2024Universitat Politècnica de CatalunyaSpainACIAUlises AEPIA PhD Award
31
AIDA2024-26Towards Scalable and Model-Agnostic Neuro-Symbolic Artificial IntelligenceJonathan FeldsteinVaishak Belle23/02/2024University of EdinburghUnited KingdomAISBCertificate 01/06/2025
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100