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

Notice

AISB event Bulletin Item

CALL FOR PARTICIPATION: Computer Aided Verification, 16-20 Jul 2011, USA

http://www.cs.utah.edu/cav2011

23rd International Conference on Computer Aided Verification (CAV 2011) -CAV Workshops NSV, PDMC, EC2, FAC, SMT, SPIN, FM-R, PSY -Cliff Lodge, Snowbird, Utah, USA

REGISTRATION/LODGING FOR CAV AND WORKSHOPS . Early Registration Deadline : June 20, 2011 
[room block likely to be exhausted June 13]

HIGHLIGHTS OF CAV, JULY 16-20
. 35 regular papers, 20 tool papers, 4 invited talks, 4 tutorials . Details at  
http://www.cs.utah.edu/cav2011

CAV INVITED SPEAKERS
. Andy Chou, Coverity Inc., "Static Analysis Tools in Industry: Notes from the Front Line"
. Vigyan Singhal, Oski Technology Inc., "Deploying Formal in a Simulation World"
. Vikram Adve, Illinois, "Parallel Programming Should Be - and Can Be - Determinstic by Default . 
Rolf Ernst, Univ of Braunschweig, "Analysis in Automotive Systems Design - a Rocky Ride to New 
Grounds"

CAV TUTORIAL SPEAKERS
. Vijay Ganesh, MIT, "HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection"
. Ranjit Jhala, UCSD, "Using Types For Software Verification"
. Shuvendu Lahiri, Microsoft Research, "SMT-based Modular Analysis of Sequential Systems Code"
. Andre Platzer, CMU, "Logic and Compositional Verification of Hybrid Systems"

INVITED SPEAKERS OF PRE-CAV WORKSHOPS, JULY 14-15 . NSV 2011:  The Fourth International Workshop on Numerical Software Verification
   - James Demmel, Berkeley
   - Thomas Gawlitza, INRIA Rhnes-Alpes

. PDMC 2011: 10th International Workshop on Parallel and Distributed Methods in Verifications
   - Lubos Brim, Brno
   - Orna Grumberg, Technion
   - Kim G. Larsen, Aalborg
   - Jaco van de Pol, Twente
   - Moshe Vardi, Rice

. EC2 2011:  The Fourth International Workshop on Exploiting Concurrency Efficiently and Correctly
   - Tom Ball, MSR Redmond
   - Martin Berzins, Univ of Utah
   - Guy Blelloch, CMU
   - Johannes Gehrke, Cornell
   - Murali Talupur, Intel
   - Richard Vuduc, GaTech

. FAC 2011:  Frontiers in Analog Circuit Synthesis and Verification
   - Christoph Grimm, TU Wein
   - Mark Horowitz, Stanford
   - Robert Hum, Mentor Graphics
   - Mahai Marcu, Agilent
   - Rob Rutenbar, Illinois
   - Gergory Taylor, Intel

. SMT 2011:  International Workshop on Satisfiability Modulo Theories, including SMT-COMP
   - Viktor Kuncak, EPFL
   - Bud Mishra, NYU

. SPIN 2011: 18th International SPIN Workshop on Model Checking of Software
   - Jasmin Fisher, MSR Cambridge
   - John Regehr, Univ of Utah

. FM-R 2011: Formal Methods for Robotics and Automation
   -  Rajeev Alur, U Penn
   -  Calin Belta, Boston U
   -  Krishnendu Chatterjee, IST
   -  Oded Maler, IMAG
   -  Moshe Vardi, Rice

. PSY 2011:  Practical Synthesis for Concurrent Systems
   - Rajeev Alur, U Penn
   - Bernd Finkbeiner, Saarland U
   - Viktor Kuncak, EPFL
   - Doug Smith, Kestrel
   - Armando Solar-Lezama, MIT

PROGRAM CO-CHAIRS
. Ganesh Gopalakrishnan, University of Utah, USA . Shaz Qadeer, Microsoft Research, USA

ARRANGEMENTS
. Local Arrangements Chair: Eric Mercer, BYU, USA . Workshops Chair: Neha Rungta, NASA Ames Res. Ctr, USA . Publicity Chair: Sandip Ray, UT Austin, USA . Webmaster: Geof Sawaya, Univ. of Utah, USA

WORKSHOP CHAIRS
* NSV:  Eric Goubault (CEA LIST), Sylvie Putot (CEA LIST),
         Stefan Ratschan (Acad. Science), Sriram Sankaranarayanan (UC Boulder)
* PDMC: Jiri Barnat (Masaryk U), Keijo Heljanko (Aalto U)
* EC2:  Sebastian Burkhardt (MSR), Swarat Chaudhuri (Rice U),
         Azadeh Farzan (U Toronto), Ganesh Gopalakrishnan (U Utah),
         Stephen Siegel (U Delaware), Helmut Veith (TU Wein)
* FAC:  Chris Myers (U Utah), Kevin Jones (Univ London)
* SMT:  Shuvendu Lahiri (MSR), Sanjit Seshia (Berkeley)
* SPIN: Alex Groce (Oregon State U), Madan Musuvathi (MSR)
* FM-R: Hadas Kress-Gazit (Cornell U), Nir Piterman (U of Leicester)
* PSY:  Martin Vechev (IBM TJ Watson), Eran Yahav (Technion)

STEERING COMMITTEE
. Michael J.C. Gordon, Cambridge
. Orna Grumberg, Technion
. Robert Kurshan, Cadence Inc
. Kenneth L. McMillan, Microsoft Research

SPONSORS
. Coverity, Google, IBM, Intel, Jasper, Microsoft Research, NEC, Nvidia, NSF