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

AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


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

Call for Participation: ATVA 2007 Automated Technology for Verification and Analysis

http://www.yt.cs.titech.ac.jp/atva2007/

     CALL FOR PARTICIPATION
*********************************************************************
                          ATVA 2007 
                Fifth International Symposium on 
       Automated Technology for Verification and Analysis 
                  National Center of Sciences 
               Tokyo, Japan, October 22-25, 2007 
*********************************************************************
         http://www.yt.cs.titech.ac.jp/atva2007/

Sponsored by
	National Institute of Informatics, Japan
	Kayamori Foundation of Information Science Advancement
	Inoue Foundation for Science 
	Telecommunications Advancement Foundation
In coorperation with 
	Cyber Infrastructure for the Information-explosion Era (MEXT
	Grant-in-Aid for Scientific Research on Priority Areas)

ACCEPTED PAPERS
-------
A list of accepted papers can be found at the conference webpage.

REGISTRATION and HOTEL RESERVATION
-------
On-line registration and hotel reservation are available from the conference
webpage. 

Early registration deadline:    September 1, 2007

*** Note that the tutorial and the following OMEGA workshop are free
*** for the participants of ATVA2007.

LOCAL INFORMATION
-------
A map showing the conference venue, some hotels, and some subway and
train stations is available at the conference webpage.

TUTORIAL and KEYNOTE TALKS
-------
2 hour tutorial (Oct. 22) and keynote talks are given by each of the
following speakers.

  Martin Abadi (UCSC, Microsoft Research):
	Policies and Proofs for Code Auditing
  Ken McMillan (Cadence Berkeley Labs):
	Toward Property-Driven Abstraction for Heap Manipulating Programs
  Moshe Vardi (Rice Univ.):
	Branching vs. Linear Time: Semantical Perspective
===========================================================
WORKSHOP
-------
An ATVA-affiliated workshop OMEGA 2007 will be held on Oct. 26, 2007.
The workshop is for facilitating interactions and will be informal.
Its technical program will consist of invited talks as well as poster
presentations selected from submissions (Workshop abstract submission
is Aug. 10).  Each invited talk will be allotted about 30-60 minutes,
while each poster will be allotted about 10-15 minutes for oral
presentation plus some hours for hallway discussions.  Here is a
latest list of invited speakers.

  E. Allen Emerson  (University of Texas at Austin, USA)
  Bernd Finkbeiner  (Universitaet des Saarlandes, Germany)
  Oded Maler  (CNRS-VERIMAG, France)
  David Nowak  (AIST, Japan)
  Doron A. Peled  (Univ. of Warwick, UK and Bar Ilan Univ., Israel)
  Sophie Pinchinat  (IRISA, France)
  Amir Pnueli  (NYU, USA and Weizmann Institute of Science, Israel)
  Moshe Y. Vardi  (Rice University, USA)
  Bow-Yaw Wang  (Academia Sinica, Taiwan)
  Farn Wang  (National Taiwan University, Taiwan)

The details can be found at the ATVA webpage or
	http://www.im.ntu.edu.tw/~omega2007/