[Top] [All Lists]

[ontology-summit] FW: [FOM] Infinity in Logic and Computation, November

To: "Ontology Summit 2007 Forum" <ontology-summit@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Thu, 26 Apr 2007 13:55:19 -0400
Message-id: <9F771CF826DE9A42B548A08D90EDEA8001D08A5B@xxxxxxxxxxxxxxxxx>
FYI. May interest some folks here.    (01)

-----Original Message-----
From: fom-bounces@xxxxxxxxxx [mailto:fom-bounces@xxxxxxxxxx] On Behalf
Of Vasco Brattka
Sent: Wednesday, April 25, 2007 6:31 AM
To: cca-list@xxxxxxxxxxxxxxxx; THEORYNT@xxxxxxxxxxxxxxxxxx;
COMP-THY@xxxxxxxxxxxxxxx; fom@xxxxxxxxxx
Subject: [FOM] Infinity in Logic and Computation, November 2007, Cape
Town    (02)

________________________________________________________________    (03)

   First Announcement and Call for Papers    (04)

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

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

   Submission deadline: *6 August 2007*
________________________________________________________________    (07)

   Topics    (08)

   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    (09)

   Invited Speakers    (010)

   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)    (011)

   Programme Committee    (012)

   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)    (013)

   Objective    (014)

   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.    (015)

   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.    (016)

   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.    (017)

   Organisers    (018)

   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)    (019)

   Submissions    (020)

   Authors are invited to submit abstracts of at most one page in
   pure text or PDF format. Since acceptance of the abstract for 
   does not constitute a publication, it is permissible to submit talks
   on published results, survey talks or expository talks.    (021)

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

   Proceedings    (023)

   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.    (024)

   Web page and Contact    (025)

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

FOM mailing list
http://www.cs.nyu.edu/mailman/listinfo/fom    (027)

Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/ 
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2007/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2007
Community Portal: http://ontolog.cim3.net/    (028)
<Prev in Thread] Current Thread [Next in Thread>