| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Presburger Arithmetic |
Talk |
|
|
20.06.23 |
20.06.23 |
No |
|
|
Lecture |
Lecture |
|
1 |
18.04.23 |
18.04.23 |
No |
|
|
Lecture |
Lecture |
|
1 |
25.04.23 |
25.04.23 |
No |
|
|
Lecture |
Lecture |
|
1 |
09.05.23 |
09.05.23 |
No |
|
|
Lecture |
Lecture |
|
1 |
16.05.23 |
16.05.23 |
No |
|
|
Post's Problem |
Talk |
|
|
13.06.23 |
13.06.23 |
No |
|
|
Local problems in groups II |
Talk |
|
|
04.07.23 |
04.07.23 |
No |
|
|
Local problems in groups I |
Talk |
|
|
27.06.23 |
27.06.23 |
No |
|
|
The Tarski-Seidenberg Theorem |
Talk |
|
|
11.07.23 |
11.07.23 |
No |
|
|
Computable Real Numbers |
Talk |
|
|
18.07.23 |
18.07.23 |
No |
|
