Edited in collaboration with FoLLI, the Association of Logic,
Language and Information, this book constitutes the 4th volume of
the FoLLI LNAI subline; containing the refereed proceedings of the
15th International Workshop on Logic, Language, Information and
Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.
The 21 revised full papers presented together with the abstracts
of 7 tutorials and invited lectures were carefully reviewed and
selected from numerous submissions. The papers cover all pertinent
subjects in computer science with particular interest in
cross-disciplinary topics. Typical areas of interest are:
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!