Föreläsning

Theoretical barriers for efficient proof search (Susanna F. de Rezende, Lund University)

Tid: 2022-10-05 14:00 till 16:00

Föreläsning

CS MSc Thesis Presentation 14 October 2022

Tid: 2022-10-14 14:15 till 15:00

Konferens

Natural and Artificial Cognition – 1, 2, many

Tid: 2022-10-27 09:30 till 15:30