Objective
The conference on Infinity in Logic & Computation is the first conference in South Africa that focuses on infinity in automata theory, logic, computability and verification. One purpose of this conference is to catalyse new interactions among local and international researchers and to expose postgraduate students to recent research trends in these fields. The topics of the conference include
- Automata on infinite objects
- Combinatorics, cryptography and complexity
- Computability and complexity on the real numbers
- Infinite games and their connections to logic
- Logic, computability, and complexity in finitely presentable infinite structures
- Randomness and computability
- Transfinite computation
- Verification of infinite state systems
The conference on Infinity in Logic & Computation is co-hosted by the Meraka Institute and sponsored by Dimension Data.
Submissions and Proceedings
Authors are invited to submit abstracts of at most one page in pure text or PDF format. Since acceptance of the abstract for presentation does not constitute a publication, it is permissible to submit talks on published results, survey talks or expository talks.
It is intended to publish fully refereed post-conference proceedings in the book series of the Association of Logic, Language and Information (FoLLI) that is a sub series of the Lecture Notes in Artificial Intelligence (LNAI) of Springer. The submission deadline for the post-conference proceedings is 5 Feburary 2007.
Here are further Information on the Proceedings.
Co-Located Events
The conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS).
We plan to organise a Summer School on Logic & Computation directly following the conference from 6-9 November 2007. This summer school is intended for postgraduate students and other interested participants.
Invited Speakers
- Willem L. Fouché, Pretoria, South Africa
- Erich Grädel, Aachen, Germany
- Joel David Hamkins, New York NY, United States of America
- Thomas A. Henzinger, Lausanne, Switzerland
- Peter Hertling, Munich, Germany
- Joseph S. Miller, Storrs CT, United States of America
- Helmut Prodinger, Stellenbosch, South Africa
Programme Committee
- Ahmed Bouajjani, Paris, France
- Vasco Brattka, Cape Town, South Africa
- Valentin Goranko, Johannesburg, South Africa
- Ker-I Ko, Stony Brook NY, United States of America
- Orna Kupferman, Jerusalem, Israel
- Benedikt Löwe, Amsterdam, The Netherlands (Chair)
- Elvira Mayordomo, Zaragoza, Spain
- Dieter Spreen, Siegen, Germany
- Wolfgang Thomas, Aachen, Germany
- Yde Venema, Amsterdam, The Netherlands
- Klaus Weihrauch, Hagen, Germany
- Philip Welch, Bristol, United Kingdom
- Mariko Yasugi, Kyoto, Japan
- Jeffery Zucker, Hamilton, Canada
Organisers
- Margaret Archibald, Cape Town, South Africa
- Vasco Brattka, Cape Town, South Africa
- Valentin Goranko, Johannesburg, South Africa
- Hans-Peter Künzi, Cape Town, South Africa
- Benedikt Löwe, Amsterdam, The Netherlands
