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

Notice

AISB event Bulletin Item

CALL FOR PARTICIPATION & STUDENT PAPERS: "Two Faces of Complexity", 29 May 2011, SERBIA

http://cl-informatik.uibk.ac.at/events/2fc11/

2FC'11, Novi Sad (Serbia)

In recent  years there have  been several approaches to  the automated analysis of  the complexity
of programs. Mostly  these approaches have been  developed   independently  and   use  a  variety
of  different techniques.   This  workshop  aims   to  bring  together  the  leading researchers
working in this area. In particular we are interested in a transfer  of knowledge between  
researchers working  on model-checking and on  rewriting. While these communities essentially  
solve the same problems the  techniques (and sometimes even the  terminology) used is quite different.

In  order  to  provide  the  best  possible  interaction  between  the different  concerned  
communities,  the  workshop  is  centred  around invited presentations: two tutorial  and 6 
technical invited talks. In addition  to  these,  we  will  invite  contributed  papers  by  
early researches.  We are happy  to announce  that the  following colleagues agreed to  give 
invited presentations at this  workshop:

*) Amir Ben-Amram, Academic College of Tel-Aviv-Yaffo, Israel
*) Samir Genaim, Complutense University of Madrid, Spain
*) Juergen Giesl, RWTH Aachen, Germany
*) Nao Hirokawa, JAIST, Japan
*) Martin Hofmann, LMU Munich, Germany
*) Daniel Kroening, Oxford University
*) Jean-Yves Marion, Loria-INPL, France
*) Andreas Podelski, University of Freiburg, Germany

In addition to invited presentations we want to give early researchers (aka  PhD  students) the  
opportunity  to  contribute  papers to  this workshop.   Thus  we  invite  submissions  in  the  
form  of  extended abstracts  on the topics  of the  workshop. Mandatory  requirement for acceptance
of these short papers  is originality, that is, only papers presenting new  ideas (not published  
or presented elsewhere)  will be accepted. Furthermore  we will only accept  papers exclusively 
written by students.  Submissions should be  no more than 6 pages and uploaded to 
https://www.easychair.org/account/signin.cgi?conf=2fc11.

The workshop  will take  place on  Sunday, May 29,  2011 in  Novi Sad, Serbia as  part of the 
Federated Conference on  Rewriting, Deduction, and Programming (RDP 2011).

Important dates:

*) Early registration deadline: April 10
*) Please register for the workshop via the RDP site.
*) Submission of student papers: April 30
*) Notification of acceptance: May 9
*) Registration deadline: May 10

For further information see the links on the workshop web site,

      http://www.rdp2011.uns.ac.rs/workshops/2fc.html,

or directly at http://cl-informatik.uibk.ac.at/events/2fc11/.

Georg Moser and Andrey Rybalchenko