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

Matthias Schröder: Sequentially locally convex QCB-spaces

Date of publication: 27. 2. 2016
Mathematics and theoretical computing seminar
Torek, 1. 3. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Thu
10
Sep
Takayuki Kihara: Oracle modalities on the modified realizability topos
Mathematics and theoretical computing seminar
11:15 - Jadranska 21, učilnica 2.03
Thu
10
Sep
Satoshi Nakata: A j-translation with Kripke forcing relation
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 2.03
Thu
3
Sep
Holger Thies: Towards certified ODE solving in Rocq
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, predavalnica P.01
Wed
17
Jun
Felix Cherubini: Overtness in Synthetic Algebraic Geometry
Mathematics and theoretical computing seminar
13:15 - Jadranska 21, učilnica 1.01
Thu
28
May
Andrew Swan: Cohomology in realizability models of HoTT
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07

All news