Igor Sedlár

About me

Hi! I'm a logician based at the Czech Academy of Sciences in Prague, Czech Republic. I am affiliated with the Institute of Computer Science CAS, where I am a (tenured) researcher at the Department of Theoretical Computer Science working within the LogICS group. I am also affiliated with the Institute of Philosophy of the CAS, where I hold a part-time position at the Department of Logic. I am a proud member of the Logician's Liberation League.

Here's my CV.

Research

I work mainly on modal and non-classical logic. I'm currently interested in non-classical modal logics, especially dynamic logics based on non-classical propositional logics.

I am currently the principal investigator of the project GRADLACT: Graded Logics of Action, funded by the Czech Science Foundation. The project aims at studying graded (weigted, many-valued) versions of some logics of action, focusing mostly on versions of Propositional Dynamic Logic and Kleene algebra. The project is running during 2022-2024.

Recently I completed, as a principal investigator, the NOCLID project, funded by the Czech Science Foundation (January 2018 - June 2021). The project focused on applications of non-classical logics in modelling information dynamics.

Publications

The full list of my publications is here.

Service

I am currently serving as a deputy head of the Department of Theoretical Computer Science at ICS CAS and I am also a member of the Board of the ICS CAS.

I serve, or have recently served, on the program committees of: AiML 2024, WoLLIC 2024, DaLí 2023, Logica 2023 (co-chair), AiML 2022, DaLí 2022, Logica 2022 (co-chair).

I am the main local organizer of AiML 2024 and I serve on the organizing committee of RAMiCS 2024. I co-organize the Logica conference series. I organize the Seminar on Applied Mathematical Logic at the ICS CAS.

Teaching

Recently taught courses:

  • Dynamic Logic. Charles University, fall 2023.
  • Dynamic Logic. Charles University, fall 2021.
  • Non-classical models of reasoning. Charles University, spring 2020. Co-taught with M. Bílková, P. Cintula and A. Tedder.
  • Mathematical Logic. Czech Technical University, fall 2018
  • Logic in Computer Science. Czech Technical University, spring 2018 and 2020. Co-taught with C. Noguera.

Contact

Dr. Igor Sedlár
Institute of Computer Science
Czech Academy of Sciences
Pod Vodárenskou věží 271/2
182 00 Prague 8, The Czech Republic

sedlar(at)cs(dot)cas(dot)cz