Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
»
Year
| Month |
Week
|
Day
« prev
Febbraio 2021
next »
Lun
Mar
Mer
Gio
Ven
Sab
Dom
06
1
2
3
4
5
Key 1
On the 24th Hilbert problem and the notion of "simplicity" for proof
15:00
6
7
07
8
9
10
11
12
13
14
08
15
16
17
18
19
Key 1
Categorifying Non-Idempotent Intersection Types
15:00
20
21
09
22
23
24
25
26
27
28
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare