|
Showing 1 - 2 of
2 matches in All Departments
|
How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Paperback, 2012 ed.)
Barry S. Cooper, Anuj Dawar, Benedikt Loewe
|
R1,728
Discovery Miles 17 280
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Turing
Centenary Conference and the 8th Conference on Computability in
Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53
revised papers presented together with 6 invited lectures were
carefully reviewed and selected with an acceptance rate of under
29,8%. The CiE 2012 Turing Centenary Conference will be remembered
as a historic event in the continuing development of the powerful
explanatory role of computability across a wide spectrum of
research areas. The papers presented at CiE 2012 represent the best
of current research in the area, and forms a fitting tribute to the
short but brilliant trajectory of Alan Mathison Turing. Both the
conference series and the association promote the development of
computability-related science, ranging over mathematics, computer
science and applications in various natural and engineering
sciences such as physics and biology, and also including the
promotion of related non-scientific fields such as philosophy and
history of computing.
|
Logic, Language, Information and Computation - 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings (Paperback, 2010 ed.)
Anuj Dawar, Ruy De Queiroz
|
R1,580
Discovery Miles 15 800
|
Ships in 10 - 15 working days
|
This volume contains the papers presented at WoLLIC 2010: 17th
Workshop on Logic, Language, Information and Computation held
during July 6-9, 2010, on the campus of Universidade de Bras ?lia
(UnB), Brazil. The Workshop on Logic, Language, Information and
Computation (WoL- LIC) is an annual event, meeting every year since
1994, which aims at fostering interdisciplinary research in pure
and applied logic. The idea is to have a forum which is large
enough in the number of possible interactions between logic and the
sciences related to information and computation, and yet is small
enough to allow for concrete and useful interaction among
participants. The present volume contains 13 contributed papers
that were selected from among 32 submissions after a rigorous
review by the Program Committee. Each submission was reviewed by at
least two, and on average three, Program C- mittee members. This
volume also containspapersor abstractsthat relateto the seven
invited talks presented at the workshop. Between them, these papers
give a snapshot of some fascinating work taking place at the
frontiers between computation, logic, and linguistics. We are
grateful to all the people who made this meeting possible and are
responsible for its success: the members of the Program Committee
and the external reviewers, the invited speakers, the contributors,
and the people who were involved in organizing the workshop."
|
|