| 2008 | A Propositional Dynamic Logic for CCS Programs. Mario R. F. Benevides, Luis Menasché Schechter |
| 2008 | Adversary Lower Bounds for Nonadaptive Quantum Algorithms. Pascal Koiran, Jürgen Landes, Natacha Portier, Penghui Yao |
| 2008 | An Infinitely-Often One-Way Function Based on an Average-Case Assumption. Edward A. Hirsch, Dmitry Itsykson |
| 2008 | Conjunctive Grammars and Alternating Pushdown Automata. Tamar Aizikowitz, Michael Kaminski |
| 2008 | Expressive Power and Decidability for Memory Logics. Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera |
| 2008 | Hyperintensional Questions. Carl Pollard |
| 2008 | Inference Processes for Quantified Predicate Knowledge. Jeff B. Paris, Soroush R. Rad |
| 2008 | Inter-deriving Semantic Artifacts for Object-Oriented Programming. Olivier Danvy, Jacob Johannsen |
| 2008 | Interval Additive Generators of Interval T-Norms. Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Renata Hax Sander Reiser, Regivan Hugo Nunes Santiago |
| 2008 | Labelled Calculi for Lukasiewicz Logics. Didier Galmiche, Yakoub Salhi |
| 2008 | Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings Wilfrid Hodges, Ruy J. G. B. de Queiroz |
| 2008 | Nominal Matching and Alpha-Equivalence. Christophe Calvès, Maribel Fernández |
| 2008 | On Characteristic Constants of Theories Defined by Kolmogorov Complexity. Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo |
| 2008 | On Game Semantics of the Affine and Intuitionistic Logics. Ilya Mezhirov, Nikolai K. Vereshchagin |
| 2008 | On Second-Order Monadic Groupoidal Quantifiers. Juha Kontinen, Heribert Vollmer |
| 2008 | On a Graph Calculus for Algebras of Relations. Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana |
| 2008 | On the Descriptive Complexity of Linear Algebra. Anuj Dawar |
| 2008 | On the Formal Semantics of IF-Like Logics. Santiago Figueira, Daniel Gorín, Rafael Grimson |
| 2008 | One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. Murdoch Gabbay, Dominic P. Mulligan |
| 2008 | Propositional Dynamic Logic as a Logic of Belief Revision. Jan van Eijck, Yanjing Wang |
| 2008 | Reasoning with Uncertainty by Nmatrix-Metric Semantics. Ofer Arieli, Anna Zamansky |
| 2008 | Skolem Theory and Generalized Quantifiers. Livio Robaldo |
| 2008 | Talks on Quantum Computing. Samuel J. Lomonaco |
| 2008 | The Grammar of Scope. Mark Steedman |
| 2008 | Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. Amin Farjudian, Michal Konecný |
| 2008 | Towards Ontology Evolution in Physics. Alan Bundy, Michael Chan |
| 2008 | Using alpha-ctl to Specify Complex Planning Goals. Silvio do Lago Pereira, Leliane Nunes de Barros |