Show/hide main menu

News

News Highlights

Dagstuhl Seminar on "Automated Planning and Model Checking"

Posted on 09/04/2014
Dagstuhl

A Dagstuhl Seminar on "Automated Planning and Model Checking", coordinated by Dr Daniele Magazzeni of the Department of Informatics, has been accepted and will be held in November 24-28, 2014.

A Dagstuhl seminar, which entails a one-week stay in Dagstuhl Castle, is one of the most prestigious ways to host a dedicated workshop in computer science. Seminar proposals are assessed by a very selective process of expert review. This seminar will bring together 40 international experts in AI Planning and Model-Checking, with the objective of tackling some open problems on the interface between these areas and forging closer research links between these communities.

Professor Maria Fox from the Department of Informatics is also involved in organising the seminar. Professor Fox and Dr Magazzeni are both members of the Planning research group.

For more details of the seminar please see: http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=14482

News Highlights:

News Highlights...RSS FeedAtom Feed

Royal Party opens Bush House

Royal Party opens Bush House

Description
Her Majesty The Queen, accompanied by Her Royal Highness The Duchess of Cambridge, met robotics researchers from the Department of Informatics as they opened Bush House on Tuesday 19 March.
Centre for Doctoral Training in Safe and Trusted Artificial Intelligence announced

Centre for Doctoral Training in Safe and Trusted Artificial Intelligence announced

Description
The Department of Informatics will lead a Centre for Doctoral Training (CDT) on Safe and Trusted Artificial Intelligence (STAI) as part of a UK-wide £100 million investment in artificial intelligence by UKRI.
Interdisciplinary King's team win Best Demo for CONSULT healthcare project

Interdisciplinary King's team win Best Demo for CONSULT healthcare project

Description
An interdisciplinary team from King's, led by academic staff from the Department of Informatics, has won Best Demo at the 6th International Conference on Human Agent Interaction for the CONSULT (Collaborative mObile decisioN Support for managing mULtiple morbidiTies) project.
Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2019 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454