ILLC-LIRa June 2024

illc-lira@list.uva.nl

1 participants
2 discussions

Recommended events: Bernhard Nebel (Today, 15:00), and Yuri Gurevich at FOAM and Larry Moss at VvL Logic at Large (Monday, 17 June 14:30-17:00)
by LIRa Seminar 14 Jun '24

14 Jun '24

Dear all, The LIRa seminar has finished for this academic year, but we would like to draw your attention to the following events today and Monday. First, today (14 June) in the FOAM seminar in Lab42 room L3.33: - 15:00 Bernhard Nebel *On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs* https://events.illc.uva.nl/FOAM/posts/talk15/ Second, there will be a special double talk by FOAM and VvL on Monday June 17 in Lab42 room L3.36. The first talk will be on location, the second will be online but shown on the big screen for watching it together. - 14:30: Yuri Gurevich: *Logic and AI (and Mathematics)* More details: https://events.illc.uva.nl/FOAM/posts/talk15b/ - 16:00: Larry Moss: *Place for Logic in the Computer Processing of Language* https://verenigingvoorlogica.nl/nl/Activiteiten/VvL-Logic-at-Large-Lectures/ Both are in the same room (Lab42, Room 3.36) and there will be drinks and snacks. Hope to see many of you there!

1 0

VvL Logic at Large Lecture 2024: Larry Moss (Monday, 17 June 16:00, online)
by LIRa Seminar 10 Jun '24

10 Jun '24

Dear all, The LIRa seminar has finished for this academic year, but we would like to draw your attention to the following event next week. The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is happy to announce the Logic at Large Lecture 2024. The Logic at Large Lectures are an annual, public VvL event for a broad audience, featuring prominent researchers in logic and its applications. The details for this year's edition are as follows. June 17, 2024, 16:00 CEST, online (Zoom) Larry Moss (Mathematics Department, Indiana University, Bloomington): A Place for Logic in the Computer Processing of Language Starting in 2018, computers have been able to carry out some tasks at human level (or better), tasks which are traditionally thought of as 'logical'. These include the central task of logic: knowing 'what follows from what', when everything is presented in natural language. We therefore at a watershed moment in the history of logic. However, the computational systems -- neural net learners -- do not use logic in any evident manner. Of course logic is involved in computer science at many levels, but the particular programs involved in inference are much more like the ones that memorize patterns and classify objects. They do not use explicit symbolic reasoning of the kind logicians love. Addressed to a general audience rather than to specialists, this talk is concerned with attempts by several groups of researchers to do reasoning in language on the computer, and to probe the deep learners to see how much they really can do, and to create hybrid symbolic/neural reasoning systems. Please register through https://forms.gle/uUEFyAisxoxSZfnM8. We will distribute a Zoom link shortly before the event. Organizers: Dominik Klein (d.klein(a)uu.nl) and Fan Yang (f.yang(a)uu.nl)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa June 2024