AISB Convention 2015

Call for Symposium Proposals: 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 2015 Con...


Read More...

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

Notice

AISB event Bulletin Item

CFP: Source Code Analysis and Manipulation SCAM 2007

http://www2007.ieee-scam.org/

Call for Papers and Tool Demo Proposals - SCAM 2007

7th IEEE International Working Conference on
Source Code Analysis and Manipulation

September 30 - October 1, 2007
Maison Internationale, Paris, France
Co-located with ICSM 2007

http://www2007.ieee-scam.org/
-------------------------------------------------------


----------------
Conference aims:
----------------

The aim of this working conference is to bring together researchers and
practitioners working on theory, techniques and applications which
concern analysis and/or manipulation of the source code of computer
systems. While much attention in the wider software engineering
community is properly directed towards other aspects of systems
development and evolution, such as specification, design and
requirements engineering, it is the source code that contains the only
precise description of the behaviour of the system. The analysis and
manipulation of source code thus remains a pressing concern.

---------------------------------
Covered topics and paper formats:
---------------------------------

We welcome submission of papers that describe original and significant
work in the field of source code analysis and manipulation. Topics of
interest include, but are not limited to:

       * program transformation
       * abstract interpretation
       * program slicing
       * source level software metrics
       * decompilation
       * source level testing and verification
       * source level optimization
       * program comprehension

Submitted papers should not be longer than 10 pages. We also welcome
submission of 2 page proposals for tool demonstrations expected to be
performed live at the conference. All papers submitted should follow
IEEE Computer Society Press Proceedings Author Guidelines. The papers
should be submitted electronically via the conference web site.

------------
Proceedings:
------------

All accepted papers will appear in the proceedings which will be
published by the IEEE Computer Society Press. Best papers from SCAM 2007
will be considered for revision, extension, and publication in a special
issue of The Journal of Automated Software Engineering.

----------------
Important Dates:
----------------

Deadline for submission:
     Abstract due: April 23, 2007
     Full paper due: April 30, 2007
Notification: June 11, 2007
Camera Ready Due: July 9, 2007
Conference: 30th September-1st October 2007