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) PhD in Cyclic Proofs for Modal and Higher-order Logic

    Deadline: Monday 28 February 2022
    Do you have the technical skills and the scientific interest to conduct cutting-edge research in logic? We are looking for a PhD candidate for the research project Cyclic Proofs for Modal and Higher-order Logic.
  • (New) PhD Researcher in Cognitive Psychology and Causal Modeling

    Deadline: Monday 21 February 2022
    Do you like/are you looking for a challenging job in a dynamic setting? The Institute for Logic, Language and Computation is looking to fill one PhD postion in the research project The biased reality of online media – Using stereotypes to make media manipulation visible of Katrin Schulz and Leendert van Maanen.
  • Web Developer Back-end Engineer for Music Related Citizen Science Infrastructure

    Deadline: Tuesday 15 February 2022
    Are you looking for a challenging job in a dynamic interdisciplinary team? The Institute for Logic, Language and Computation (ILLC) is looking for an enthusiastic and experienced back-end engineer, contributing to the development of a flexible and sustainable infrastructure for MUSic-related Citizen Science Listening Experiments (MUSCLE). The project is funded by a PDI-SSH grant awarded to the Music Cognition Group (MCG), part of the research unit Language & Music Cognition (LMC), at the ILLC.
  • Multiple Faculty Positions in Theoretical Computer Science

    Deadline: Monday 7 February 2022

    Are you working at the forefront of theoretical computer science and are you equally passionate about research and teaching in this field? Are you looking forward to taking the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation?

    The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to significantly strengthen its profile in the domain of theoretical computer science by appointing two new faculty members in this area. One appointment will be made at either the Full Professor or the Associate Professor level, and another at either the Associate Professor or the Assistant Professor level.

    We are looking for outstanding academics, with a strong track record in research (relative to the level of seniority of the applicant) and a true dedication to first-class teaching. We offer a temporary employment contract for a period of two years, with the intention of converting it into a permanent contract after a positive assessment.

  • cover.jpg

    (New) ILLC history book by Johan van Benthem and Martin Stokhof now available online

    The history book of the ILLC, People, ideas & practices, written by Johan van Benthem and Martin Stokhof, has been made available online.

    For more information, see https://www.illc.uva.nl/AbouttheILLC/About/History-book-about-ILLC/ or contact Johan van Benthem at .

ILLC Events this week

  • 26 January 2022, LLAMA seminar, Stefan Zetzsche

    Date & Time: Wednesday 26 January 2022, 16:00-17:00
    Speaker: Stefan Zetzsche (University College London)
    Title: Canonical Automata via Distributive Law Homomorphisms
    Location: Online (Zoom)
    For more information, see https://events.illc.uva.nl/llama/#talk-zetzsche-2022 or contact Tobias Kappé at .
  • 21illc_no_text_logo.jpg

    28 January 2022, ILLC Current Affairs Meeting and new year drinks

    Date & Time: Friday 28 January 2022, 16:00-18:00
    Location: Zoom

    As in previous editions, the purpose of this meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.

    This edition will be followed by new year drinks in Gather Town.

    For more information, contact .
  • (New) 31 January 2022, Master of Logic defense, Daniela Loustalot Knapp

    Date & Time: Monday 31 January 2022, 14:00
    Title: Justifying Matching Outcomes
    Location: Online (closed session)
    Supervisor: Ulle Endriss
  • (New) 31 January 2022, Master of Logic defense, Derek So

    Date & Time: Monday 31 January 2022, 15:00
    Title: Frege's Identity Problem
    Location: Science Park 107, Amsterdam
    Supervisor: Martin Stokhof