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


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

AISB Convention 2015

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


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

Notice

AISB event Bulletin Item

Announcement: SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE SCSS 2009

http://www2.score.cs.tsukuba.ac.jp/scssWorkshop/index.html

SCSS 2009
TUNISIA - JAPAN WORKSHOP ON
SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
September 22-24, 2009
Gammarth, Tunisia
http://www2.score.cs.tsukuba.ac.jp/scssWorkshop/index.html

IMPORTANT DATES
===============
Abstract submission: May 29, 2009
Acceptance notification: June 22, 2009
Final versions of full papers: August 30, 2009
Workshop: September 22-24, 2009

SCOPE
=====
Symbolic computation is the science of computing with symbolic objects
(terms, formulae, programs, algebraic objects, geometrical objects, etc).
Powerful symbolic algorithms have been developed during the past decades
like theorem proving techniques, software verification, model checking,
rewriting techniques, network security, Groebner bases, characteristic sets,
etc.

In this workshop, we solicit papers on algorithms and techniques of symbolic
computations and their applications in software science.
The topics of the workshop include:

  * theorem proving methods and techniques
  * algorithm (program) synthesis
  * algorithm (program) verification
  * formal methods for the analysis of network security
  * termination analysis of algorithms (programs)
  * complexity analysis of algorithms (programs)
  * extraction of specifications from algorithms (programs)
  * generation of inductive assertion for algorithm (programs)
  * algorithm (program) transformations
  * component-based programming
  * computational origami
  * query languages (in particular for XML documents)
  * semantic web
  * etc.

SCSS 2009 workshop is the second in the SCSS workshop series.
SCSS 2008 took place at the Research Institute for Symbolic Computation
(RISC), Hagenberg, Austria. The Workshop grew out of internal workshops that
bring together researchers from SCORE (Symbolic Computation Research Group,
University of Tsukuba, Japan), the Theorema Group at RISC (Research
Institute for Symbolic Computation, Johannes Kepler University, Linz -
Hagenberg, Austria), SSFG (Software Science Foundation Group, Kyoto
University, Japan) and Sup'Com (University of November 7th at Carthage,
Tunisia). SCSS is open for the international community and welcomes paper
submissions.

VENUE
=======
The workshop will be held at Ramada Hotel in Gammarth, Tunisia.
Gammarth is 20km north east of Tunis and 10km north of the archeological
site of Carthage. The legendary Phoenician princess Dido founded Carthage
and the city possessed economic, cultural, and military power in the
Mediterranean during Punic and Roman eras.

INVITED SPEAKERS
================
* Henk Barendregt (Radboud University Nijmegen, Netherlands)
* Dongming Wang (University Pierre et Marie Curie - CNRS, France)
* Stephen Watt (University of Western Ontario, Canada)

PROGRAM CO-CHAIRS
=================
* Adel Bouhoula (University of November 7th at Carthage, Tunisia)
* Tetsuo Ida (University of Tsukuba, Japan)

PROGRAM COMMITTEE
=================

* Tudor Jebelean (Johannes Kepler University Linz, Austria)
* Temur Kutsia (Johannes Kepler University Linz, Austria)
* Yasuhiko Minamide (University of Tsukuba, Japan)
* Mohamed Mosbah (University of Bordeaux, France)
* Michael Rusinowitch (INRIA Lorraine, France)
* Masahiko Sato (Kyoto University, Japan)
* Yahya Slimani (University El Manar Tunis, Tunisia)

LOCAL ORGANIZERS
================
* Nizar Ben Neji (University of November 7th at Carthage, Tunisia)
* Fadoua Ghourabi (University of Tsukuba, Japan)
* Sourour Meharouech (University of November 7th at Carthage, Tunisia)

SUBMISSION
===========
Abstracts and papers or extended abstracts should be submitted using
EasyChair: http://www.easychair.org/conferences/?conf=scss2009

Papers or extended abstracts should be prepared in LaTeX, formatted
according to the EasyChair style (style files are available from
http://www.easychair.org/easychair.zip), and should not exceed
16 pages.

PUBLICATION
===========
Accepted papers will be available during the workshop as the proceedings of
SCSS 2009. We plan to have a special issue of the Journal of Symbolic
Computation on SCSS 2009. The final decision for organizing the special
issue will be made after the workshop.  The full version of selected papers
will be considered for the publication of the special issue subjected to the
normal peer review process of the Journal of Symbolic Computation.