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
presentation
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
FOM@xxxxxxxxxx
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)
|