Event Calendar
| Mon | Tue | Wed | Thu | Fri | Sat | Sun |
|---|---|---|---|---|---|---|
|
1
On Hestenes' geometric algebra: its formalization by the proof assistant and application to computational origami
|
2 | 3 | 4 | |||
| 5 | 6 | 7 |
8
The inner model problem and descriptive inner model theory
|
9 | 10 | 11 |
| 12 | 13 | 14 |
15
Maximal independent sets in forcing extensions
|
16 | 17 | 18 |
| 19 | 20 | 21 |
22
The Parameterized Complexity Classification of – and the Logic of – Counting Answers to Existential Positive Queries
|
23 | 24 | 25 |
| 26 | 27 | 28 |
29
Cobham recursive set functions and weak set theories
|
30 | 31 | 1 |
01.10.2015 15:00
On Hestenes' geometric algebra: its formalization by the proof assistant and application to computational origami
08.10.2015 15:00
The inner model problem and descriptive inner model theory
15.10.2015 15:00
Maximal independent sets in forcing extensions
22.10.2015 15:00
The Parameterized Complexity Classification of – and the Logic of – Counting Answers to Existential Positive Queries
29.10.2015 15:00