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.
Headlines ILLC News
Headlines ILLC Events this week
Assistant Professor in Model-Based AIDeadline: Monday 22 November 2021
We are looking for a specialist in an area of model-based AI such as, for example, SAT solving, constraint programming, planning and scheduling, answer set programming, description logics, ontology engineering, or computer-aided verification. We hope that you will be able to connect with the long and proud research tradition in logic at the ILLC, while also reaching out to the broader AI research community in Amsterdam.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2021/09/21-775-assistant-professor-in-model-based-ai.html or contact Prof dr. Ulle Endriss at U.Endriss at uva.nl.
Postdoctoral Researcher Unravelling our Capacity for MusicDeadline: Monday 1 November 2021Are you looking for a postdoctoral position where you can combine insights from music cognition with psychometrics and cognitive science? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of smart and friendly colleagues, then you may want to join us.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2021/10/21-794-postdoctoral-researcher-unravelling-our-capacity-for-music.html or contact Prof. Henkjan Honing at H.J.Honing at uva.nl.
PhD Researcher Unravelling our Capacity for MusicDeadline: Monday 1 November 2021Are you looking for a PhD position where you can combine insights from music cognition, cognitive behavioural ecology, and cognitive science? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of smart and friendly colleagues, then you may want to join us.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2021/10/21-793--phd-researcher-unravelling-our-capacity-for-music.html or contact Prof. Henkjan Honing at H.J.Honing at uva.nl.
(New) ILLC's SignLab shortlisted for Amsterdam Science and Innovation Award
ILLC's SignLab is among the 3 finalists for the Amsterdam Science and Innovation Award in the category Society! The finale will take place at NEMO on the 9th of November and will also be livestreamed. Registration is required to attend either the live event or the livestream.
ILLC Events this week
20 October 2021, Algebra|Coalgebra Seminar, R. RamanujamSpeaker: R. Ramanujam (Institute of Mathematical Sciences, India)Title: Decidable fragments of first order modal logicLocation: Online (Zoom)
20 October 2021, MoL thesis presentations, MoL studentsSpeaker: MoL studentsTitle: MoL thesis presentations S1 2021/22Location: Room F2.04, Science Park 107, 1098 XG Amsterdam
MoL students graduating in the current semester will present their ongoing thesis projects to the ILLC community.For more information, contact Maria Aloni at m.d.aloni at uva.nl.
(Updated) 21 October 2021, Logic and Interactive Rationality (LIRa), Francesca PoggiolesiSpeaker: Francesca PoggiolesiTitle: Grounding principles for (relevant) implicationLocation: online.For more information, see https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-francesca-poggiolesi/.
(New) 25 October 2021, AUC Logic Lectures Series, Ulle EndrissSpeaker: Ulle EndrissTitle: Judgment AggregationLocation: AUC Common Room - Science Park 113, Amsterdam
This lecture will be an introduction to the theory of judgment aggregation (JA). JA deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions, expressed in the language of logic, into a single such view that appropriately reflects the stance of the group as a whole. Applications of JA range from aggregating the opinions of several judges in a court of law into a single legal opinion, all the way to aggregating information received from several autonomous software agents in the context of distributed computing systems.For more information, see https://www.auc.nl/shared-content/events/lectures/wit-2021-2022/10/auc-logic-lectures-ulle-endriss.html?gh or contact Dora Achourioti at t.achourioti at uva.nl.