2011

23.2. Pietro Galliani: Independence logic and tuple existence atoms  
2.3. Tapani Hyttinen: Observations about second order definability  
16.3. Juha Kontinen: Hierarchies in dependence logic  
23.3. Juha Kontinen: Hierarchies in dependence logic  
30.3. Åsa Hirvonen: Atomic Nakano spaces
6.4. Fan Yang: Intuitionistic implication, modal dependence logic 
                and full binary trees  
13.4. Lauri Keskinen: Characterizing all models in infinite cardinalities  
20.4. Åsa Hirvonen: Atomic Nakano spaces (cont.)  
27.4. Menachem Magidor: Group Radicals and Large Cardinals
4.5. Teppo Kankaanpää: Cardinal invariants for measure and category  
11.5. Heikki Junnila: Non-separable Borel theory  

7.9. Kerkko Luosto: Combinatorics in model theory  
14.9. Jouko Väänänen: Boolean valued second order logic  
21.9. Kerkko Luosto: Sauer's lemma and dependent theories  
28.9. Kaisa Kangas: Short introduction to Mordell-Lang conjecture  
5.10. Kaisa Kangas: Short introduction to Mordell-Lang conjecture (cont.)
12.10. Vadim Kulikov: Borel Equivalence Relations on Generalized Reals  
19.10. Vadim Kulikov: Equivalence Relations on Generalized Reals  
2.11. Tapani Hyttinen: Counting measure and forking in finite models  
9.11. Fan Yang: Propositional intuitionistic dependence logic  
16.11. Jonathan Kirby: Logics for classes of exponential fields  
18.11. Philip Welch: Determinacy in Strong Cardinal Models
23.11. Jouko Väänänen: On axiomatizing first order consequences in dependence logic
30.11. Kaarlo Reipas: Subgroups generated by generic types in definable groups 
7.12. Kaarlo Reipas: Subgroups generated by generic types in definable groups (cont.)  


2012

11.1. Fredrik Engström: Branching quantifiers, compositionall
18.1. Kaisa Kangas: A simple case of the Mordell-Lang conjecture  
1.2. Kaisa Kangas: A simple case of the Mordell-Lang conjecture II  
8.2. Kaisa Kangas: A simple case of the Mordell-Lang conjecture III   
15.2. Daisuke Ikegami:  $\Omega$-logic and Boolean-valued 2nd-order logic  
22.2. Meeri Kesälä: Models of Peano Arithmetics as abstract elementary classes  
29.2. Tapani Hyttinen: On Hrushovski construction  
14.3. Kerkko Luosto: On definability of arithmetics by cardinality quantifiers  
21.3. Kerkko Luosto: The definability of arithmetics by cardinality quantifiers  
28.3. Jouko Väänänen: Sort logic  
4.4. Vadim Kulikov: On Reductions in Gödel's L  
18.4. Joanna Golinska-Pilarek: Non-Fregean Logic  
25.4. Vadim Kulikov: On Reductions in Gödel's L  
9.5. Heribert Vollmer: Verifying proofs in constant depth