Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

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

Notice

AISB event Bulletin Item

CALL FOR PAPERS: 3rd International Workshop on GENTZEN SYSTEMS AND BEYOND, July 13, 2014 Vienna, AUSTRIA

http://vsl2014.at/pages/GSB-cfp.html

Affiliated wtih CSL-LICS 2014. Hosted by the 2014 Federated Logic Conference. Part of Vienna Summer of Logic 2014.

IMPORTANT DATES

Submission deadline April 13, 2014
Author notification May 9, 2014
Final version May 20, 2014
------------------------------------------------------------------------------------

PAPER SUBMISSIONS

Abstracts of 1-2 pages in EasyChair LaTeX style should be submitted
electronically as PDF files via the EasyChair submission site:

https://www.easychair.org/conferences/?conf=gsb3
------------------------------------------------------------------------------------

AIMS AND SCOPE

This is a workshop on Gentzen-style proof systems, their generalizations,
and extensions. Since the introduction of the sequent calculus and natural
deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms
have been used to construct proof systems for logics resisting a simpler
description, including hypersequents, deep inference systems, display
calculi, labelled deductive systems, tableaux, and proof nets, to name just
a few. The aim of this workshop is to explore and compare the motivations
for and relative merits of these different approaches. Potential topics for
talks include:

* Cut-elimination and its applications, e.g., decidability, complexity
results, interpolation, amalgamation, completeness proofs, computational
interpretations, etc.

* Scope, limitations, interrelationships, and philosophical aspects of
various formalisms.

A broader aim of the workshop is to build a bridge between researchers into
theoretical aspects of structural proof theory and the more
application-oriented goals of the proof theory community, particularly in
cases where the methods, such as constructing analytic systems, are shared.
------------------------------------------------------------------------------------

INVITED SPEAKERS

Alex Simpson, University of Edinburgh

  Anna Zamansky, University of Haifa
------------------------------------------------------------------------------------

PROGRAM COMMITTEE

Roman Kuznets (University of Bern)
George Metcalfe (University of Bern)