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
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
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
|
|
Programme Committee
|
|
Submissions
|
|
Practical Information
|
|
Organisers
|
|
Contact
Laboratory of Foundational Aspects of Computer Science |
|