[FOM] Infinity in Logic and Computation, November 2007, Cape Town

[Vasco Brattka]

________________________________________________________________

   First Announcement and Call for Papers

   International Conference on Infinity in Logic and Computation
   3-5 November 2007, University of Cape Town, South Africa

   http://www.mth.uct.ac.za/FACS-Lab/ILC07/

   Submission deadline: *6 August 2007*
________________________________________________________________


   Topics

   o Automata on infinite objects
   o Combinatorics, cryptography and complexity
   o Computability and complexity on the real numbers
   o Infinite games and their connections to logic
   o Logic, computability, and complexity
     in finitely presentable infinite structures
   o Randomness and computability
   o Transfinite computation
   o Verification of infinite state systems


   Invited Speakers

   o Willem L. Fouche (Pretoria, South Africa)
   o Erich Graedel (Aachen, Germany)
   o Thomas A. Henzinger (Lausanne, Switzerland) -to be confirmed-
   o Joel David Hamkins (New York NY, United States of America)
   o Peter Hertling (Munich, Germany)
   o Joseph S. Miller (Storrs CT, United States of America)
   o Helmut Prodinger (Stellenbosch, South Africa)


   Programme Committee

   o Ahmed Bouajjani (Paris, France)
   o Vasco Brattka (Cape Town, South Africa)
   o Valentin Goranko (Johannesburg, South Africa)
   o Ker-I Ko (Stony Brook NY, United States of America)
   o Orna Kupferman (Jerusalem, Israel)
   o Benedikt Loewe (Amsterdam, The Netherlands) -Chair-
   o Elvira Mayordomo (Zaragoza, Spain)
   o Dieter Spreen (Siegen, Germany)
   o Wolfgang Thomas (Aachen, Germany)
   o Yde Venema (Amsterdam, The Netherlands)
   o Klaus Weihrauch (Hagen, Germany)
   o Philip Welch (Bristol, United Kingdom)
   o Mariko Yasugi (Kyoto, Japan)
   o Jeffery Zucker (Hamilton, Canada)


   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 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.


   Organisers

   o Margaret Archibald (Cape Town, South Africa)
   o Vasco Brattka (Cape Town, South Africa)
   o Valentin Goranko (Johannesburg, South Africa)
   o Hans-Peter Kuenzi (Cape Town, South Africa)
   o Benedikt Loewe (Amsterdam, The Netherlands)


   Submissions

   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.

   o Deadline: *6 August 2007*
   o Notification of authors: 27 August 2007
   o Web page: http://www.easychair.org/ILC2007/


   Proceedings

   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.


   Web page and Contact

   http://www.mth.uct.ac.za/FACS-Lab/ILC07/


________________________________________________________________