uva.nl

Institute for Logic, Language and Computation

News and Events: Upcoming 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.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Headlines Upcoming Events

Upcoming Events

  • (Updated) 31 May 2023, LLAMA seminar, Nick Bezhanishvili

    Date & Time: Wednesday 31 May 2023, 16:00-17:30
    Speaker: Nick Bezhanishvili (ILLC)
    Title: Degrees of the finite model property
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-bezhanishivili-2023 or contact Tobias Kappé at .

  • 2 June 2023, Talent Scheme information meeting (Rubicon, Veni, Vidi, Vici)

    Date & Time: Friday 2 June 2023, 13:00-17:00
    Location: Aristo Utrecht Lunetten
    NWO organises an information meeting on Friday afternoon 2 June for researchers who want to apply for a Rubicon, Veni, Vidi or Vici. Besides information on the Talent Scheme, we will share information on various aspects of the rounds, from recognition and rewarding to persuasive writing. There will also be an opportunity to meet NWO staff members involved in the NWO Talent Scheme.
    For more information, see https://www.nwo.nl/en/meetings/save-date-friday-2-june-2023-talent-scheme-information-meeting-rubicon-veni-vidi-vici or contact .

  • 2 June 2023, ILLC Current Affairs Meeting

    Date & Time: Friday 2 June 2023, 16:00-17:30
    Location: ILLC Common Room, Science Park 107, 1098 XG, Amsterdam

    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.

    Because we will already organise drinks following the ILLC Colloquium in the week before the CAM on the 10th of June, this CAM will not be followed by the usual festivities.

    For more information, contact .

    For more information, contact .

  • 2 June 2023, STiHAC Joint Meeting, Juan Aguilera

    Date & Time: Friday 2 June 2023, 16:00-18:00
    Speaker: Juan Aguilera (Vienna, Gent, Hamburg)
    Location: Online via Zoom
    For more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html.

  • 5 June 2023, Computational Social Choice Seminar, Hugo Gilbert

    Date & Time: Monday 5 June 2023, 15:00
    Speaker: Hugo Gilbert
    Title: Measuring a Priori Voting Power — Taking Delegations Seriously
    Location: Room L2.06, Lab42, Science Park 900, Amsterdam
    For more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • lukasz.jpeg

    (New) 6 June 2023, VvL Logic at Large Lectures, Lukasz Kaiser

    Date & Time: Tuesday 6 June 2023, 19:00-20:30
    Speaker: Lukasz Kaiser (OpenAI)
    Title: How Logic Shapes Transformers
    Location: online

    Lukasz Kaiser is a researcher at OpenAI, who works on fundamental aspects of deep learning and natural language processing. Prior to joining OpenAI, he was a Staff Research Scientist in the Google Brain team, where he co-designed state-of-the-art neural models for machine translation, parsing and other algorithmic and generative tasks and co-authored the TensorFlow system, the Tensor2Tensor and Trax libraries and the Transformer model, on which modern large language models such as ChatGPT are based. Before his position at Google, he was a tenured researcher at University Paris Diderot and worked on logic and automata theory. He received his PhD from RWTH Aachen in 2008 with a thesis on Logic and Games on Automatic Structures.

    19:00-20:00 Lecture by Lukasz Kaiser
    20:00-20:30 Panel discussion on the role of logic in modern AI

    For more information, see https://verenigingvoorlogica.nl/nl/Activiteiten/VvL-Logic-at-Large-Lectures/ or contact Balder ten Cate at .

  • 7 June 2023, LLAMA seminar, Dmitry Shkatov

    Date & Time: Wednesday 7 June 2023, 16:00-17:00
    Speaker: Dmitry Shkatov (University of the Witwatersrand)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-shkatov-2023 or contact Tobias Kappé at .

  • 8 June 2023, Logic and Interactive Rationality (LIRa), Jan Rooduijn

    Date & Time: Thursday 8 June 2023, 16:30-18:00
    Speaker: Jan Rooduijn (ILLC)
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam / online (Zoom)
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2023/05/lira-session-jan-rooduijn/.

  • 9 June 2023, Meaning, Logic, and Cognition (MLC) Seminar, Sylvia Pauw

    Date & Time: Friday 9 June 2023, 16:00-17:30
    Speaker: Sylvia Pauw
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35224/Sylvia-Pauw.

  • 13 June 2023, ERC Starting Grant workshop

    Date & Time: Tuesday 13 June 2023, 13:00-17:00
    Location: The Roeterseiland campus (REC), room A2.09
    We are delighted to invite you to join our upcoming ERC Starting Grant workshop. This workshop will equip you with hands-on tools to write a successful proposal.
    For more information, see https://grant-support.uva.nl/content/events/2023/06/erc-stg-cog-workshop-13-06-2023.html.

  • 13 June 2023, Inaugural lectures, Raquel Fernández and Floris Roelofsen

    Date & Time: Tuesday 13 June 2023, 16:30-18:15
    Speaker: Raquel Fernández and Floris Roelofsen
    Title: Language Use in Humans and Machines / Language Sciences for Social Good
    Location: Aula, Singel 411, 1012 WN Amsterdam

    In the first part of this joint inaugural lecture, Raquel Fernández will look at how language and cognitive sciences can be used for artificial intelligence systems and what they can teach us about our own language skills. In the second part, Floris Roelofsen will discuss the social value that linguistics can offer and how new methods and applications are being developed from a people-oriented perspective.

    For more information, see here or at https://www.uva.nl/en/content/events/2023/06/the-possibilities-of-linguistics.html.

  • 13 June 2023, ILLC Party 2023

    Date & Time: Tuesday 13 June 2023, 18:30-23:59
    Location: Hannekes boot, Dijksgracht 4, 1019 BS Amsterdam
    Target audience: The entire ILLC community

    On the occasion of the inaugural lectures of Raquel Fernández and Floris Roelofsen we are throwing a big party to which the entire ILLC community is invited!

    From the Aula where the inaugural lectures are presented, you can easily cycle (7 minutes), walk (27 minutes) or take the tram (20 minutes) to Hannekes Boom. Should you opt for public transport: trams (2, 12, 4, 14, 24) go to central station from Koningsplein and Rokin - metro 52 also runs here.To make sure there is enough of everything for everyone,  it would be hugely appreciated if you register. See you at Hannekes Boot!

    For more information, see here .

  • (New) 14 June 2023, LLAMA seminar, Tommaso Moraschini

    Date & Time: Wednesday 14 June 2023, 16:00-17:00
    Speaker: Tommaso Moraschini (University of Barcelona)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-moraschini-2023 or contact Tobias Kappé at .

  • (New) 14 June 2023, LLAMA seminar, Paula Menchón

    Date & Time: Wednesday 14 June 2023, 17:00-18:00
    Speaker: Paula Menchón (Nicolaus Copernicus University in Toruń)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-menchon-2023 or contact Tobias Kappé at .

  • 15 June 2023, Logic and Interactive Rationality (LIRa), Amanda Vidal

    Date & Time: Thursday 15 June 2023, 16:30-18:00
    Speaker: Amanda Vidal (IIIA – CSIC)
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam / online (Zoom)
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2023/04/lira-session-amanda-vidal/.

  • 16 June 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Wan Fokkink

    Date & Time: Friday 16 June 2023, 15:00-16:25
    Speaker: Wan Fokkink
    Title: Supervisor Synthesis: Turning Automata into Control Software
    Location: Room L2.06, ILLC Lab42, Science Park 900, Amsterdam

    Abstract:
    Supervisory Control Theory, initiated by Ramadge and Wonham, automatically transforms a formal system model and its safety requirements into a (minimally) restricted system that satisfies all safety requirements. This approach turns out to be very suitable for designing and generating software for the control of large infrastructural systems like bridges, locks and tunnels. In this talk recent research results will be discussed that are pivotal in tackling such large applications, including multilevel synthesis, determining a control problem dependency graph, and several modeling guidelines.

    For more information, see https://events.illc.uva.nl/FOAM/posts/talk5/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 11924scr_59946afcaa2e3ca.jpg

    23 June 2023, Dutch Logic PhD Day 2023, Groningen

    Date & Time: Friday 23 June 2023, 10:00-18:00
    Location: Groningen
    Target audience: PhD students in logic (and related areas) in the Netherlands (if places are available, the event is also open to master's students).
    Costs: Free
    Deadline: Tuesday 30 May 2023

    The Dutch Logic PhD Day 2023 is a VvL event that brings together PhD students in Logic and related areas (Philosophy, Computer Science and AI) with the aim of fostering exchanges of ideas and collaborations between young researchers from all over the Netherlands.

    The event is planned as a full-day event, during which PhDs students will have the possibility to present their research in the form of contributed talks.

    For more information, see here or at https://www.verenigingvoorlogica.nl/en/PhD-Day/ or contact .

  • 23 June 2023, ILLC Midsummer Colloquium 2023 and Current Affairs Meeting

    Date & Time: Friday 23 June 2023, 15:30-18:30
    Location: ILLC, Science Park 107, Amsterdam

    The ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of three talks by representatives from different units, sometimes followed by Wild Idea Talks.

    From this time onwards the ILLC colloquium will be preceded by the Current Affairs Meeting.

    As in previous editions, the Current Affairs Meeting, 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.

    For more information, see https://www.illc.uva.nl/ILLCColloquium/.

  • 30 June 2023, ABC Day 2023

    Date & Time: Friday 30 June 2023, 12:00-21:00
    Location: De Brakke Grond, Nes 45, Amsterdam

    Join us for a unique and exciting event that will explore the past, present, and future of Amsterdam Brain and Cognition and brain research at the UvA:
    - The Past: Highlights from ABC success stories
    - The Present: Ongoing projects, cutting edge science
    - The Future: Young ABC members, poster session (and best poster prize!)
    and lots of Networking.

    For more information, see https://abc.uva.nl/content/events/2023/06/abc-day-2023.html.

  • 1 July 2023, 7th Women in Logic Workshop (WiL 2023), Rome, Italy

    Date: Saturday 1 July 2023
    Location: Rome, Italy
    Deadline: Sunday 23 April 2023

    Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023.

    The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community.

    For more information, see here or at https://sites.google.com/view/wil2023/ or contact Tephilla Prince at .
  • sp.png

    17 - 21 July 2023, Summer School on Computational Social Choice

    Date & Time: 17 - 21 July 2023, 18:00
    Location: LAB42, Science Park 900, Amsterdam
    Costs: EUR 100
    Deadline: Friday 31 March 2023

    During the week of 17-21 July 2023, the ILLC will be hosting a Summer School on Computational Social Choice. The school is specifically intended for individuals pursuing a PhD in or related to social choice (not only of the computational variety). But others—from different fields or at different career stages—are also very welcome. The international team of lecturers is composed of leading figures in the field. They will be covering axiomatic, algorithmic, and behavioural aspects of social choice, discussing both foundations and applications. Besides a rich set of lectures, the programme will include a poster session and a number of social activities.

    Please note that registration is required by 31 March 2023.

    For more information, see https://events.illc.uva.nl/comsoc-school-2023/ or contact Ulle Endriss at .
  • humbo.png

    24 - 25 July 2023, MCMP Workshop "Causality for Ethics and Society"

    Date: 24 - 25 July 2023
    Location: Munich (Germany)
    Deadline: Monday 15 May 2023

    Sander Beckers (ILLC, Amsterdam) and Naftali Weinberger (MCMP/LMU Munich) are organising an interdisciplinary workshop on all topics that relate causal models, and causality more broadly, to ethical and/or societal issues. This workshop will bring together participants from a range of academic fields in order to present and discuss the most recent developments on employing formal causal reasoning in ethics and in social contexts.

     

    For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/causality_ethics_society_2023/index.html or contact Sander Beckers at .

  • 31 July - 11 August 2023, 34th European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, Slovenia

    Date: 31 July - 11 August 2023
    Location: Ljubljana, Slovenia
    Deadline: Friday 13 January 2023

    Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

    The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

    For more information, see https://2023.esslli.eu/ or contact Ivano Ciardelli at .

  • 18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia

    Date & Time: 18 - 22 September 2023, 18:00
    Location: Telavi, Georgia
    Deadline: Friday 17 March 2023

    The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

    The programme will include the following tutorials and a series of invited lecturers:
    Tutorial speakers:
      - Language: Peter Sutton (UPF, Barcelona)
      - Logic & Computation: Frank Wolter (University of Liverpool)
    Invited speakers:
      - Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
      - Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
    There will be two workshops embedded in the conference programme:
     - "The Semantics of Hidden Meanings"
     - "Learning and Logic"

    For more information, see https://events.illc.uva.nl/Tbilisi/Tbilisi2023/ or contact Peter van Ormondt at .

  • 4 - 6 October 2023, PhDs in Logic 2023, Granada, Spain

    Date: 4 - 6 October 2023
    Location: Granada, Spain
    Deadline: Tuesday 23 May 2023

    PhDs in Logic is an annual graduate conference organised by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. This edition of the congress will take place from 4 to 6 October at the Institute of Mathematics of the University of Granada (IMAG).

    For more information, see here or at https://phdsinlogicxiv.com/ or contact Organising Committee at .