15. WoLLIC 2008: Edinburgh, UK

Tutorials and Invited Lectures

• Olivier Danvy, Jacob Johannsen:
  Inter-deriving Semantic Artifacts for Object-Oriented Programming. 1-16
  Electronic Edition (link) BibTeX
• Anuj Dawar:
  On the Descriptive Complexity of Linear Algebra. 17-25
  Electronic Edition (link) BibTeX
• Samuel J. Lomonaco:
  Talks on Quantum Computing. 26-27
  Electronic Edition (link) BibTeX
• Ilya Mezhirov, Nikolai K. Vereshchagin:
  On Game Semantics of the Affine and Intuitionistic Logics. 28-42
  Electronic Edition (link) BibTeX
• Mark Steedman:
  The Grammar of Scope. 43
  Electronic Edition (link) BibTeX

Contributed Papers

• Tamar Aizikowitz, Michael Kaminski:
  Conjunctive Grammars and Alternating Pushdown Automata. 44-55
  Electronic Edition (link) BibTeX
• Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
  Expressive Power and Decidability for Memory Logics. 56-68
  Electronic Edition (link) BibTeX
• Ofer Arieli, Anna Zamansky:
  Reasoning with Uncertainty by Nmatrix-Metric Semantics. 69-82
  Electronic Edition (link) BibTeX
• Mario R. F. Benevides, L. Menasché Schechter:
  A Propositional Dynamic Logic for CCS Programs. 83-97
  Electronic Edition (link) BibTeX
• Alan Bundy, Michael Chan:
  Towards Ontology Evolution in Physics. 98-110
  Electronic Edition (link) BibTeX
• Christophe Calvès, Maribel Fernández:
  Nominal Matching and Alpha-Equivalence. 111-122
  Electronic Edition (link) BibTeX
• Graçaliz Pereira Dimuro, Benjamín C. Bedregal, Renata Hax Sander Reiser, Regivan H. Nunes Santiago:
  Interval Additive Generators of Interval T-Norms. 123-135
  Electronic Edition (link) BibTeX
• Jan van Eijck, Yanjing Wang:
  Propositional Dynamic Logic as a Logic of Belief Revision. 136-148
  Electronic Edition (link) BibTeX
• Amin Farjudian, Michal Konecný:
  Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. 149-163
  Electronic Edition (link) BibTeX
• Santiago Figueira, Daniel Gorín, Rafael Grimson:
  On the Formal Semantics of IF-Like Logics. 164-178
  Electronic Edition (link) BibTeX
• Murdoch Gabbay, Dominic P. Mulligan:
  One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. 179-193
  Electronic Edition (link) BibTeX
• Didier Galmiche, Y. Salhi:
  Labelled Calculi for Lukasiewicz Logics. 194-207
  Electronic Edition (link) BibTeX
• Edward A. Hirsch, Dmitry Itsykson:
  An Infinitely-Often One-Way Function Based on an Average-Case Assumption. 208-217
  Electronic Edition (link) BibTeX
• Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo:
  On Characteristic Constants of Theories Defined by Kolmogorov Complexity. 218-225
  Electronic Edition (link) BibTeX
• Pascal Koiran, Jürgen Landes, Natacha Portier, Penghui Yao:
  Adversary Lower Bounds for Nonadaptive Quantum Algorithms. 226-237
  Electronic Edition (link) BibTeX
• Juha Kontinen, Heribert Vollmer:
  On Second-Order Monadic Groupoidal Quantifiers. 238-248
  Electronic Edition (link) BibTeX
• J. B. Paris, S. R. Rad:
  Inference Processes for Quantified Predicate Knowledge. 249-259
  Electronic Edition (link) BibTeX
• Silvio do Lago Pereira, Leliane Nunes de Barros:
  Using alpha-ctl to Specify Complex Planning Goals. 260-271
  Electronic Edition (link) BibTeX
• Carl Pollard:
  Hyperintensional Questions. 272-285
  Electronic Edition (link) BibTeX
• Livio Robaldo:
  Skolem Theory and Generalized Quantifiers. 286-297
  Electronic Edition (link) BibTeX
• Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana:
  On a Graph Calculus for Algebras of Relations. 298-312
  Electronic Edition (link) BibTeX