Logic Seminar Fall 2022

The Logic Seminar will take place in Seminar Room 919 in the Mathematics Building

Most talks will be given in the seminar room, with a Zoom-transfer of the physical talks to outsiders, but some talks will be given via Zoom only, see the program.

 

Tentative program:

01.09.22 Program discussion. Dag Normann: On the computational complexity of writing a finite set as {x_1 , . . . , x_n}.

08.09.22 Open

15.09.22 David Ross (Zoom only)

22.09.22 Lars Kristiansen

29.09.22 Open

06.10.22 Open

13.10.22 Frode Bjørdal (Zoom only)

20.10.22 Øystein Linnebo

27.10.22 No seminar

03.11.22 David Ross (Zoom only)

10.11.22 Juvenal Murwanashyaki

17.11.22 Cancelled

24.11.22 Neil Barton

01.12.22 Egor Kostylev [Postponed to the Spring term of 2023]

08.12.22 The Thoralf Skolem memorial talk, see announcement elsewhere on the events pages of the group.

 

Final tittles, potentially with an abstract, and Zoom invitations will be distributed to the seminar mailing list about one week in advance.

If you want to be added to/left out from the mailing list, contact Dag Normann by e-mail.

 

Published Sep. 1, 2022 8:32 PM - Last modified Nov. 23, 2022 10:26 PM