[clean-list] [isaim2008] CFP: Tenth International Symposium on AI and Math (ISAIM 2008)

[Mehran Sahami]

    [Apologies if you receive multiple copies of this announcement]

                        FIRST CALL FOR PAPERS

                   Tenth International Symposium on
               ARTIFICIAL INTELLIGENCE and MATHEMATICS
                              ISAIM 2008
                       http://isaim2008.unl.edu

                          January 2-4, 2008
                       Fort Lauderdale, Florida

          PAPER SUBMISSION DEADLINE: Monday, October 1, 2007

The International Symposium on Artificial Intelligence and Mathematics
(ISAIM) is a biennial meeting that fosters interactions between
mathematics, theoretical computer science, and artificial
intelligence.  This is the tenth Symposium in the series, which is
sponsored by Annals of Mathematics and Artificial Intelligence.  We
seek submissions of recent results with a particular emphasis on the
foundations of AI and mathematical methods used in AI.  Papers
describing applications are also encouraged, but the focus should be
on principled lessons learned from the development of the application.
Traditionally, the Symposium attracts participants from a variety of
disciplines, thereby providing a unique forum for scientific exchange.
The three-day Symposium includes invited speakers, presentations of
technical papers, and special topic sessions.


INVITED SPEAKERS:

o  David McAllester, Toyota Technological Institute at Chicago, USA
o  Francesca Rossi, Padova University, Italy
o  Naftali Tishby, The Hebrew University, Israel


SPECIAL TOPIC INVITED SESSIONS:  

o Logic in Artificial Intelligence
    -Special Session in Honor of the 65th Birthday of Victor Marek
    -Organized by Michael Kaminski and Mirek Truszczynski.

o Computation and Social Choice
    -Organized by Toby Walsh, NICTA and University of New South Wales

Other special sessions may be announced soon.


PAPER SUBMISSION:

Paper submission will be electronic via the submission link on the
Symposium web-site (isaim2008.unl.edu).  Papers must be formatted in
accordance with the guidelines in the "Paper Submission" chapter of
the web site.

The submission deadline is Monday, October 1, 2007 (11:59PM
PDT). Papers will be reviewed by members of the Program Committee.
Authors will be notified of acceptance or rejection by Wednesday,
October 31, 2007.  Final versions of accepted papers, for inclusion in
the conference electronic proceedings, are due by Wednesday, November
21, 2007.  Note that papers may be submitted to the Symposium even if
submitted to other conferences or journals, because the Symposium web
site is not archival.

Authors of a selected set of papers from the Symposium will be invited
to submit full versions of their papers for inclusion in a special
volume of the Annals of Mathematics and Artificial Intelligence,
published by Springer.  Those invited submissions will be subject to
refereeing at the usual standards of the journal, and authors will
receive more details with the acceptance notice.

Any questions regarding paper submission should be sent to the program
co-chairs to the email address <isaim2008 at cse.unl.edu>.


IMPORTANT DATES:

Paper submission:    Monday, October 1, 2007
Notification:        Wednesday, October 31, 2007
Final version due:   Wednesday, November 21, 2007


TRAVEL SUPPORT: 

Limited travel support is available for students.  Please contact
isaim2008 AT cse.unl.edu for information.


ORGANIZERS:

o General Chair:     Martin Charles Golumbic, University of Haifa
o Conference Chair:  Frederick Hoffman, Florida Atlantic University
o Program Co-Chairs: Berthe Y. Choueiry, University of Nebraska-Lincoln
                     and Bob Givan, Purdue University
o Publicity Chair:   Mehran Sahami, Stanford University


PROGRAM COMMITTEE:

Michael Bowling       University of Alberta
Ronen Brafman         Ben-Gurion University
Yixin Chen            Washington University in St Louis
Rina Dechter          University of California, Irvine
Alan Fern             Oregon State University
Hector Geffner        Universitat Pompeu Fabra
Malte Helmert         Albert-Ludwigs-Universitat Freiburg
Michael Kaminski      Technion
Kristian Kersting     Massachusetts Institute of Technology
Roni Khardon          Tufts University
Sven Koenig           University of Southern California
Richard Korf          University of California, Los Angeles
Manolis Koubarakis    National and Kapodistrian University of Athens
Gerhard Lakemeyer     Aachen University of Technology
Guy Lebanon           Purdue University-West Lafayette
Hector Levesque       University of Toronto
Vladimir Lifschitz    University of Texas, Austin
Alan K. Mackworth     University of British Columbia
Michela Milano        Universita di Bologna
Brian Milch           Massachusetts Institute of Technology
Bernhard Nebel        Albert-Ludwigs-Universitat Freiburg
David Page            University of Wisconsin, Madison
Ronald Parr           Duke University
Pascal Poupart        University of Waterloo
Henri Prade           IRIT and Universite de Toulouse
Steven Prestwich      Cork Constraint Computation Center
Jussi Rintanen        NICTA
Jeff Rosenschein      The Hebrew University of Jerusalem
Andrea Schaerf        University of Udine
Bart Selman           Cornell University
Meinolf Sellmann      Brown University
Thomas Stuetzle       Universite Libre de Bruxelles
Miroslaw Truszczynski University of Kentucky
Hudson Turner         University of Minnesota, Duluth
Peter van Beek        University of Waterloo
Toby Walsh            NICTA and University of New South Wales
Nic Wilson            Cork Constraint Computation Center
Michael Wooldridge    University of Liverpool
Neil Yorke-Smith      SRI International
Weixiong Zhang        Washington University
Luke Zettlemoyer      Massachusetts Institute of Technology
Shlomo Zilberstein    University of Massachusetts, Amherst

Additional program committee members are anticipated.


ADVISORY COMMITTEE: 

The Editor-in-Chief (Martin Charles Golumbic) and the members of the
Editorial Board of Annals of Mathematics and Artificial Intelligence
serve as the permanent Advisory Committee of the Symposium.


SPONSORS: 

The Symposium is partially supported by:
o Annals of Mathematics and Artificial Intelligence
o Caesarea Rothschild Institute at the University of Haifa
o Florida Atlantic University (Department of Mathematical Sciences)
o Florida-Israel Institute
o Google Inc.
ISAIM 2008 is held in cooperation with AAAI.

Send inquiries and requests: isaim2008 AT cse.unl.edu.
Check symposium web-page: http://isaim2008.unl.edu.
Join isaim at googlegroups.com to receive announcements related to ISAIM.

_______________________________________________
isaim2008 mailing list
isaim2008 at lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/isaim2008