Conférenciers invités

Jiaoyan Chen, University of Manchester, UK

Solenne Gaucher, CREST/École polytechnique

Matti Järvisalo is Professor of Computer Science (Algorithms and Machine Learning) at University of Helsinki, Finland, where he leads the Constraint Reasoning and Optimization group. His research interests span several areas in artificial intelligence, including automated reasoning and declarative programming, combinatorial optimization, knowledge representation and graphical models, with key contributions especially in theory and practice of Boolean satisfiability (SAT), SAT-based decision, combinatorial optimization and counting procedures, and their applications. His group has been successful in developing state-of-the-art solvers and tools e.g. for SAT, maximum satisfiability (MaxSAT), pseudo-Boolean optimization, formal argumentation, and answer set programming. With over 160 peer-reviewed publications to date, Dr. Järvisalo has received various best paper awards and other international recognitions for his contributions, including the IJCAI-JAIR Best Paper Award and an IJCAI Early Career Spotlight, as well as further best paper recognitions at ECAI, CP, KR, ICLP and PGM. In addition to organizing various workshops and conferences, he was PC Chair for SAT'13, IJCAI-PRICAI'20 Demo Track, KR'23 Applications and Systems Track, and KR'24 In the Wild Track, Chair of the Finnish AI Society (EurAI member society of Finland) 2019-2021, and has served on program committees of over 100 conferences. Today he serves on the editorial boards of Journal of Artificial Intelligence Research, Journal of Automated Reasoning, and Journal of Satisfiability, Boolean Modeling and Computation. Dr. Järvisalo has also been involved in organizing various automated reasoning competitions, including the renown SAT solver competitions and MaxSAT Evaluations for many years.

Nahla Ben amor, LARODEC, University of Tunis, Tunisie

Jaime Simão Sichman is a Full Professor of the Computer Engineering and Digital Systems Department (PCS) of Escola Politécnica (EP) at the Universidade de São Paulo (USP), Brazil. He has obtained both his B.E. and M.E. degrees in Electrical Enginnering from USP. He was one of the first students to obtain an European label to his PhD degree in Computer Engineering, developed at the Institut National Polytechnique de Grenoble (INPG), France, since part of his research was carried out at the Istituto di Psicologia del CNR, Rome, Italy. More recently, he has spent an abbreviated post-doctoral period at the University of Utrecht, at the Netherlands. His main research focus is multi-agent systems, more particularly in subjects like social reasoning, organizational reasoning, multi-agent-based simulation, reputation and trust, and interoperability in agent systems. He is co-director of the Laboratório de Técnicas Inteligentes (LTI) at USP, where he also held the position of director of the Electronic Computing Center (CCE) from 2010 to 2013. He has advised/co-advised 12 PhD, 20 MsC, and several undergraduate students. He has published more than 215 papers in national and international conferences and journals. He is member of the editorial board of the Journal of Artificial Societies and Social Simulation (JASSS), the Knowledge Engineering Review (KER), the International Journal on Agent-Oriented Software Engineering (IJAOSE), Computational and Mathematical Organization Theory (CMOT) and Autonomous Agents and Multi-Agent Systems (JAAMAS). He has organized several national and international conferences and workshops; in particular he was the SBIA/IBERAMIA General Chair (2000), Program Co-Chair (2006), and AAMAS Tutorial Chair (2007), Program Co-Chair (2009), Local Chair (2017) and Worskhop Co-Chair (2020). He was the coordinator of the Artificial Intelligence Special Interest Group (CEIA) of the Brazilian Computer Society (SBC), and was also a member of the Society’s Council. He is a member of the Board of Directors of the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). He was indicated as a Distinguished Speaker of the Association of Computing Machinery (ACM) in 2012.

Sylvain Lobry, LIPADE laboratory