2008
| Committee |
| Program |
| Invited Talks |
| Call for papers |
| Book exhibition |
| Tutorial lectures |
| Registration |
| Participants |
| Accommodation |
| Travel Information |
| Contact |
15th Workshop on Logic, Language, Information and Computation
July 1st to 4th, 2008
Edinburgh, Scotland
Tuesday, 1 July 2008
Room EM 3.06
11:00 REGISTRATION OPENS (room EM 3.07)
13:45
Opening meeting
Chair: Wilfrid Hodges
14:00 - 16:00
Tutorial
Parsing and generation as Datalog query evaluation
Makoto Kanazawa (Japan)
16:00 - 16:15
BREAK (room EM 3.07)
16:15 - 18:15
Tutorial
A Rosetta Stone for quantum computing
Quantum algorithms: past, present, and future
Sam Lomonaco (USA)
18:15 - 18:30
BREAK
18:30 - 19:30
Special Session
Julia Robinson and Hilbert's Tenth Problem
Wednesday, 2 July 2008
Room EM 3.06
Morning Session
Chair: Ruy de Queiroz
9:00-11:00
Tutorial
Descriptive complexity and polynomial time
Anuj Dawar (UK)
11:00 - 11:15
BREAK (room EM 3.07)
11:15 - 13:15
Tutorial
On inter-deriving semantic artifacts
Olivier Danvy (Denmark)
13:15 - 14:15
BREAK
Contributed Papers
14:15 - 14:45
Inference processes for quantified
predicate knowledge
J. B. Paris and S. R. Rad
14:45 - 15:15
Reasoning with uncertainty by Nmatrix-Metric semantics
Ofer Arieli and Anna Zamansky
15:15 - 15:45
Labelled calculi for Lukasiewicz logics
D. Galmiche and Y. Salhi
15:45 - 16:15
Interval additive generators of interval T-norms
G. P. Dimuro, B.C. Bedregal, R. H. S. Reiser and R. H. N. Santiago
16:15 - 16:30
BREAK (room EM 3.07)
16:30 - 17:00
Nominal matching and
alpha-equivalence
Christophe Calvès and Maribel Fernandez
17:00 - 17:30
One-and-a-halfth order
terms: Curry-Howard and incomplete derivations
Murdoch J. Gabbay and Dominic P. Mulligan
17:30 - 18:30
On a
graph calculus for algebras of relations
S. R. M. Veloso, P. A. S. Veloso, R. de Freitas and P. Viana
18:00 - 18:30
Adversary lower bounds for nonadaptive quantum algorithms
Pascal Koiran, Juergen Landes, Natacha Portier and Penghui Yao
19:30
Conference Dinner
Thursday, 3 July2008
Room EM 3.06
Morning Session
Chair: Mauricio Ayala-Rincon
9:00-10:00
INVITED LECTURE
On the descriptive complexity of linear algebra
Anuj Dawar
(UK)
10:00 - 10:15
BREAK (room EM 3.07)
10:15 - 11:15
INVITED LECTURE
Quantum knots and mosaics
Sam Lomonaco
(USA)
11:15 - 12:15
INVITED LECTURE
Prefix-correct Earley parsing of mildly
context-sensitive languages
Makoto Kanazawa
(Japan)
12:15 - 13:30
BREAK
Contributed Papers
13:30 - 14:00
Conjunctive grammars and
alternating pushdown automata
Tamar Aizikowitz and Michael Kaminski
14:00 - 14:30
Hyperintensional questions
Carl Pollard
14:30 - 15:00
Skolem theory and generalized quantifiers
Livio Robaldo
15:00 - 15:30
On second-order monadic groupoidal
quantifiers
Juha Kontinen and Heribert Vollmer
15:30 - 16:00
On the formal semantics of IF-like logics
Santiago Figueira, Daniel Gorin and Rafael Grimson
16:00 - 16:15
BREAK (room EM 3.07)
16:15 - 16:45
Propositional dynamic logic
as a logic of belief revision
Jan van Eijck and Yanjing Wang
16:45 - 17:15
A propositional dynamic logic for CCS programs
Mario R. F. Benevides and Luis Menasché Schechter
17:15 - 17:45
Expressive power and decidability for memory logics
Carlos Areces, Diego Figueira, Santiago Figueira and Sergio Mera
17:45 - 18:15
Using
alpha-CTL to specify complex planning goals
Silvio do Lago Pereira and Leliane Nunes de Barros
18:15 - 18:30
BREAK
18:30 - 19:30
Special Sessions (concurrent)
Presentational tips and tricks in computer science:
talks, articles and peer reviews
Olivier Danvy (room EM 3.06)
The functional interpretation of direct
computations Ruy de Queiroz (room EM 3.07)
Friday, 4 July2008
Room EM 3.06
Morning Session
Chair: Wilfrid Hodges
9:00-10:00
INVITED LECTURE
Inter-deriving semantic artifacts for object-oriented programming
Olivier Danvy (joint work with
Jacob Johannsen)
10:00 - 10:15
BREAK (room EM 3.07)
Contributed Papers
10:15 - 10:45
Time complexity and convergence analysis of domain theoretic Picard method
Amin Farjudian and Michal Konecny
10:45 - 11:15
On characteristic constants of theories defined by Kolmogorov complexity
Shingo Ibuka, Makoto Kikuchi and Hirotaka Kikyo
11:15 - 11:45
An infinitely-often one-way
function based on an average-case assumption
Edward A. Hirsch and Dmitry M. Itsykson
11:45 - 12:15
Towards ontology evolution in physics
Alan Bundy and Michael Chan
12:15 - 13:30
BREAK
13:30-14:30
INVITED LECTURE
On game semantics of the
affine and intuitionistic logics
Ilya Mezhirov and Nikolay Vereshchagin
14:30-15:30
INVITED LECTURE
Applications of proof theory to ergodic Ramsey theory
Henry Towsner
15:30 - 15:45
BREAK (room EM 3.07)
15:45-16:45
INVITED LECTURE
The grammar of scope
Mark Steedman
16:45
End of Workshop
Last Updated: 2008-06-29