AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
01234

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