| 34th | A Formal Genetic Switch | Rene Vestergaard | 2012/04/12 |
| 33th | Coextensive causation: a new model of computation? | Rene Vestergaard | 2012/03/29 |
| 32th | Higher-order Multidimensional Programming | John Plaice | 2012/03/15 |
| 39th | “Physics and Chemistry of Carbon” and Energy | Toshiaki Enoki, Masaharu Oshima, Haoshen ZHOU | 2012/03/06 |
| 38th | Epsilon Calculus in Nonclassical Logics | Matthias Baaz | 2012/02/23 |
| 37th | Deep inference: why and how | Michel Parigot | 2011/11/09 |
| 27th | Development of Carbon-based Pt-free catalysts for Polymer... | Dr. YutaNabae | 2010/10/20 |
| 26th | Atomic-Scale Characterization of Surfaces and Interfaces by... | Dr. Naoya Shibata | 2010/09/09 |
| 25th | Investigation of the electronic properties of Titanates:... | Dr. Taro Hitosugi | 2010/03/11 |
| 30th | Reactivity of valence band holes at the rutile TiO2/water... | Michiel Sprik | 2011/12/01 |
| 29th | Reactive force fields for hydrogen dissociation reaction on... | Yang Xiao | 2011/11/24 |
| 28th | DFT analysis of combined 3D NC-AFM and STM imaging of Cu(... | Milica Todorovic | 2011/11/15 |
| 6th | Ontology-Based Data Access and Constraint Satisfaction | Frank Wolter | 2012/03/13 |
| 5th | Logic, Information, Evidence, and Knowledge | Johan van Benthem | 2011/10/18 |
| 4th | Craig Interpolation and Theory Decomposition | Prof. Frank Wolter | 2010/09/21 - 2010/09/22 |