×
Studying Physics Studying Mathematics Research The Faculty SL
Events News Staff Directory Timetables For staff Search

Andrej Bauer: Formalizacija topologije v Coqu

Date of publication: 7. 5. 2008
Mathematics and theoretical computing seminar
Četrtek, 8.5.2008, od 14h do 16h, soba 3.07 na Jadranski 21
Povztek: predstavil bom formalizacijo topologije v dokazovalnem pomočniku Coq. Formalizacija sloni na abstraktni Stoneovi dualnosti, v kateri aksiomatiziramo prostor Sierpinskega, toplogijo na X pa definiramo kot prostor funkcij iz X v prostor Sierpinskega.
Thu
20
Nov
Alex Simpson: Independent pullbacks and monoidal structure
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
Thu
6
Nov
Dario Stein: Categories of Relations which Compose Independently
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
23
Oct
Andrew Swan: The cohomology of the natural numbers in cubical assemblies
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
16
Oct
David E. Narvaez: Separating and Collapsing Electoral Control Types, More Formally
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.07

All news