| 2007 | A Finite-State Functional Grammar Architecture. Alexander Ja. Dikovsky |
| 2007 | A Formal Calculus for Informal Equality with Binding. Murdoch Gabbay, Aad Mathijssen |
| 2007 | A Grammatical Representation of Visibly Pushdown Languages. Joachim Baran, Howard Barringer |
| 2007 | A Modal Distributive Law (abstract). Yde Venema |
| 2007 | A Sketch of a Dynamic Epistemic Semiring. Kim Solin |
| 2007 | An Introduction to Context Logic. Philippa Gardner, Uri Zarfaty |
| 2007 | Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing. Marcos Villagra, Benjamín Barán |
| 2007 | Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures. John H. Reif, Thomas H. LaBean |
| 2007 | Behavioural Differential Equations and Coinduction for Binary Trees. Alexandra Silva, Jan J. M. M. Rutten |
| 2007 | Bounded Lattice T-Norms as an Interval Category. Benjamín R. C. Bedregal, Roberto Callejas-Bedregal, Hélida S. Santos |
| 2007 | Computational Interpretations of Classical Linear Logic. Paulo Oliva |
| 2007 | Continuation Semantics for Symmetric Categorial Grammar. Raffaella Bernardi, Michael Moortgat |
| 2007 | Ehrenfeucht-Fraïssé Games on Linear Orders. Ryan Bissell-Siders |
| 2007 | Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón |
| 2007 | Fully Lexicalized Pregroup Grammars. Denis Béchet, Annie Foret |
| 2007 | Hybrid Logical Analyses of the Ambient Calculus. Thomas Bolander, René Rydhof Hansen |
| 2007 | Hydra Games and Tree Ordinals. Ariya Isihara |
| 2007 | Interval Valued QL-Implications. Renata Hax Sander Reiser, Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago |
| 2007 | Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings Daniel Leivant, Ruy J. G. B. de Queiroz |
| 2007 | Modules over Monads and Linearity. André Hirschowitz, Marco Maggesi |
| 2007 | Numerical Constraints for XML. Sven Hartmann, Sebastian Link |
| 2007 | On Principal Types of BCK- Sabine Broda, Luís Damas |
| 2007 | Pregroup Calculus as a Logic Functor. Annie Foret |
| 2007 | Spin Networks, Quantum Topology and Quantum Computation. Louis H. Kauffman, Samuel J. Lomonaco |
| 2007 | Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination. Adrian Brasoveanu |
| 2007 | Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. Michael Moortgat |
| 2007 | Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. Hicham Bensaid, Ricardo Caferra, Nicolas Peltier |