AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

CF Participation: Rewriting Techniques and Applications RTA 208

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

 CALL FOR PARTICIPATION                *
    *                                                      *
    *                       RTA 2008                       *
    *         Rewriting Techniques and Applications        *
    *             19th International Conference            *
    *                                                      *                 
    *             Castle of Hagenberg, Austria             *
    *                                                      *
    *   July 15-17, 2008. Workshops July 14, July 18       * 
    * 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:
  Early registration deadline:           June 30, 2008
  Pre-conference workshops:              July 14, 2008
  Conference:                         July 15-17, 2008
  Pre-conference workshops:              July 18, 2008
  IFIP WG 1.6 meeting:                   July 18, 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.

INVITED TALKS:
 * Véronique Cortier (LORIA, CNRS, Nancy). 
       Verification Techniques for Cryptographic Protocols.
 * Thomas Hillenbrand (MPI, Saarbrücken).
       Fast Equational Reasoning with Waldmeister. 
 * Albert Rubio (UPC, Barcelona). 
       Present and Future of Proving Termination of Rewriting.

INVITED TUTORIAL:
 *  Erich Kaltofen (North Carolina State University). 
       The algebraic Synthesis of Algorithms.

The complete program is available at
http://www.risc.uni-linz.ac.at/conferences/rta2008/program.html

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

PROGRAMME COMMITTEE:
 * Maribel Fernández        King's College London
 * Neil Ghani               University of Leicester
 * Jürgen Giesl             RWTH Aachen
 * Guillem Godoy            Universidad Politécnica de Cataluña
 * 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 Politécnica de Cataluña
 * Michaël 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

LOCATION, TRAVEL, ACCOMMODATION: 
For detailed information on location and travel consult 
http://www.risc.uni-linz.ac.at/conferences/rta2008/location.html

REGISTRATION
The registration web page:
http://www.risc.uni-linz.ac.at/conferences/rta2008/registration.html