Igor Sedlár's Homepage


About me

Hi! I'm a logician based in Prague. I work mainly on substructural logics and non-classical modal logics. I am affiliated with the Institute of Computer Science of the Czech Academy of Sciences (Postdoctoral researcher at the Department of Theoretical Computer Science within the LogICS group) and the Institute of Philosophy of the Czech Academy of Sciences (Part-time researcher at the Department of Logic).

I am the principal investigator of the NOCLID project. I organise the Seminar on Applied Mathematical Logic at the ICS and I co-organise the LOGICA conference series.

Here's my CV.


Contact

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

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


Online

dblp
researchgate.net
academia.edu
Google Scholar
Orcid ORCID logo