Do you want to become part of a dynamic community that is at the forefront of Artificial Intelligence, Digital Humanities, and Cultural Heritage?

Our experts from the Institute for Logic, Language, and Computation (ILLC) and the Amsterdam School for Heritage, Memory, and Material Culture (AHM) are looking for four talented and ambitious PhD candidates. Your research will be part of the Natural Language Processing and Digital Humanities unit of the ILLC (Projects 1-3) or the Digital Heritage research group of the AHM (Project 4).

Are you looking for a PhD position in a dynamic setting? Do you want to execute philosophy of science research informed by and engaging scientific practices? The Institute for Logic, Language and Computation (ILLC) (https://www.illc.uva.nl/) currently has a vacant PhD position for a talented student as part of the project Benchmarking scientific explanation in psychological practice, led by principal investigator Dr. Dingmar van Eck. The ILLC is one of the five Research Schools within the Amsterdam Institute for Humanities Research.

We are pleased to announce that Tobias Blanke has been awarded an ERC Advanced Grant, to work on Deep Culture - Living with Difference in the Age of Deep Learning (Deep Culture).

The aim of this workshop is to bring together experts from different research communities (such as proof theory, model theory, proof complexity, verification, database theory, knowledge representation, automated reasoning, automata theory, philosophy, linguistics) in order to discuss and disseminate recent and ongoing research pertaining to Craig interpolation and Beth definability.

Invited speakers: Michael Benedikt (University of Oxford, tbc), Raheleh Jalali (Czech Academy of Sciences), Jean Christoph Jung (TU Dortmund University), George Metcalfe (University of Bern), Thomas Place (LaBRI Bordeaux) and Philipp Ruemmer (University of Regensburg).