Wiki source code of Seminar talks fall 2015
Last modified by utkarhum@helsinki_fi on 2024/01/16 08:03
Show last authors
author | version | line-number | content |
---|---|---|---|
1 | === Talks during the fall term 2015 === | ||
2 | |||
3 | Wed 2.9.2015 12-14, C124 | ||
4 | Altti Laiho: Internal Set Theory: An Axiomatic Approach to Non-Standard Analysis | ||
5 | |||
6 | Wed 9.9.2015 12-14, C124 | ||
7 | Miika Hannula: Complexity of Propositional Independence and Inclusion Logic | ||
8 | |||
9 | Wed 16.9.2015 12-14, C124 | ||
10 | Tapani Hyttinen: More on model theory of geometric lattices | ||
11 | |||
12 | Wed 23.9.2015 12-14, C124 | ||
13 | Jouko Väänänen: On logic without borders - **cancelled** | ||
14 | |||
15 | Wed 30.9.2015 12-14, C124 | ||
16 | Åsa Hirvonen: Different models for quantum mechanics in the light of the Stone-von Neumann theorem | ||
17 | |||
18 | Wed 7.10.2015 12-14, C124 | ||
19 | Juha Kontinen: Tractability Frontier of Data Complexity in Team Semantics | ||
20 | |||
21 | Wed 14.10.2015 12-14, C124 | ||
22 | Jouko Väänänen: On g-dependence | ||
23 | |||
24 | Wed 21.10.2015 12-14, C124 | ||
25 | Exam week, no seminar. | ||
26 | |||
27 | Wed 28.10.2015 12-14, C124 | ||
28 | Vadim Kulikov: Descriptive Set Theory of Topological Equivalence Relations | ||
29 | |||
30 | Wed 4.11.2015 12-14, C124 | ||
31 | Miguel Moreno: The isomorphism relation of classifiable theories | ||
32 | |||
33 | Wed 11.11.2015 12-14, C124 | ||
34 | Gianluca Paolini: A Logic for Arguing About Probabilities in Measure Teams | ||
35 | |||
36 | Wed 18.11.2015 12-14, C124 | ||
37 | Tapani Hyttinen: Consistent histories approach to quantum foundations | ||
38 | |||
39 | Wed 25.11.2015 12-14, C124 | ||
40 | Tapani Hyttinen: Consistent histories approach to quantum foundations (continued) | ||
41 | |||
42 | Wed 2.12.2015 12-14, C124 | ||
43 | Miguel Moreno: A Borel-reducibility counterpart of Shelah's main gap theorem | ||
44 | |||
45 | Wed 9.12.2015 12-14, C124 | ||
46 | Vadim Kulikov: Cognitive Semantics, Coupling and... Dependence Logic? | ||
47 | |||
48 | Wed 16.12.2015 12-14, C124 | ||
49 | Exam week. | ||
50 | |||
51 | |||
52 | |||
53 | [[back to seminar page>>doc:Logic.Home.Seminar.WebHome]] |