| 2009 | Observational Effort and Formally Open Mappings. | Bernhard Heinemann |
| 2009 | On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. | Philippe de Groote, Sylvain Pogodalla, Carl Pollard |
| 2009 | Query Answering in Description Logics: The Knots Approach. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2009 | Abductive Logic Grammars. | Henning Christiansen, Vernica Dahl |
| 2009 | On-the-Fly Macros. | Hubie Chen, Omer Gimnez |
| 2009 | Classic-Like Analytic Tableaux for Finite-Valued Logics. | Carlos Caleiro, Joo Marcos |
| 2009 | Algebraic Valuations as Behavioral Logical Matrices. | Carlos Caleiro, Ricardo Gonalves |
| 2009 | First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. | Francesco Belardinelli, Alessio Lomuscio |
| 2009 | A Characterisation of Definable NP Search Problems in Peano Arithmetic. | Arnold Beckmann |
| 2009 | Property Driven Three-Valued Model Checking on Hybrid Automata. | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
| 2009 | Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. | Alexandru Baltag, Sonja Smets |
| 2009 | SAT in Monadic Gdel Logics: A Borderline between Decidability and Undecidability. | Matthias Baaz, Agata Ciabattoni, Norbert Preining |
| 2009 | Observational Completeness on Abstract Interpretation. | Gianluca Amato, Francesca Scozzari |
| 2009 | Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. | Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
| 2009 | Completions of Basic Algebras. | Majid Alizadeh |
| 2008 | The Grammar of Scope. | Mark Steedman |
| 2008 | Skolem Theory and Generalized Quantifiers. | Livio Robaldo |
| 2008 | Hyperintensional Questions. | Carl Pollard |
| 2008 | Using alpha-ctl to Specify Complex Planning Goals. | Silvio do Lago Pereira, Leliane Nunes de Barros |
| 2008 | Inference Processes for Quantified Predicate Knowledge. | Jeff B. Paris, Soroush R. Rad |
| 2008 | On Game Semantics of the Affine and Intuitionistic Logics. | Ilya Mezhirov, Nikolai K. Vereshchagin |
| 2008 | Talks on Quantum Computing. | Samuel J. Lomonaco |
| 2008 | On Second-Order Monadic Groupoidal Quantifiers. | Juha Kontinen, Heribert Vollmer |
| 2008 | Adversary Lower Bounds for Nonadaptive Quantum Algorithms. | Pascal Koiran, Jrgen Landes, Natacha Portier, Penghui Yao |
| 2008 | On Characteristic Constants of Theories Defined by Kolmogorov Complexity. | Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo |