ICO Alan Turing Lect...

  To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...


Read More...

AISB Workshop: Senso...

Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness  and Robotics, its development and contemporary state. The first in a seri...


Read More...

Ms Pac-Man vs Ghosts...

This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

New AISB Website

Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...


Read More...

AISB Website Beta

The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...


Read More...

AISB 2011 Convention

The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...

Alan Turing Year

2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.


Read More...

Honouring Turing at ...

The AISB's own Convention in 2012 (convention/aisb12) will honour Turing   For 2012, AISB and IACAP (The International Association for Computing and Philosophy) have merged their annual symposia/conferences to form the AISB/IA...


Read More...
0123456789

Notice

AISB miscellaneous Bulletin Item

E. W. Beth Dissertation Prize 2007: call for submissions


Contact: beth_award@dimi.uniud.it

E. W. Beth Dissertation Prize: call for submissions
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. Submissions are invited for 2007. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2006. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation.

Who qualifies.
~~~~~~~~~~~~~~
Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2006 and December 31st, 2006. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2006 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (in 2008).

Prize.
~~~~~~
The prize consists of
  * a certificate
  * a donation of 2500 euros provided by the E. W. Beth Foundation.
  * an invitation to submit the thesis (or a revised version of it) to the new series of books in Logic, Language and Information to be published by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further information on this series is available on the FoLLI site)

How to submit.
~~~~~~~~~~~~~~
Only electronic submissions are accepted. The following documents are required:

    1. the thesis in pdf or ps format (doc/rtf not accepted);
    2. a ten page abstract of the dissertation in ascii or pdf format;
    3. a letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded;
    4. two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree.

All documents must be submitted electronically to beth_award@dimi.uniud.it . Hard copy submissions are not admitted.

In case of any problems with the email submission or a lack of notification within three working days after submission, nominators should write to policriti@dimi.uniud.it or areces@loria.fr

Important dates.
~~~~~~~~~~~~~~~~
Deadline for Submissions: May 6th, 2007.
Notification of Decision: July 15th, 2007.

Committee.
~~~~~~~~~
  * Anne Abeillé (Université Paris 7)
  * Johan van Benthem (University of Amsterdam)
  * Didier Caucal (IRISA-CNRS)
  * Nissim Francez (The Technion, Haifa)
  * Valentin Goranko (University of the Witwatersrand, Johannesburg)
  * Alessandro Lenci (University of Pisa)
  * Ewa Orlowska (Institute of Telecommunications, Poland)
  * Gerald Penn (University of Toronto)
  * Alberto Policriti (chair) (Università di Udine)
  * Rob van der Sandt (University of Nijmegen)
  * Colin Sterling (University of Edinburgh)
  * Wolfgang Thomas (RWTH Aachen)