Welcome to the NOCLID webpage!

News

2018-01-29
We're hiring! The NOCLID project is seeking a post-doc with experience in modal and/or (but preferably "and") non-classical logic. We offer a 2-year full-time position at the Institute of Computer Science, Academy of Sciences of the Czech Republic, ideally from mid-2018 to mid-2020.

The call for applications will be published soon. For inquiries, contact Igor.