4 November 2026, Master of Logic defense, Hubertus Weber

Candidate: Hubertus Weber

Title: Proof Search for Intuitionistic K

Date: Wednesday 4 November 2026

Time: 11:00

Location: ILLC Seminar room F1.15, Science Park 107, Amsterdam

Supervisor: Marianna Girlando