The seminar will take place in the meeting room, floor 9, Ole Johan Dahls hus, alternatively in room B700 in Niels Henrik Abels hus, Thursdays 10.15 . 12.00.



Added on October 8: From now on, and throughout the term, seminars will only be given as Zoom-events.



Due to the ongoing pandemic, the program is not fixed for the whole term. Hopefully, some of the events will be transferred from the seminar room via zoom, invitations will be sent out for each such event.

Tentative list of speakers

27.08.2020:  Lars Kristiansen

03.09.2020: Lars Kristiansen/Juvenal Murwanashyaka

17.09.2020: Øystein Linnebo/Laura Crosilla. This event will take place in room B700 in Niels Henrik Abels hus (Math. building)

24.09.2020: Robin Solberg. This event will take place in room B700 in Niels Henrik Abels hus (Math. building)

01.10.2020: No seminar

08.10.2020: Dag Normann

12.11.2020: Tuyen Trung Truong

Title: Deep Learning and Automated Proof Checking

Abstract: The first part will present about how Deep Learning can be applied to Automated Proof Checking. Then the second part of the talk will concentrate in more general information about Deep Neural Networks: what are they and how they are trained. 


03.12.2020: Laura Crosilla, Leeds and Oslo. 

Cancellation: The talk by Laura has been postponed to January.


There are currently no further planed talks.







Published Aug. 27, 2020 8:50 PM - Last modified Nov. 18, 2020 3:30 PM