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

CALL FOR PAPERS: Foundations of Software Technology and Theoretical Computer Science, December 12-14, 2011, INDIA

www.fsttcs.org
Contact:

(FSTTCS 2011) - IIT Bombay, Mumbai

The Indian Association for Research in Computing
  Science, announces the 31st  Annual FSTTCS Conference
  in IIT Bombay, Mumbai.  The FSTTCS conference is a forum
  for presenting original results in foundational aspects
  of Computer Science and Software Technology.

  Invited speakers at the 31st FSTTCS include
  * Susanne Albers (Humboldt-Universitat zu Berlin, Germany),
  * Phokion G. Kolaitis (Univ. of California, Santa Cruz, USA),
  * John C. Mitchell (Stanford University, USA),
  * Madhu Sudan (MSR New England and MIT, USA),
  * Moshe Y. Vardi (Rice University, USA), and
  * Umesh V. Vazirani (Univ. of California, Berkeley, USA)

  Authors are invited to submit papers presenting original
  unpublished research in any area of Theoretical Computer
  Science or Foundational aspects of Software Technology.
  Submissions will be electronic, via EasyChair (please see
  www.easychair.org/conferences/?conf=fsttcs2011).
  Submissions are restricted to 12 pages using the FSTTCS
  style file (please see www.fsttcs.org/fsttcs.cls). Proofs
  omitted due to space constraints must be put into an
  appendix to be read by reviewers at their discretion.
  Concurrent submissions to other conferences/journals/symposia
  are not allowed until accept/reject notification (or until
  submission of the final version, if accepted).  For further
  details about submissions, please visit www.fsttcs.org

  Representative areas include, but are not limited to:
  * Algorithms, including randomized and approximation
   algorithms, distributed algorithms, geometry, online and
   streaming algorithms, fixed-parameter algorithms
  * Automata and Formal Languages
  * Combinatorial Optimization
  * Computational Complexity, including circuits,
   communication, derandomization, PCPs, proof complexity,
   structural complexity
  * Concurrent, timed and hybrid systems
  * Cryptography and security
  * Logic in Computer Science, including finite model theory,
   modal and temporal logics, specification and verification
  * Programming languages, including semantics, types,
   program analysis and correctness

  Accepted papers will be published as the proceedings of the
  conference in the Leibniz International Proceedings in
  Informatics (LIPIcs) series as a free, open, electronic archive
  with access to all. For an accepted paper to be included in
  the proceedings, at least one of the authors must commit to
  presenting the paper at the conference. It is likely that there
  will be a couple of workshops preceding FSTTCS on
  some contemporary areas of research.  Details of workshops will
  be announced on the conference web page (www.fsttcs.org) in
  September 2011.

  IMPORTANT DATES:

  Submission server opens: June 1, 2011
  Submission deadline:     July 6, 2011
  Notification to authors: Sept 5, 2011
  Final version due:       Oct  5, 2011
  Conference:           Dec 12-14, 2011