The VvL Logic at Large Lectures are annual, public lectures organised for a general audience. Upcoming Logic at Large Lecture:
Logic at Large Lecture 2023 - Lukasz Kaiser
June 6, 2023, 19:00-20:30 CET, online (zoom)
Zoom link: https://uva-live.zoom.us/j/85293036232
Lukasz Kaiser (OpenAI): How Logic Shapes Transformers
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 (panel includes Jan Broersen, Nina Gierasimczuk, Lukasz Kaiser)
Please register at https://forms.gle/oV8X72TaBvTMEG1M9
Organizers: Balder ten Cate (email@example.com) and Sonja Smets (firstname.lastname@example.org).
Past Logic at Large Lectures
|Tuesday 31 May 2022
Joel David Hamkins (University of Notre Dame)
Infinite games, frivolities of the gods
Many familiar finite games admit natural infinitary analogues, which often highlight intriguing issues in infinite game theory. Shall we have a game of infinite chess? Or how about infinite draughts, infinite Hex, infinite Go, infinite Wordle, or infinite Sudoku? Let me introduce these games and use them to illustrate various fascinating concepts in the theory of infinite games.
|Friday 28 May 2021
Moshe Y. Vardi (Rice University)
And Logic Begat Computer Science
During the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called "the calculus of computer science". The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. [Read more ...]