|
|
|
|
|
Department of Pure Mathematics
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||
| Wed 13th October 2:00 PM |
Nicola Gambino (University of Palermo) Identity types and groupoids |
|||
| Please note the change of time/day and venue for this seminar: 2:00 PM Oct 13th Mall 2 | ||||
|
|
||||
| Wed 13th October 3:15 PM |
Michael Rathjen (University of Leeds) The weak existence property |
|||
| Please note the change of time/day and venue for this seminar: 3:15 PM Oct 13th Mall 2 | ||||
|
|
||||
| Wed 23rd February 2:00 PM |
Peter Schuster (Leeds) Open Induction in Algebra |
|||
| Please note the change of time/day for this seminar: 2:00 PM, Feb 23rd | ||||
|
|
||||
| Wed 4th May 2:00 PM |
Michael Rathjen (Leeds) The Existence Property for Intuitionistic Set Theories |
|||
| Please note the change of time/day for this seminar: 2:00 PM, May 4th | ||||
|
|
||||
| Wed 29th June 2:00 PM |
Takako Nemoto (Bern University) A system of explicit mathematics and $\Pi_3$ reflection |
|||
| Please note the change of time/day and venue for this seminar: 2:00 PM Jun 29th Emmanuel Centre SR 09 | ||||
|
|
||||
|
Copyright and Legal |
Accessibility |
Privacy |
Freedom of Information
This page is maintained by Laura Crosilla and Michael Rathjen. |