News and Events: Miscellaneous
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
PhD Position in Theoretical Philosophy at the Department of Philosophy, Stockholm UniversityDeadline: Thursday 15 October 2020
The Department of Philosophy, Stockholm University, has a vacant PhD position in theoretical philosophy. The Department of Philosophy is Sweden’s largest philosophy department, and is divided into Theoretical Philosophy and Practical Philosophy. It has a thriving research community and regularly hosts visiting speakers and conferences. Theoretical philosophy includes epistemology, metaphysics, logic, philosophy of language, philosophy of science, and as well as the history of philosophy.For more information, see https://www.su.se/english/about/working-at-su/phd?rmpage=job&rmjob=13067&rmlang=UK.
Blog post on diversity at the ILLC
On the Dutch Diversity Day, we published a blog post on diversity at the ILLC and the work of the diversity committee.For more information, see https://resources.illc.uva.nl/illc-blog/diversity/ or contact Iris Proff at irisproff at gmail.com.
Blog post on the history of AI at UvA
A new post our ILLC blog talks about the history of AI research and teaching at UvA. Emeritus professor Frank Veltman, who had a central role developing the AI teaching program in 1992, talks about the drastic changes the field went through in the last 30 years.For more information, see https://resources.illc.uva.nl/illc-blog/a-little-history-of-ai-at-the-uva/ or contact Iris Proff at irisproff at gmail.com.
Two logic textbooks by Smith (Intro Formal Logic, Intro Goedel's Thm) free for download
Corrected versions of the second editions of
- Peter Smith, An Introduction to Formal Logic
- Peter Smith, An Introduction to Goedel's Theorem
(originally published by CUP) have been made available as free PDF downloads by the author.
The first is an introduction originally based on the Cambridge first year course for philosophers. The second, although published in a philosophy series too, could be of more interest to mathematicians as it is more maths than philosophical commentary.For more information, see https://www.logicmatters.net.
Podcast on Algorithms for Democracy
You can now listen to Ulle Endriss talk about 'Algorithms for Democracy' at #TalkThatScience ("the nicest tunes and the coolest resesarch").For more information, see https://soundcloud.com/talkthatscience/tts03.
14 April - 8 December 2020, Training SURF-systems for researchLocation: Online
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.For more information, see https://www.surf.nl/en/agenda/training-surf-systems-for-research or contact training at surfsara.nl.