AISB Convention 2015

Call for Symposium Proposals: 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 Con...


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 event Bulletin Item

GLOBAN 2008 Summer School Announcement

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

FIRST ANNOUNCEMENT

                             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 26, 2008
Notification of grant decisions:             May 26, 2008
Registration deadline:                       July 3, 2008
Notification of qualifying decisions:        July 14, 2008
Summer school:                               September 22-26, 2008