Universiteit van Amsterdam

ILLC News & Events

Institute for Logic, Language and Computation


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.

Sections

Headlines ILLC News

Headlines ILLC Events this week

ILLC News

  • (New) Postdoctoral researcher in logic

    Deadline: 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.

  • 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.

  • Postdoctoral researcher in Computational Linguistics and Dialogue Modelling at ILLC

    Deadline: 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.

ILLC Events this week

  • 25 April 2018, Amsterdam Metaphysics Seminar, Peter Hawke

    Speaker: Peter Hawke
    Date & Time: Wednesday 25 April 2018, 14:00-16:00
    Location: Faculteitskamer (1.17), Oude Turfmarkt 145-147, Amsterdam

    Peter Hawke discusses: 'ModalObjectivity' by Justin Clarke-Doane.

  • 25 April 2018, PhD Defense, Srinivasan Arunachalam

    Speaker: Srinivasan Arunachalam
    Title: Quantum Algorithms and Learning Theory
    Date & Time: Wednesday 25 April 2018, 14:00-16:30
    Location: Agnietenkapel University of Amsterdam, Oudezijds Voorburgwal 229 - 231, Amsterdam
    Mentor: Srinivasan Arunachalam
    Promotor: Prof. dr. R. M. de Wolf and Prof. dr. H. M. Buhrman
  • (Updated) 25 April 2018, Algebra|Coalgebra Seminar, Sam van Gool

    Speaker: Sam van Gool
    Title: Uniform interpolation via an open mapping theorem for Esakia spaces
    Date & Time: Wednesday 25 April 2018, 16:00-17:00
    Location: 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.

    For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .
  • 26 April 2018, ILLC Seminar, Helle Hvid Hansen

    Speaker: Helle Hvid Hansen
    Title: Coalgebra, Algebra and Modal Logic: Reasoning about the structure and behaviour of computations
    Date & Time: Thursday 26 April 2018, 10:00-10:50
    Location: ILLC Seminar Room F1.15, Science Park 107, The Netherlands
    For more information, contact Yde Venema at .
  • 26 April 2018, Master of Logic defense, Lucy van Oostveen

    Title: What You Know About People's Preferences Matters: Investigating simpler notions of partial information in the context of strategic manipulation in voting
    Date & Time: Thursday 26 April 2018, 13:00
    Location: Room F3.20, ILLC, Science Park 107, Amsterdam
    Supervisor: Dr. Ronald de Haan and Dr. Jakub Szymanik
  • 26 April 2018, Computational Social Choice Seminar, Lucy van Oostveen

    Speaker: 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)
    Date & Time: Thursday 26 April 2018, 13:00
    Location: Room F3.20, Science Park 107, Amsterdam
    For more information, see https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • (Updated) 26 April 2018, Logic and Interactive Rationality (LIRa), Jakub Szymanik

    Speaker: Jakub Szymanik
    Title: Logic as a Grammar of Thought
    Date & Time: Thursday 26 April 2018, 16:00-17:30
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
  • 30 April 2018, ILLC Seminar, Dorothea Baumeister

    Speaker: Dorothea Baumeister
    Title: Collective Decision Making: Argumentation Systems and Committee Elections
    Date & Time: Monday 30 April 2018, 14:00-14:50
    Location: 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.

    For more information, contact Yde Venema at .
  • 1 May 2018, ILLC Seminar, Bahareh Afshari

    Speaker: Bahareh Afshari
    Title: On the logic of induction and co-induction
    Date & Time: Tuesday 1 May 2018, 11:00-11:50
    Location: 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.

    For more information, contact Yde Venema at .

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X