ILLC News & Events
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
(New) Postdoctoral researcher in logicDeadline: Tuesday 1 May 2018
The ILLC is looking to fill one postdoc position in Logic within the project EXPRESS: From the Expression of Disagreement to New Foundations for Expressivist Semantics. This is a five-year project funded by a European Research Council (ERC) Starting Grant and led by Dr Luca Incurvati (Principal Investigator). The project aims to develop a novel theory and logic of the way disagreement is expressed in dialogue. This theory will then be used to establish a novel approach to natural language semantics, inferential expressivism.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2018/04/18-199-postdoctoral-researcher-in-logic.html or contact Luca Incurvati at L.Incurvati at uva.nl.
Assistant professor in Computational Linguistics (Universitair Docent)Deadline: Sunday 29 April 2018
We are looking for an excellent researcher with proven expertise in Machine Learning for Natural Language Processing to join our team. We are particularly interested in candidates with expertise and experience in developing and applying deep neural networks and Bayesian inference to NLP tasks including machine translation, and syntactic and semantic parsing. Experience with and willingness to interact with research in information theory, cryptography, game theory, formal semantics, and/or cognitive science would be a plus.For more information, see here or at https://www.uva.nl/en/content/vacancies/2018/04/18-185-assistant-professor-in-computational-linguistics-universitair-docent.html or contact Dr. W.H. Zuidema at w.h.zuidema at uva.nl.
Postdoctoral researcher in Computational Linguistics and Dialogue Modelling at ILLCDeadline: Friday 1 June 2018
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a one-year research position at the postdoc level in the Dialogue Modelling Group led by Raquel Fernández. The mission of the group is to understand dialogical interaction by developing empirically-motivated formal and computational models that can be applied to various dialogue processing tasks and to human-machine interaction.
This position is part of a larger project on Asymmetry in Conversation, funded by the Netherlands Organisation for Scientific Research (NWO) under the VIDI scheme. The exact research topic to be pursued by the successful applicant is flexible, but it must fit the general research agenda of the group, which is centred around computational semantics and pragmatics, in particular in interactive linguistic settings, including dialogue systems. The group has a wide international network of collaborators, both in academia and in industry research labs.For more information, see here or at https://www.uva.nl/en/content/vacancies/2018/03/18-136-postdoctoral-researcher-in-computational-linguistics-and-dialogue-modelling.html or contact Dr Raquel Fernández at raquel.fernandez at uva.nl.
ILLC Events this week
25 April 2018, Amsterdam Metaphysics Seminar, Peter HawkeSpeaker: Peter HawkeLocation: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam
Peter Hawke discusses: 'ModalObjectivity' by Justin Clarke-Doane.For more information, see https://sites.google.com/view/amsterdammetaphysicsseminar/.
25 April 2018, PhD Defense, Srinivasan ArunachalamSpeaker: Srinivasan ArunachalamTitle: Quantum Algorithms and Learning TheoryLocation: Agnietenkapel University of Amsterdam, Oudezijds Voorburgwal 229 - 231, AmsterdamMentor: Srinivasan ArunachalamPromotor: Prof. dr. R. M. de Wolf and Prof. dr. H. M. BuhrmanFor more information, see https://www.cwi.nl/research/groups/algorithms-and-complexity/events/phd-defence-srinivasan-arunachalam-a-c or contact Srinivasan Arunachalam at arunacha at cwi.nl.
(Updated) 25 April 2018, Algebra|Coalgebra Seminar, Sam van GoolSpeaker: Sam van GoolTitle: Uniform interpolation via an open mapping theorem for Esakia spacesLocation: Room F1.15, ILLC, Science Park 107, Amsterdam
We prove an open mapping theorem for the topological spaces dual to finitely presented Heyting algebras. This yields in particular a short, self-contained semantic proof of the uniform interpolation theorem for intuitionistic propositional logic, first proved by Pitts in 1992. Our proof is based on the methods of Ghilardi & Zawadowski. However, our proof does not require sheaves nor games, only basic duality theory for Heyting algebras.
26 April 2018, ILLC Seminar, Helle Hvid HansenSpeaker: Helle Hvid HansenTitle: Coalgebra, Algebra and Modal Logic: Reasoning about the structure and behaviour of computationsLocation: ILLC Seminar Room F1.15, Science Park 107, The Netherlands
26 April 2018, Master of Logic defense, Lucy van OostveenTitle: What You Know About People's Preferences Matters: Investigating simpler notions of partial information in the context of strategic manipulation in votingLocation: Room F3.20, ILLC, Science Park 107, AmsterdamSupervisor: Dr. Ronald de Haan and Dr. Jakub Szymanik
26 April 2018, Computational Social Choice Seminar, Lucy van OostveenSpeaker: Lucy van Oostveen (ILLC)Title: What You Know About People's Preferences Matters: Investigating Simpler Notions of Partial Information in the Context of Strategic Manipulation in Voting (MoL defense)Location: Room F3.20, Science Park 107, Amsterdam
(Updated) 26 April 2018, Logic and Interactive Rationality (LIRa), Jakub SzymanikSpeaker: Jakub SzymanikTitle: Logic as a Grammar of ThoughtLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2018/03/lira-session-jakub-szymanik-2/.
30 April 2018, ILLC Seminar, Dorothea BaumeisterSpeaker: Dorothea BaumeisterTitle: Collective Decision Making: Argumentation Systems and Committee ElectionsLocation: ILLC Seminar Room F1.15, Science Park 107, The Netherlands
This talk will give a short introduction into computational social choice, an interdisciplinary field that lies at the interface between social choice theory and computer science. Afterwards the focus is on two different problems of collective decision making. The study of such problems is extremely important, since there are many situation where a collective decision based on individual preferences has to be made. The first part of this talk deals with the modeling of online participation processes and their properties. They will be formalized by abstract argumentation frameworks, where incompleteness is added to the initial model. This extension is more suitable to capture the dynamics of such processes. In this context the verification problem is particularly important, thus its computational complexity will be analyzed for different variants. The second part of the talk focuses on the algorithmic and axiomatic study of committee elections. Committee election rules for different forms of votes that try to minimize the voters’ dissatisfaction will be introduced. Afterwards its axiomatic and algorithmic properties are explored.
1 May 2018, ILLC Seminar, Bahareh AfshariSpeaker: Bahareh AfshariTitle: On the logic of induction and co-inductionLocation: ILLC Seminar Room F1.15, Science Park 107, The Netherlands
Modal logic provides an effective language for expressing
properties of state-based systems. When equipped with operators
that can test for infinite behaviour like looping and
reachability, the logic becomes a powerful tool for specifying
correctness of nonterminating, reactive processes such as
communication protocols and control systems. An elegant example
of such a logic is the modal mu-calculus which extends basic
modal logic by two quantifiers for defining inductive and
co-inductive operators. As well as being highly expressive, this
logic enjoys good computational properties (decidability, finite
model property, …) that distinguish it as a central logic in
computer science. In this talk I will introduce the modal
mu-calculus, present some key properties and discuss recent
results regarding its proof theory.