INVITED SPEAKERS
Valentin Goranko (Stockholm University, Sweden) did his M.Sc. (Mathematics, '84) and Ph.D. (Mathematical Logic, '88) at the Faculty of Mathematics and Computer Science of the University of Sofia "St. Kliment Ohridski". His Ph. D. thesis was on "Definability and completeness in multi-modal logics" under the supervision of Dimiter Vakarelov, who was a student of Helena Rasiowa, who was a student of Andrzej Mostowski, who was a student of Kazimierz Kuratowski and Alfred Tarski.He has over 30 years of academic teaching experience and have taught various undergraduate and graduate courses in Logic, Mathematics and Computer Science, at several universities in Bulgaria, South Africa, Denmark, and Sweden. His research focuses on areas such as: modal and temporal logics in general, logics of agency and multi-agent systems, logics of games and games in logic, or logics of programs, processes, and actions.
Hitoshi Omori (Tohoku University, Sendai, Japan) is Professor at Graduate School of Information Sciences, Tohoku University. Before arriving in Sendai in April, 2023, he was Junior-Professor at Department of Philosophy I, Ruhr-Universität Bochum. Even before arriving in Bochum in December, 2018, he was Assistant Professor of Logic in Japan Advanced Institute of Science and Technology (JAIST) for eight months within the research group led by Professor Satoshi Tojo. Prior to that, he was a postdoctoral researcher, funded by Japan Society for the Promotion of Science (JSPS), based in Kyoto University, CUNY and Kobe University, working with Professor Yasuo Deguchi, Professor Graham Priest and Professor Makoto Kikuchi respectively. From June, 2013 to January, 2014, he was visiting Department of Philosophy II, Ruhr-Universität Bochum working with Professor Heinrich Wansing. He did my PhD at Tokyo Institute of Technology under the supervision of Professor Toshiharu Waragai. His research interest lies in non-classical logic, especially paraconsistent logic, many-valued logic and modal logic.
Eugenio Orlandelli (University of Bologna, Italy) received his Ph.D. from the University of Bologna in 2014. From 2014 to 2019 he was a post-doc in the Department of Philosophy and Communication Studies at the University of Bologna and in 2020 he was a post-doc in the Department of Philosophy at the University of Helsinki. He holds a position of associate professor in the Department of Arts at the University of Bologna. He has supervised several bachelor, master, and Ph.D. students. His research interests are in propositional and first-order modal logics, proof theory and labelled sequent calculi, and philosophical logic.
Elaine Pimentel (University College London, UK) is professor of logic and computation in the Department of Computer Science at University College London. She obtained her Ph.D. from the Federal University of Minas Gerais (UFMG) in 2001. She is the Treasurer of ACM SIGLOG, Member of the Ethics and Conduct Committee of Brazilian Mathematical Society, Chair of the LA committee of the Association for Symbolic Logic and Chair of the following Scientific committees: TABLEAUX and LFMTP. She was the President (2021-2023), the Treasurer (2023-2025) of the Brazilian Logic Society. Before 2022, she worked as a professor at the Math Departments of the Federal University of Minas Gerais (UFMG) and the Federal University of Rio Grande do Norte (UFRN), both in Brazil. She has held visiting research positions at TU-Wien (Austria), IRIF and LIX-École Polytechnique (France), and Torino University (Italy). She is the coordinator of Brazilian research projects, and she is part of the European research project MOSAIC. Her main research interests comprise several aspects of proof theory, including: specification and verification of concurrent/computational/logical systems, game semantics, ecumenical logics and proof systems for automatic reasoning.
