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

AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


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

Notice

AISB opportunities Bulletin Item

Postdoctoral position in "Efficient and Natural Proof Systems", Bath (U.K.)

https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=VH1457

Research Officer - Computer Science (Fixed Term 3 Yrs)


Salary:   Starting from 30,424, rising to 36,298
Closing Date:   Wednesday 23 January 2013
Interview Date:   To be confirmed
Reference:  VH1457

The post is associated with the three-year EPSRC project "Efficient and Natural 
Proof Systems". The project is about developing an ambitious, modern 
semantic-motivated proof theory for representing natural proofs of minimal 
complexity.

We are looking for a researcher who can work with categorical models of proofs 
and who has an interest in geometric proof representations such as proof nets 
and atomic flows. The main focus of this position will be in the semantic 
aspects of the new proof theory, working mainly with Guy McCusker, Alessio 
Guglielmi and Paola Bruscoli.

The post will be available for up to 3 years, with effect from 1st February 
2013.

Web site of the project:   

This is our group:

Paola Bruscoli   
Anupam Das   
Alessio Guglielmi   
Willem Heijltjes   
Jim Laird   
Guy McCusker   
John Power   
Cai Wingfield   

We are part of the Mathematical Foundations group of the Computer Science 
Department of the University of Bath. We study the mathematics of logical 
reasoning, of programs, of processes and of programming languages. In our 
research we use and develop category theory, game theory, model theory, proof 
theory, type theory and complexity theory.

Our department has an outstanding research profile: in the most recent national 
Research Assessment Exercise our research output was ranked fourth out of 81 
university submissions in the UK. This year our university has been recognised 
as third in the country in The Sunday Times University Guide.