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

CFP and Workshop Proposals: CAV2009 - Computer Aided Verification

http://www-cav2009.imag.fr

*CALL FOR PAPERS*

21st International Conference on Computer Aided Verification *CAV 2009*

June 26 - July 2, 2009
Grenoble

http://www-cav2009.imag.fr

*Aims and Scope*

CAV 2009 is the 21st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. Topics of interest include:

-    Modeling and specification formalisms
-    Algorithms and tools for verifying models and implementations
-    Deductive, compositional, and abstraction techniques for verification
-    Testing and runtime analysis based on verification technology
-    Hardware verification techniques
-    Program analysis and software verification
-    Analysis of embedded and hybrid systems
-    Verification techniques for security
-    Applications and case studies
-    Verification in industrial practice

*Paper Submission*

There are two categories of submissions:

*A. Regular Papers:* Submissions, not exceeding fourteen (14) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed.

*B. Tool Presentations:* Submissions, not exceeding five (6) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented (in any conference) will be accepted only if significant and clear enhancements to the tool are reported and implemented.

Papers exceeding the stated maximum length run the risk of rejection without review.
The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments.

Papers can be submitted in PDF or PS format. Submission is done with EasyChair. Informations about the submission procedure will be available at:

http://www-cav2009.imag.fr


*Important Dates*

-    Abstract submission:  January 18, 2009
-    Paper submission (firm):  January 25, 2009
-    Author feedback/rebuttal period:  March 5-8, 2009
-    Notification of acceptance/rejection:  March 23, 2009
-    Final version due:  April 17, 2009


*Events*

There will be pre-conference workshops on June 26-28. The main conference will take place on June 28-July 2. There will be tutorials on the first day of the conference (June 28). Please see the conference website for details.

*Program Chairs*

-   Ahmed Bouajjani, LIAFA, U Paris 7
-   Oded Maler, CNRS-VERIMAG, Grenoble

*Program Committee*

-    Parosh A. Abdulla, U Uppsala     -    Rajeev Alur, U Penn
-    Christel Baier, U Dresden
-    Clark Barrett, NYU
-    Armin Biere, Johannes Kepler U Linz
-    Nikolaj Bjorner, Microsoft Research Redmond
-    Roderick Bloem, TU Graz
-    Ahmed Bouajjani (co-chair), LIAFA, U Paris 7
-    Edmund Clarke, CMU
-    Byron Cook, Microsoft Research Cambridge
-    Martin Frnzle, U Oldenburg
-    Aarti Gupta, NEC Labs America
-    John Harrison, Intel
-    Klaus Havelund, NASA JPL
-    Alan Hu, UBC Vancouver
-    Kevin Jones
-    Daniel Krning, U Oxford
-    Robert Kurshan, Cadence Design Systems
-    Yassine Lakhnech,  U Grenoble
-    Oded Maler, CNRS-VERIMAG
-    Kenneth McMillan, Cadence Research Labs
-    Markus Mller-Olm, U Mnster
-    Kedar Namjoshi, Bell Labs, Alcatel-Lucent
-    Madhusudan Parthasarathy, U Ilinois Urbana-Champain
-    Sriram Rajamani, Microsoft Research India
-    Andrey Rybalchenko, MPI Saarbrcken
-    Philippe Schnoebelen, CNRS-LSV
-    Sanjit Seshia, UC Berkeley
-    Natarjan Shankar, SRI International
-    Ofer Strichman, Technion
-    Serdar Tasiran, Ko U Istanbul
-    Tayssir Touili, CNRS-LIAFA
-    Stavros Tripakis, Cadence Research Labs
-    Helmuth Veith, TU Darmstadt

*Steering Committee*

-    Edmund M. Clarke, CMU
-    Mike Gordon, U Cambridge
-    Robert P. Kurshan, Cadence
-    Amir Pnueli, NYU

*Organization committee*

-    Saddek Bensalem, VERIMAG, U Grenoble
-    Peter Habermehl, LIAFA, U Paris 7
Call for Workshop Proposals

.......................................................................

CAV 2009 is the 21st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Topics of interest include: (1) Algorithms and tools for verifying models and implementations, (2) Hardware verification techniques, (3) Program analysis and software verification, (4) Verification and analysis of embedded and hybrid systems, (5) Verification techniques for security, (6) Modeling and specification formalisms, (7) Deductive, compositional, and abstraction techniques for verification, (8) Testing and runtime analysis based on verification technology, (9) Applications and case studies, and (10) Verification in industrial practice. 

CAV 2009 will take place from June 26 to July 2, 2009, at Grenoble, France, where the first CAV started in 1989. 

Traditionally, CAV hosts a number of affiliated workshops complementing its technical program. Affiliated workshops will be organized on June 26-29. Workshop rooms will be available at the conference site, and local arrangements will be facilitated by the CAV organization.

Proposals for workshops affiliated with CAV 2009 are cordially invited. The proposals should be sent by October 31, 2008, to  cav09-workshops@imag.fr and should include the following information:

 - Name of the workshop
 - Intended aims and scope 
 - History of the workshop
 - Expected number of participants (min/avg/max)
 - Length of the event (1, 2 or 3 days)
 - Contact person with full contact information

Additional organizational plans may include names of potential invited speakers, funding sources, proposed sessions, plans for proceedings or other publications, etc.

Important Dates:
----------------------
Submission deadline for workshop proposals: October 31, 2008
Notification: November 7, 2008

Workshops Chair:
------------------------
Andreas Podelski, Freiburg