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 opportunities Bulletin Item

Postdoctoral position (1y) in semantics of programming languages and logic in computer science, Lyon, FRANCE


A 12-month post-doctoral position is available in the Plume team
of the LIP laboratory at ENS de Lyon.

The position is cofunded by the ANR project RECRE and the LIP
laboratory.

Research conducted in Plume team covers various aspects of
programming languages semantics and logic in computer science.

"RECRE" stands for "Realizability for classical logic, concurrency,
references and rewriting". The project also includes topics relevant
to the Curry-Howard correspondence, such as denotational semantics,
linear logic, proof theory and type theory.

For this position, we will welcome applications in topics relevant
to RECRE, as well as at their intersection with other fields of logic
and computer science such as program verification or logic and
automata.

Salary: around 2000 euros net per month.

Starting date: September 1st 2014

Applications: please send, before *May 4th 2014*
a CV together with a one-page cover letter to Colin Riba.

For any question, please contact Colin Riba.

Contacts:
- Colin Riba: colin.riba@ens-lyon.fr
- Plume team: http://www.ens-lyon.fr/LIP/PLUME/