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


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


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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


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



AISB event Bulletin Item

CFP: Formal Methods in Computer-Aided Design FMCAD 2007


FMCAD 2007
International Conference on Formal Methods in Computer-Aided Design 
                         CALL FOR PAPERS

                       November 11-14, 2007
         Renaissance Austin Hotel, 9721 Arboretum Boulevard
                          Austin, Texas

Abstract Submission Deadline:	April 30, 2007
Paper Submission Deadline:   	May 7, 2007 
Acceptance Notification:     	June 21, 2007
Final Version Due:           	 July 28, 2007

FMCAD 2007 is the seventh in a series of conferences on the theory and application of formal methods in hardware and system design and verification. In 2005, the bi-annual FMCAD and sister conference CHARME decided to merge to form an annual conference with a unified community. The resulting unified FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for formally reasoning about computing systems, as well as open challenges therein. FMCAD 2007 will include a full day of tutorials, and will be co-located with the ACL2 Workshop. Topics of interest for the technical program include, but are not limited to:

* Foundations: advancing industrial-strength technologies in model checking, theorem proving, equivalence checking, abstraction and refinement techniques, property-preserving reduction techniques, compositional methods, decision procedures, SAT- and BDD-based methods, combining deductive methods with decision procedures, and probabilistic methods.

* Verification applications: tools, industrial experience reports, and case studies.  We encourage the submission of materials relating to novel and challenging industrial-scale applications of formal methods, including problem domains where formal methods worked well or even fell short. We also encourage submissions relating to the development and execution of methodologies for formal and informal verification strategies.

* Applications of formal methods in design: topics relating to the application and applicability of assertion-based verification, equivalence checking, transaction-level verification, semi-formal verification, runtime verification, simulation and testcase generation, coverage analysis, microcode verification, embedded systems, software verification, concurrent systems, timing verification, and formal approaches to performance and power.

* Model-based approaches: modeling and specification languages, system-level design and verification, design derivation and transformation, and correct-by-construction methods. 

* Formal methods for the design and verification of emerging and novel technologies: nano, quantum, biological, video, gaming, and multimedia applications.

Submissions must be made electronically in PDF format through the FMCAD Web site, http://fmcad.org/2007. The proceedings will be published by the IEEE and will be available online in the ACM Digital Library and the IEEE Xplore Digital Library. There are two categories of papers:


Regular papers are limited to 8 pages using the IEEE Transactions format on letter-size paper with a 10-point font size (see  http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html). We recommend that self-citations be written in the third person, though authors will be required to identify themselves on their submissions. Submissions must contain original research that has not been previously published, nor concurrently submitted for publication. Any partial overlap with any published or concurrently submitted paper must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide adequate access to their data so that results can be independently verified. Papers should contain a short abstract of approximately 150 words clearly stating the contribution of the submission. Refer to http://fmcad.org/2007 for evolving submission details.  A small number of accepted papers will be considered for a distinguished paper award. 


The page limit is 4 pages using the same format as for regular papers. Short papers can describe applications, case studies, industrial experience reports, emerging results, or implemented tools with novel features.  A demonstration will be required for accepted tool papers.

Chairs:               Jason Baumgartner, IBM Corporation, USA 
                      Mary Sheeran, Chalmers University of Technology, Sweden 
Benchmarks:           Panagiotis Manolios, Georgia Institute of Technology, USA
Local Arrangements:   Andy Martin, IBM Corporation, USA
Panels:               William Joyner, Semiconductor Research Corporation, USA 
Publicity:            Alper Sen, Freescale Semiconductor Inc., USA
Tutorials:            Natasha Sharygina, University of Lugano, Switzerland
Webmasters:           Hari Mony, IBM Corporation, USA
                      Sandip Ray, University of Texas, USA 

Robert Brayton, University of California at Berkeley, USA
Randal Bryant, Carnegie-Mellon University, USA 
Niklas Een, Cadence, USA
Farid Najm, University of Toronto, Canada

Mark Aagaard, University of Waterloo, Canada
Jason Baumgartner, IBM Corporation, USA
Armin Biere, Johannes Kepler University, Austria
Per Bjesse, Synopsys, USA
Dominique Borrione, Grenoble University, France 
Gianpiero Cabodi, Politecnico di Torino, Italy
Alessandro Cimatti, ITC-irst, Trento, Italy
Koen Claessen, Chalmers University of Technology, Sweden
Cindy Eisner, IBM Haifa Research Laboratory, Israel
Steven German, IBM Research Division, USA 
Ganesh Gopalakrishnan, University of Utah, USA
Aarti Gupta, NEC Laboratories America, USA
Alan J. Hu, University of British Columbia, Canada
Warren Hunt, University of Texas, USA
Steven Johnson, Indiana University, USA 
Robert Jones, Intel Corp., USA
Daniel Kroening, ETH Zurich, Switzerland
Andreas Kuehlmann, Cadence Laboratories, USA
Wolfgang Kunz, University of Kaiserslautern, Germany
Jeremy Levitt, Mentor Graphics, USA 
Panagiotis Manolios, Georgia Institute of Technology, USA
Andy Martin, IBM Research Division, USA
Tom Melham, Oxford University, UK
Alan Mishchenko, University of California at Berkeley, USA
Ken McMillan, Cadence Labs, USA 
John O'Leary, Intel Corp., USA
Wolfgang Paul, Saarland University, Germany
Carl Pixley, Synopsys, USA                              
Natasha Sharygina,University of Lugano, Switzerland
Mary Sheeran, Chalmers University of Technology, Sweden 
Anna Slobodova, Intel Corp., USA
Richard Trefler, University of Waterloo, Canada