Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for presen...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...



AISB opportunities Bulletin Item

Phd Studentship in Automated Reasoning


 EPSRC funded 

	 ANTICIPATED START DATE: July - September 2010

One EPSRC funded PhD studentship is available in the School of
Computer Science at the University of Manchester.


The project forms part of an EPSRC Research Project with the
aim to automatically generate implemented automated reasoners.

Reasoning is needed in many subfields of computer science from
verification of programs, ontology reasoning for the semantic
web, multi-agent systems to artificial intelligence and text
mining but also other fields including mathematics,
computational linguistics and philosophy.  Implementing an
automated reasoner from scratch or even implementing one as an
extension of an existing reasoner is a time-consuming and
difficult undertaking.  As an alternative we intend to develop
technology and software for automatically generating
implemented automated reasoners.  The idea is that a
user-defined logical formalisation of an application is
automatically transformed, first, into a deduction calculus,
and finally into an implemented automated reasoner.  This will
give non-expert users and developers the ability to build
implemented reasoners with relative ease in a supported way.
The foundation of the project will be a tableau calculus
synthesis framework that we developed in recent work and have
already applied to a number of logics.

The focus of the PhD project will be on tableau prover
generation for modal and description logics (or other
non-classical logics depending on the background of the
successful applicant).  The expected tasks include
significantly contributing to the development of a prototype
implementation of a tableau prover generator and auxiliary
tools, conducting case studies for various logics, developing
refinements and optimisations, and undertaking an evaluation of
the developed technology.

The project will be supervised by Dr Renate Schmidt and Dr
Dmitry Tishkovsky.


The successful applicant is expected to conduct research
leading to original contributions to the project culminating in
a PhD thesis.

Expected qualifications, knowledge, skills and experience:
- A first class BSc(Hons), strong MSc degree, or equivalent,
  in an appropriate discipline;
- Background in computer science and/or mathematics with
  significant knowledge of logic and/or automated reasoning,
  preferably including modal, description, first-order logic,
  tableau-based reasoning and equality reasoning;
- Good programming skills;
- Good communication skills in English, both oral and written;
- Ability to work collaboratively.

The studentship is expected to start between 1 July 2010 and 30
September 2010 subject to negotiation, and is available for up to
three years with a stipend of 13,290 pounds per annum (tax free),
full university registration fees for UK/EU students, a
contribution of about 74% to the university registration fees for
Non-EU international students, plus travel money for attending


To apply for the studentship, please send a detailed CV, copies
of transcripts (academic records of marks for courses taken),
names of at least two referees (email addresses preferred) and
covering letter by email to:

Email submission of PDF and/or plain text are acceptable. 

The deadline for applications is *14 May 2010*.  Late
applications may be considered.


For further details about the studentship and the project
please contact Dr Renate Schmidt, preferably by email at  Additional information about
postgraduate research in the School can be found at


Formal application to be admitted by the PhD program in the
School of Computer Science at the University of Manchester
needs to be made separately by the successful candidate.