Please note that this newsitem has been archived, and may contain outdated information or links.
3-5 November 2007, Infinity in Logic and Computation (ILC07), Cape Town, South Africa
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 conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS) that takes place from 31 October until 2 November 2007. 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.
For more information, see http://www.mth.uct.ac.za/FACS-Lab/ILC07/
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. Deadline: 6 August 2007.
Please note that this newsitem has been archived, and may contain outdated information or links.