Schriftzug: Fachbereich Mathematik 
  UHH > Fakultäten > MIN-Fakultät > Mathematik > Bereiche > Mathematische Logik   STiNE |  KUS-Portal |  Sitemap Suchen Hilfe there is no english version of this page  

ML Seminar: Forschungsseminar Mathematische Logik

This is the website of the research seminar (Forschungsseminar) of the Mathematical Logic Group (Bereich Mathematische Logik und interdisziplinäre Anwendungen der Logik, ML) in the Department of Mathematics at the University of Hamburg.

Due to the global health crisis, the ML Seminar has been transformed in April 2020 into an virtual joint meeting of STiHAC, the set theory groups in Hamburg, Amsterdam, and Cambridge.

List of past and future seminar schedules
Sommersemester 2014 Wintersemester 2014/15 Sommersemester 2015 Wintersemester 2015/16
Sommersemester 2016 Wintersemester 2016/17 Sommersemester 2017 Wintersemester 2017/18
Sommersemester 2018 Wintersemester 2018/19 Sommersemester 2019 Wintersemester 2019/20
Sommersemester 2020 Wintersemester 2020/21 Sommersemester 2021 Wintersemester 2021/22
Sommersemester 2022 Wintersemester 2022/23

Sommersemester 2022

The ML Seminar is held as a virtual joint meeting of STiHAC, the set theory groups in Hamburg, Amsterdam, and Cambridge. It meets regularly on Fridays from 4pm to 6pm local Hamburg time. We may be experimenting with hybrid solutions in some cases.

Date Speaker Title Slides / Transcript
1 April 2022
16:00-18:00 GMT+2, Zoom
Dominik Gulgowski (Cambridge SID) Constructibility & Large Cardinals.
James Kwon (Cambridge PET) Infinite Games in Set Theory: Determinacy Proofs
8 April 2022
16:00-18:00 GMT+2, Zoom
Alberto Miguel Gomez (Cambridge CHR) Infinite Games in Set Theory: Large Cardinals from Determinacy
Mervyn Tong (Cambridge EM) Infinite Games in Set Theory: Supercompactness from Determinacy
Vince Velkey (Cambridge SID) Infinite Games in Set Theory: Applications of Infinite Games
22 April 2022
16:00-18:00 GMT+2, Zoom
Tim Seifert (Hamburg) The rotating switches puzzle
29 April 2022
16:00-18:00 GMT+2, Zoom & Hybrid
Philipp Lücke (Barcelona) Patterns in the large cardinal hierarchy
6 May 2022
16:00-18:00 GMT+2 Zoom
No Seminar
13 May 2022
16:00-18:00 GMT+2, Zoom
Gian Marco Osso (Amsterdam) The generalised Weihrauch hierarchy
20 May 2022
16:00-18:00 GMT+2 Zoom
No Seminar
27 May 2022
16:00-18:00 GMT+2 Zoom
No Seminar
31 May 2022
16:00-19:00 GMT+2, Zoom
VvL Logic at Large Lecture
Joel David Hamkins (Notre Dame IN) Infinite Games, Frivolities of the Gods
3 June 2022
16:00-18:00 GMT+2 Zoom
No Seminar
8 June 2022
12:30-14:15 GMT+2 Zoom
Alexia Muresan (Amsterdam) 12:30–13:00: Algorithmic Discrimination: Understanding and Confronting AI Bias
Daniel Mol (Amsterdam) 13:05–13:35: On Proof Checking and Automated Theorem Proving Natural Deduction
Hidde van Lierop (Amsterdam) 13:40–14:10. What assists a person better at being a master at recognition: Early exposure or late exposure?
10 June 2022
16:00-18:00 GMT+2 Zoom
No Seminar: ILLC Midsummer Colloquium
17 June 2022
16:00-18:00 GMT+2 Zoom
No Seminar
24 June 2022
16:00-18:00 GMT+2 Zoom
Tristan van der Vlugt (Hamburg) 16:15–17:15. An Overview of (Anti-)Localisation Cardinals on Products of Discrete Spaces Slides
Yuval Goren (Amsterdam) 17:15–17:45. To Infinity and Beyond: Visualization of Ordinal Numbers
1 July 2022
16:00-18:00 GMT+2 Zoom
No Seminar
8 July 2022
16:00-18:00 GMT+2, Zoom
Steef Hegeman (Amsterdam) The priority method and transfinite computability
15 July 2022
16:00-18:00 GMT+2, Zoom
Tristan van der Vlugt (Hamburg) An Overview of (Anti-)Localisation Cardinals on Products of Discrete Spaces, Part II

 
  Seitenanfang  Impress 2022-10-01, B.L.