Clare Dixon (University of Manchester, UK)

Clare Dixon is Professor of Computer Science in the Department of Computer Science  at the University of Manchester. She has recently moved to Manchester after almost twenty years as an academic in the Department of Computer Science at the University of Liverpool. Her research relates to the formal verification  of systems and its application to areas such as autonomous  systems, robotics, sensor systems, artificial intelligence  and security. Recent research has focused on the verification of robot assistants, swarm  robots and robotics in extreme environments. She also works on automated reasoning techniques for non-classical logics.  She has been an investigator on twelve UKRI/EPSRC funded projects and  her current projects include the Science of Sensor System Software, Future AI and Robotics Hub for Space (FAIR-SPACE),  Robotics and Artificial Intelligence for Nuclear (RAIN). She is a member of the BSI  Standards Committee, AMT/010 Robotics.


Pedro Cabalar (University of Corunna, Spain)

Pedro Cabalar is an Associate Professor at the Computer Science Department, University of Corunna, Spain. He has published in relevant journals for Artificial Intelligence and Logic Programming like the prestigious Artificial Intelligence Journal (AIJ), the journal Theory and Practice on Logic Programming (TPLP), Annals of Mathematics and Artificial Intelligence (AMAI), AI Communications, the Journal of Applied Non-Classical Logics (JANCL) or the Logic Journal of the IGPL. He has regularly published in the main international conferences in the topic, like the International Joint Conference on Artificial Intelligence (IJCAI), the Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR), the Conference on Artificial Intelligence (AAAI), the Intl. Conf. on Logic Programming (ICLP), the Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR), the European Conf. on Logics in Artificial Intelligence (JELIA), the European Conf. on Artificial Intelligence (ECAI), and some of their associated specialized workshops. He has co-chaired and organized the 12th edition of LPNMR in 2013 at A Coruña, and is also a frequent Program Committee member for conferences IJCAI, AAAI, KR, LPNMR, ICLP, ECAI and JELIA. He acts as reviewer for the AMS Mathematical Reviews of the American Mathematical Society. He has also acted as a reviewer in many journals in the area like the already mentioned TPLP, AIJ or the Journal of Artificial Intelligence Research, the Journal of Logic and Computation, the Journal of Applied Logic, the ACM Transactions on Computational Logic and others. He is involved in the European COST action “DigForASP: DIGital FORensics – evidence Analysis via intelligent Systems and Practices”, being the leader of Working Group 3, “Prototypes and Platforms.” 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. He has supervised two PhD theses.


Johann Eder (Alpen-Adria Universität Klagenfurt, Austria)