1-4 July 2008
Edinburgh, Scotland
Call for Participation
15th Workshop on Logic, Language, Information and Computation
(WoLLIC 2008)
http://wollic.org/wollic2008/
Heriot-Watt University
Edinburgh, Scotland
July 1-4, 2008
>>>>>> SPECIAL: There will be a screening of George Csicsery's
"JULIA ROBINSON AND HILBERT'S TENTH PROBLEM"
http://zalafilms.com/films/juliarobinson.html
with kind permission of the film director
WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and
tutorials as well as contributed papers.
The Fifteenth WoLLIC will be held in the campus of Heriot-Watt Univ,
Edinburgh, Scotland, from July 1 to July 4, 2008. It is sponsored by
the Association for Symbolic Logic (ASL), the Interest Group in Pure
and Applied Logics (IGPL), the European Association for Logic,
Language and Information (FoLLI), the European Association for
Theoretical Computer Science (EATCS), the Sociedade Brasileira de
Computacao (SBC), and the Sociedade Brasileira de Logica (SBL).
SCIENTIFIC PROGRAMME
Research contributions will be presented on all pertinent subjects,
with particular emphasis in cross-disciplinary topics: foundations of
computing and programming; novel computation models and paradigms;
broad notions of proof and belief; formal methods in software and
hardware development; logical approach to natural language and
reasoning;
logics of programs, actions and resources; foundational aspects of
information organization, search, flow, sharing, and protection.
INVITED SPEAKERS
Olivier Danvy (BRICS)
Anuj Dawar (Cambridge, UK)
Makoto Kanazawa (Nat Inst of Informatics, Japan)
Sam Lomonaco (U Maryland Baltimore)
Mark Steedman (Edinburgh U)
Henry Towsner (CMU)
Nikolay Vereshchagin (Moscow)
PROGRAMME COMMITTEE
Lev Beklemishev (Utrecht)
Eli Ben-Sasson (Technion)
Xavier Caicedo (U Los Andes, Colombia)
Mary Dalrymple (Oxford)
Martin Escardo (Birmingham)
Wilfrid Hodges (Queen Mary, U London) (Chair)
Achim Jung (Birmingham)
Louis Kauffman (Maths, U Ill at Chicago)
Ulrich Kohlenbach (Darmstadt)
Leonid Libkin (Edinburgh U)
Giuseppe Longo (Ecole Normal Superieure, Paris)
Michael Moortgat (Utrecht)
Valeria de Paiva (PARC, USA)
Andre Scedrov (Maths, U Penn)
Valentin Shehtman (Inst for Information Transmission Problems, Moscow)
Joe Wells (Heriot-Watt U, Scotland)
ORGANISING COMMITTEE
Mauricio Ayala-Rincon (U Brasilia, Brazil)
Fairouz Kamareddine (Heriot-Watt U, Scotland, co-chair)
Anjolina de Oliveira (U Fed Pernambuco, Brazil)
Ruy de Queiroz (U Fed Pernambuco, Brazil, co-chair)
STEERING COMMITTEE
S. Abramsky, J. van Benthem, J. Halpern, W. Hodges, D. Leivant,
A. Macintyre, G. Mints, R. de Queiroz
WEB PAGE
wollic.org/wollic2008/
INVITED TALKS
Inter-Deriving Semantic Artifacts for Object-Oriented Programming
Olivier Danvy and Jaco Johannsen
On the Descriptive Complexity of Linear Algebra
Anuj Dawar
Talks on Quantum Computing
Sam Lomonaco
On game semantics of the affine and intuitionistic logics
Ilya Mezhirov and Nikolay Vereshchagin
CONTRIBUTED TALKS
Conjunctive Grammars and Alternating Pushdown Automata
Tamar Aizikowitz and Michael Kaminski
Expressive Power and Decidability for Memory Logics
Carlos Areces, Diego Figueira, Santiago Figueira and Sergio Mera
Reasoning with Uncertainty by Nmatrix-Metric Semantics
Ofer Arieli and Anna Zamansky
A Propositional Dynamic Logic for CCS Programs
Mario Benevides and Luis Menasche Schechter
Towards Ontology Evolution in Physics
Alan Bundy and Michael Chan
Interval Additive Generators of Interval T-Norms
Gracaliz Dimuro, Benjamin Bedregal, Renata Reiser and Regivan Nunes
PDL as a Logic of Belief Revision
Jan van Eijck and Yanjing Wang
Time Complexity and Convergence Analysis of Domain Theoretic Picard
Method
Amin Farjudian and Michal Konecny
Matching and Alpha-Equivalence for Nominal Terms with Variables and
Permutations
Christophe Calves and Maribel Fernandez
On the formal semantics of IF-like logics
Santiago Figueira, Daniel Gorin and Rafael Grimson
On a graph calculus for algebras of relations
Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso and Petrucio
Viana
One-and-a-halfth order terms: Curry-Howard and incomplete derivations
Murdoch Gabbay and Dominic Mulligan
Labelled calculi for Lukasiewicz logics
Didier Galmiche and Yakoub Salhi
On Characteristic Constants of Theories Defined by Kolmogorov Complexity
Shingo Ibuka, Makoto Kikuchi and Hirotaka Kikyo
An infinitely-often one-way function based on an average-case assumption
Edward Hirsch and Dmitry Itsykson
Adversary lower bounds for nonadaptive quantum algorithms
Pascal Koiran, Juergen Landes Natacha Portier and Penghui Yao
On Second-Order Monadic Groupoidal Quantifiers
Juha Kontinen and Heribert Vollmer
Using alpha-CTL to specify complex planning goals
Silvio Lago Pereira and Leliane Nunes de Barros
Hyperintensional Questions
Carl Pollard
Inference Processes for Quantified Predicate Knowledge
Jeff Paris and Soroush Rafiee Rad
Skolem theory and Generalized Quantifiers
Livio Robaldo