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) 7 June 2023, LLAMA seminar, Dmitry Shkatov

    Date & Time: Wednesday 7 June 2023, 16:00-17:00
    Speaker: Dmitry Shkatov (University of the Witwatersrand)
    Title: Undecidability of predicate modal and superintuitionistic logics in restricted languages
    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, The Utrecht Logic in Progress Series (TULIPS), Franz Berto

    Date & Time: Thursday 8 June 2023, 15:30-17:00
    Speaker: Franz Berto (St Andrews)
    Title: ‘I Wasn’t Thinking About That!’ – The Logic of Framing Effects
    Location: Online

    This is a fully online talk in MS Teams, please email the organizer if you would like a link.

    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret 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)
    Title: An analytic proof system for common knowledge logic over S5
    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/.

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

    Date & Time: Friday 9 June 2023, 16:00-17:30
    Speaker: Sylvia Pauw
    Title: Logical vs. surface structure: J.H. Lambert on the nature of geometrical concepts
    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 .

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

    Date & Time: Wednesday 14 June 2023, 16:00-17:00
    Speaker: Tommaso Moraschini (University of Barcelona)
    Title: Elementary equivalence in positive logic via prime products
    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 .

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

  • (Updated) 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.

    Registration is now open. Early bird registration deadline: June 14th (extended).

    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 .