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

GLOBAN 2008 Summer School: Early Registration Open

http://globan08.mimuw.edu.pl/

 EARLY REGISTRATION OPEN

                             GLOBAN 2008
        "The Global Computing Approach to Analysis of Systems"
                    Warsaw, September 22-26, 2008

                    http://globan08.mimuw.edu.pl/


The GLOBAN 2008 summer school will give PhD students and other young
researchers a comprehensive overview of contemporary techniques for analysis
and verification of models for global computing systems and the mobile
software that realises them.

The school is organised by Institute of Informatics, Warsaw University, in
association with the MOBIUS and SENSORIA 6th Framework Programme projects.


Lectures:
---------
- Rocco De Nicola
  Session Centered Calculi for Service Oriented Computing
- Andrew D. Gordon
  Declarative Data Centres
- Reiko Heckel
  Foundations of Model Transformations: A Lambda Calculus for MDD?
- Martin Hofmann
  Type-based Verification in Global Computing
- Joost-Pieter Katoen
  Performance Analysis and Model Checking - A Perfect Match
- Joe Kiniry
  Verification-centric Software Engineering
- Flemming Nielson
  Static Analysis of Services
- Andrei Sabelfeld
  Information-flow Security


Project presentations by:
-------------------------

- Gilles Barthe
  Mobility, Ubiquity and Security: Proof-carrying Code for Java on Mobile
  Devices
- Martin Wirsing
  SENSORIA: Software Engineering for Service-Oriented Overlay Computers


Steering Committee:
-------------------

- Gilles Barthe
- Flemming Nielson
- Ian Stark
- Andrzej Tarlecki
- Martin Wirsing


Important dates:
----------------

Early registration deadline:                 May 15, 2008
Grant application deadline:                  May 15, 2008
Notification of early qualifying decisions:  May 29, 2008
Notification of grant decisions:             May 29, 2008
Registration deadline:                       July 3, 2008
Notification of qualifying decisions:        July 14, 2008
Summer school:                               September 22-26, 2008

Grants:
-------

A number of grants is offered to applying participants, to cover the fees
as well as a part of local and travel expenses (depending on the funds
available and the number of applications). Please apply.