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

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

PhD student positions in "foundations of cyber-physical systems", DENMARK


Aalborg (Denmark)

CISS, Aalborg,  Denmark - Several PhD positions ================================================

The IDEA4CPS center (www.idea4cps.dk) is a newly established Danish-Chinese basic research center 
on the foundations of cyber-physical systems. The center will research and develop mathematically 
well-founded and coherent models, methods, and tools that may serve as the foundation of a 
model-driven design methodology for cyber-physical systems. In order to pursue this goal, we seek 
several PhD applicants within the following research themes:

? Specification and modeling formalisms with special focus on resource-aware formalisms.

? Validation and analysis techniques with special emphasis on e.g. 
refinement and abstraction, quantitative analysis or model based testing and model learning.

? Compositionality with emphasis on components and interfaces for resources.

The ideal applicants have both a theoretical background as well as an interest in exploiting the 
results into algorithms, tools, and applications on selected industrial cases.

The center is a joint initiative funded by basic research organizations in Denmark and China, and 
it involves two partners in each country. This means that international collaboration will be a 
major theme of the research within the center.

Interested candidates may send further questions and a short statement of research interests 
(possibly with a short CV) to the Danish Principal Investigator Kim Guldstrand Larsen 
(kgl@cs.aau.dk) or work package leader Arne Skou (ask@cs.aau.dk) before November 15, 2011.
-

---------------------------------------------------------------------
Kim G. Larsen                     Email:            kgl@cs.aau.dk
Director, CISS                    URL:         www.cs.aau.dk/~kgl
Professor, Computer Science       Mobile:            +45 22171159
Aalborg University                Phone:             +45 99408893
Selma Lagerlfsvej 300            Fax:               +45 99409794
DK-9220 Aalborg, DENMARK