AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie ( Tu...


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


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


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


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



AISB opportunities Bulletin Item

Postdoctoral position in term rewriting, Innsbruck, AUSTRIA

The Computational Logic research group is looking for a postdoctoral researcher in connection with 
the FWF (Austrian Science Fund) project "Constrained Rewriting and SMT: Emerging Trends in 
Rewriting". The project runs for 3 years starting from 1 May 2012. The project is an international 
project with partners in Vienna and several universities in Japan. The postdoctoral researcher is 
expected to collaborate with researchers at Vienna University of Technology, Nagoya University and 

Candidates must hold a PhD degree in computer science or mathematics. A background in computational 
logic (term rewriting, complexity,constraints) is desired. Knowledge of German and Japanese is not 

Salary is paid according to the FWF funding scheme for postdocs (40 hours) and amounts to 
approximately EUR 47,000 per year (gross).

Applications (including CV and two references) must be send by email to Aart Middeldorp

   aart dot middeldorp at uibk dot ac dot at

no later than 22 April 2012. Informal inquiries are welcome at the same email address.

The city of Innsbruck, which hosted the Olympic Winter Games in 1964, 1976 and 2012 (YOG), is 
superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine 
environment and urban life in this historic town provides a high quality of living.

Further information is available from the following links:

Computational Logic:
Institute of Computer Science:
University of Innsbruck:
City of Innsbruck: