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

Rewriting, Deduction, and Programming RDP'07 Registration open until May 31

http://www.rdp07.org/

RDP 2007 - 2nd Call for Participation
      Federated Conference on Rewriting, Deduction, and Programming
                      June 25 to 29, Paris, France
                          http://www.rdp07.org

 ========================================================================
 Regular registrations are open until May, 31. After that date there will
 be only limited possibilities for late registration for an elevated fee. 
 Details of that will be posted on the web page.
 ========================================================================

RDP'07 is the fourth edition of the International Conference on Rewriting,
Deduction, and Programming, consisting of two main conferences
 * Rewriting Techniques and Applications (RTA'07)
 * Typed Lambda Calculi and Applications (TLCA'07) 

a colloquium
 * From Type Theory to Morphologic Complexity: a Colloquium in Honor of
   Giuseppe Longo 

as well as the following workshops:
 * Higher Order Rewriting (HOR)
 * Proof Assistants and Types in Education (PATE)
 * Rule-Based Programming (RULE)
 * Security and Rewriting Techniques (SecReT) 
 * Unification (UNIF)
 * Functional and (Constraint) Logic Programming (WFLP)
 * Reduction Strategies in Rewriting and Programming (WRS)
 * Termination (WST) 

Invited Speakers:
=================
Joint RTA/TLCA: * Frank Pfenning  (Carnegie Mellon University)
TLCA:           * Patrick Baillot  (CNRS, University Paris 13)
                * Greg Morrisett (Harvard University) 
RTA:            * Xavier Leroy  (INRIA Rocquencourt)
                * Robert Nieuwenhuis (Technical University of Catalonia) 

Celebration of the 75th anniversary of the lambda calculus:
    * Henk Barendregt (Nijmegen University)

Registration:
=============
http://www.rdp07.org/registration.html