Invited speakers
Vanina Martínez
Dr. Maria Vanina Martinez is a tenured scientist at the Artificial Intelligence Research Institute (IIIA-CSIC) in Barcelona at the Spanish Research Council.
She holds a PhD in Computer Science from the University of Maryland, College Park. In 2018, she was selected by IEEE Intelligent Systems as one of the “AI’s 10 to Watch,” an award recognising early-career researchers with outstanding contributions in AI. She has also been awarded the 2021 Argentine National Academy Stimulus Award (Engineering Sciences) and the 2023 Konex Award in Science and Technology (Argentina). Her research focuses on knowledge representation and reasoning, particularly in the areas of belief revision, managing inconsistency and uncertainty, argumentation, and automated reasoning.
Hans van Ditmarsch
Hans van Ditmarsch is emeritus senior researcher at CNRS (IRIT, University of Toulouse) France, and visiting professor at IIT (Indian Institute of Technology) Kanpur in India. He lives in the Netherlands. He has previously been based at the Open University of the Netherlands, the University of Groningen, the University of Otago, the University of Aberdeen, the University of Sevilla, CNRS (LORIA, University of Lorraine), and CNRS (ReLaX, Chennai, India). He has also been associated researcher at Institute of Mathematical Sciences, Chennai, India, for many years. His PhD is from the University of Groningen.
His research is on the dynamics of knowledge and belief, information-based security protocols, modal logics, and combinatorics. He has been an editor of the Journal of Philosophical Logic. He has been the recipient of an ERC (European Research Council) starting grant Epistemic Protocol Synthesis. He is an author of the textbook Dynamic Epistemic Logic, an editor of the Handbook of Epistemic Logic, an author of the puzzlebook One Hundred Prisoners and a Light Bulb, and the author of the forthcoming textbook Reasoning about Gossip.
Tommaso Flaminio
His research interests are knowledge representation and reasoning and, especially, in (fuzzy, algebraic and modal) logic, reasoning under uncertainty and, more recently, on logic for conditionals and counterfactuals, and belief change. On these topics he co-authored around 80 papers that appeared in international journals and proceedings of international conferences.
Lucia Gomez Alvarez
Lucía Gómez Álvarez is a tenured researcher (chargée de recherche) at Inria in the mOeX team, at the Inria Centre at Université Grenoble Alpes, France. She was previously a postdoctoral researcher and lecturer at the Technische Universität Dresden, Germany. Her PhD is from the University of Leeds, United Kingdom.
Her research is on knowledge representation and reasoning, and in particular on modal and description logics for reconciling conflicting, perspective-dependent knowledge, with related interests in the Semantic Web, ontologies, and vague and spatial concepts. She introduced standpoint logic, a framework for representing and reasoning over diverse and possibly conflicting viewpoints across independently developed knowledge sources, which she has coupled with description logics and other KR frameworks. She is the principal investigator of the ANR JCJC project SPaRK — Integrating Perspectives: Standpoint Logic for Knowledge Representation.
Pedro Cabalar is a full professor at the Computer Science and Information Technology Department, University of A Coruña, Spain. He earned his Bachelor’s degree at the University of Santiago de Compostela and graduated in Computer Science from the Polytechnic University of Madrid, receiving his PhD from the University of A Coruña in 2001. His research interests are focused on Artificial Intelligence and Knowledge Representation and Reasoning with special emphasis on temporal, causal, epistemic and qualitative spatial reasoning, mostly using non-classical logics and logic programming.
Many of his contributions are related to logical foundations and extensions of Answer Set Programming. He is also interested in logic based explanations of machine learning classifiers. Pedro Cabalar has collaborated with more than twenty coauthors from universities of nine different countries, publishing in relevant journals like AIJ, TPLP, AMAI, AI Communications, the Journal of Applied Non-Classical Logics or the Logic Journal of the IGPL, and reviewing for other journals like JAIR, J. of Logic and Computation, J. of Applied Logic or ACM TOCL. He is standard editor of the Artificial Intelligence Journal, and area editor (in Theoretical Foundations) of Theory and Practice of Logic Programming. He has regularly published in the main relevant international conferences like IJCAI, ECAI, KR, AAAI, JELIA, ICLP and LPNMR, being a frequent PC member for these events and acting as senior/area PC for IJCAI, ECAI and KR. He co-chairs the 40th edition of ICLP in 2024 in Dallas, TX, USA and he has also co-chaired and organised the 12th edition of LPNMR in 2013 in A Coruña. Pedro Cabalar is the general coordinator of the Master in Artificial Intelligence offered by the three public Galician Universities.
In the past he has served as area editor for the Association of Logic Programming Newsletter, he has been scientific editor of the Iberoamerican Journal on Artificial Intelligence and coordinated the PhD and MSc programmes of his Department. Pedro Cabalar has been principal investigator of five national research projects related to Knowledge Representation and Automated Reasoning with applications to the medical domain. He has acted as workgroup leader and Management Committee member of the European COST Action DigForASP, on Automated Reasoning applied to Digital Forensics.