- We try to talk about something fun every Friday, and maybe other days too.
- All are welcome, so bring your friends and family!
- Everybody will eventually present something, if not willingly then by force.
- This webpage is an editable wiki: You can add or modify upcoming events by clicking the EditText link at the bottom of each page.
- Additional links: PhotoGallery TalkLocation TextFormattingRules AllPages
- New! There now exists a TalkPage
- New! As per the rule above, see NotSpoken for a list of guys who still need to give a talk (or else)
Upcoming talks=
=Past talks
Dan Saattrup Nielsen – Epistemic logic
Time: 14:00 ~ 15.00
Date: 20/05/2016
Location: Aud 7, HCØ
Abstract: Epistemic logic is the logic of knowledge and belief, which wiki claims has applications in CS, economics, philosophy and cognitive science: 'Anne believes that she knows that Bill can imagine that..' Fun! Dan Saattrup Nielsen – Simplicial homotopy theory
Time: 14:15 ~ 16.00
Date: 01/04/2016
Location: Aud. 9, HCØ
Abstract: I'll introduce simplicial homotopy theory, which is a way to do homotopy theory in a purely combinatorial/categorical way, without any topological spaces. Emil Frølich – K-theory of C*-algebras - II
Time: 13:15 ~ 15.30
Date: 18/03/2016
Location: Aud. 7, HCØ
Abstract: Something something about K-theory, proof of Bott periodicity and brief recap of last time. Emil Frølich – K-theory of C*-algebras
Time: 15.15 ~ 16.30
Date: 11/03/2016
Location: Aud. 7, HCØ
Abstract: Something something about K-theory. Martin Speirs – On p-adic numbers and an analogy between characteristic zero and characteristic p
Time: 15.15 ~ 17.00
Date: 26/02/2016
Location: Aud. 7, HCØ
Abstract: I will describe the p-adic numbers in a few different ways. Then I will sketch an analogy between numbers and polynomials, which will also be an analogy between characteristic zero phenomena and characteristic p phenomena (in the spirit of the recently developed "perfectoid mathematics" by Peter Scholze).
Dan Saattrup Nielsen – Non-standard analysis
Time: 15.15 ~ 17.00
Date: 12/02/2016
Location: Aud. 7, HCØ
Abstract: As a continuation of Hector's talk before the break, I'll talk about non-standard analysis, which is a way to rigorously work with infinitesimals using logical methods.
Hector B. Hougaard – The Analytical Society
Time: 13.15 ~ 14:30
Date: 29/01/2016
Location: Aud. 6, HCØ
Abstract: The very beginnings of infinitesimal calculus led to a great divide between English mathematics and Continental mathematics during the 18'th century. It was up to a "secret" society of pubescent boys to quash this divide and usher in a new era of mathematical development in analysis. [continued at HectorsLongAbstract]
Alvin Šipraga – Linear inference rules in deep inference
Time: 13.50 ~ 15.50
Date: 22/01/2016
Location: HCØ main hallway
Sriram Ramasubramaniam – Paradoxes and stuff
Time: 13.45 ~ 15.00
Date: 15/01/2016
Location: A110, HCØ
Dan Saattrup Nielsen – Infinite game theory
Time: 14.30 ~ 16.00
Date: 08/01/2016
Location: Aud. 7, HCØ
Abstract: An introduction to the determinacy of infinite games.
Panos Iliadis – Stone-Banach duality
Time: 13.30 ~ 15.30
Date: 11/12/2015
Location: Aud. 7, HCØ
Knut Bjarte Haus – Smith normal form
Time: 14.15 ~ 16.00
Date: 04/12/2015
Location: Aud. 7, HCØ
Abstract: A proof of the structure theorem for finitely generated modules over a PID, using Smith normal forms of matrices.
Cédric Ho Thanh – Semi-simplicial homotopy theory
Time: 13.30 ~ 15.15
Date: 27/11/2015
Location: HCØ
Abstract: I will present what my ongoing master thesis is about.
Dan Saattrup Nielsen – A new universe
Time: 13.30 ~ 16.15
Date: 20/11/2015
Location: HCØ
Abstract: Gödel's constructible universe and why we don't want to work in it.
Notes: dan1.pdf
Cédric Ho Thanh – Quasi-categories
Time: 13.15 ~ 16.30
Date: 09/10/2015
Location: HCØ
Knut Bjarte Haus – Representation of quivers
Time: 15.30 ~ 17.00
Date: 02/10/2015
Location: A111, HCØAlvin Šipraga – Representable functors and the Yoneda lemma
Time: 17.30 ~ 18.30
Date: Thursday 24/09/2015
Location: Aud. 7, HCØAdrien Vakili – Categories, functors and natural transformations (continued)
Time: 16.15 ~ 17.15
Date: Thursday 24/09/2015
Location: Aud. 7, HCØ
Adrien Vakili – Categories, functors and natural transformations
Time: 14.15 ~ 16.00
Date: Friday 18/09/2015
Location: Aud. 7, HCØElmiro Vetere – Mumford degenerations and the Gross-Siebert program (Master defence)
Time: 13.00 ~ 14.30
Date: Friday 28/08/2015
Location: Aud. 5, HCØAlvin Šipraga – The Nash problem (Master defence)
Time: 14.30 ~ 16.00
Date: Friday 28/08/2015
Location: Aud. 5, HCØGeorgios Dalezios – Local homomorphisms and dualizing complexes (Master defence)
Time: 16.00 ~ 17.30
Date: Friday 28/08/2015
Location: Aud. 5, HCØ
Adrien Vakili – Vietoris–Rips complexes of planar point sets
Date: Tuesday 09/06/2015
Time: 15.15 ~ 16.00
Elmiro Vetere – Quasi-coherent sheaves
Date: Friday 05/06/2015
Time: 13.15 ~ 15.00
Georgios Dalezios – Matlis duality
Date: Friday 29/05/2015
Time: 13.15 ~ 15.15
Davide Alboresi (Utrecht University) – What and Why symplectic geometry?
Date: Friday 22/05/2015
Time: 13.00 ~ 16.00
Remark: Guest speaker.Elmiro Vetere – Combinatorial convexity and toric varieties
Date: Friday 15/05/2015
Time: 13.15 ~ 15.30
Abstract: The talk will be about correspondences between convex combinatorial geometry and toric varieties.
Alvin Šipraga – Arc spaces and the Nash map
Date: Friday 08/05/2015
Time: 13.15 ~ 15.15
Abstract: We will introduce the notion of arc spaces, and sufficient background material to then construct the Nash map on singular varieties.
Mossa Merhi – Finite element method for Poisson PDE
Date: Friday 01/05/2015
Time: 13.15 ~ 14.00
Adrien Vakili – Vietoris–Rips complexes and n-connectedness
Date: Friday 27/03/2015
Time: 13.15 ~ 14.00Peter Dawson – Coxeter complexes
Date: Friday 20/03/2015
Time: 13.15 ~ 15.00Alvin Šipraga – Schemes
Date: Friday 13/03/2015
Time: 13.15 ~ 15.00Elmiro Vetere – Algebraic geometry, varieties, and schemes
Date: Friday 06/03/2015
Time: 13.15 ~ ?Georgios Dalezios – Localisation (continued)
Date: Friday 27/02/2015Panos (Kyriakos-Panagiotis) Iliadis – Covering spaces
Date: Wednesday 25/02/2015Georgios Dalezios – Localisation
Date: Friday 20/02/2015
EditText of this page (Last edited Feb 2, 2017)