AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


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

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

Notice

AISB event Bulletin Item

CFP: Rewriting Techniques and Applications RTA 08

http://www.risc.uni-linz.ac.at/conferences/rta2008/

                                 *
    *                       RTA 2008                       *
    *         Rewriting Techniques and Applications        *
    *             19th International Conference            *
    *                                                      *
    *   July 15-17, 2008, Castle of Hagenberg, Austria     *
    * http://www.risc.uni-linz.ac.at/conferences/rta2008/  *
    *                                                      *
    ********************************************************

The 19th International Conference on Rewriting Techniques and
Applications (RTA 2008) is organised as part of the RISC Summer
2008, which comprises five conferences, five workshops and the
Training School in Symbolic Computation, and is followed by the
3rd International School on Rewriting in Obergurgl.

IMPORTANT DATES:
Abstract:           February 4, 2008
Paper Submission:   February 11, 2008
Notification:       April 4, 2008
Final version:      April 25, 2008

RTA is the major forum for the presentation of research on all
aspects of rewriting. Typical areas of interest include
(but are not limited to):

 * Applications: case studies; analysis of cryptographic protocols;
   rule-based (functional and logic) programming; symbolic and
   algebraic computation; theorem proving; system synthesis and
   verification; proof checking; reasoning about programming
   languages and logics; program transformation;

 * Foundations: matching and unification; narrowing; completion
   techniques; strategies; rewriting calculi, constraint solving;
   tree automata; termination; combination;

 * Frameworks: string, term, and graph rewriting; lambda-calculus
   and higher-order rewriting; constrained rewriting/deduction;
   categorical and infinitary rewriting; integration of decision
   procedures;

 * Implementation: implementation techniques; parallel execution;
   rewrite tools; termination checking;

 * Semantics: equational logic; rewriting logic; rewriting models
   of programs.

BEST PAPER AWARD:
An award is given to the best paper or papers as decided by the
program committee.

STUDENT SUPPORT:
Limited student support will be available and announced in future
versions of this call.

PROGRAMME COMMITTEE CHAIR:
 * Andrei Voronkov          University of Manchester
   http://www.voronkov.com/

PROGRAMME COMMITTEE:
 * Maribel Fernndez        King's College London
 * Neil Ghani               University of Leicester
 * Jrgen Giesl             RWTH Aachen
 * Guillem Godoy            Universidad Politcnica de Catalua
 * Jean Goubault-Larrecq    ENS Cachan
 * Tetsuo Ida               University of Tsukuba
 * Claude Kirchner          INRIA
 * Konstantin Korovin       University of Manchester
 * Temur Kutsia             Johannes Kepler University Linz
 * Aart Middeldorp          University of Innsbruck
 * Paliath Narendran        SUNY at Albany
 * Robert Nieuwenhuis       Universidad Politcnica de Catalua
 * Michal Rusinowitch      INRIA
 * Aaron Stump              Washington University in St. Louis
 * Jean-Marc Talbot         Universit de Provence
 * Yoshihito Toyama         Tohoku University
 * Ralf Treinen             Universit Paris Diderot
 * Andrei Voronkov          University of Manchester
 * Hans Zantema             Technische Universiteit Eindhoven

GENERAL CHAIR:
 * Bruno Buchberger         Johannes Kepler University Linz

ORGANISING COMMITTEE CHAIR:
 * Temur Kutsia             Johannes Kepler University Linz

SUBMISSIONS:
Submissions must be original and not submitted for publication
elsewhere. Submission categories include regular research papers
and system descriptions. Problem sets and submissions describing
interesting applications of rewriting techniques are also welcome.

The page limit for submissions is 15 pages in Springer LNCS style
(10 pages for system descriptions). Papers must be submitted
electronically through the EasyChair system. The submission Web
page is

      http://www.easychair.org/conferences/?conf=RTA2008