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

Notice

AISB event Bulletin Item

CFP: Symposium on Theory of Computing 2011 (STOC 2011)

http://www2.research.att.com/~dsj/stoc11/stoc11.html

Call for Papers

STOC 2011
June 6-8, 2011
San Jose, CA
http://www2.research.att.com/~dsj/stoc11/stoc11.html

Submission Deadline: Thursday, November 4, 2010, 4:59pm EST

The 43rd ACM Symposium on Theory of Computing (STOC 2011), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Jose, California, from Monday June 6 to Wednesday June 8, 2011, as part of the Federated Computing Research Conference (FCRC). Papers presenting new and original research on the theory of computation are sought. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational learning theory, computational game theory, parallel and distributed algorithms, quantum computing, computational geometry, computational applications of logic, algorithmic graph theory and combinatorics, optimization, randomness in computing, approximation algorithms, algorithmic coding theory, algebraic computation, and theoretical aspects of areas such as networks, privacy, information retrieval, computational biology, and databases. Papers that broaden the reach of the theory of computing, or raise important problems that can benefit from theoretical investigation and analysis, are encouraged.

Submission format: Submissions should start with a title page consisting of the title of the paper; each author's name, affiliation, and email address; and an abstract of 1-2 paragraphs summarizing the paper's contributions. This should be followed by an extended abstract of up to 10 pages, which consists of a scholarly exposition of the paper's main ideas, results, and techniques, including motivation and a clear comparison with related work. The extended abstract should be addressed insofar as possible to a broad spectrum of CS Theory researchers. Authors should also substantiate the main mathematical claims of the paper with proofs, some of which may be placed in a clearly marked appendix that will be read at the discretion of the program committee. (Authors may simply attach a copy of the full paper as the appendix.) The body of the extended abstract (excluding title page, bibliography, appendix, and figures) should not exceed 10 single-spaced pages on letter-size (8 1/2 x 11 inch) paper, and should be in single-column format, using at least 1 inch margins, 11-point font, and ample spacing all around. Submissions deviating significantly from these guidelines risk rejection without consideration of their merits.

Submission Instructions: Authors are required to submit their extended abstracts electronically, in PDF (without security restrictions on copying or printing). The submission server will be available by October 4 through the following link: https://secure.iacr.org/websubrev/stoc2011/submit/.

On-line Posting: Authors are encouraged to post full versions of their submissions in a freely accessible on-line repository such as the arXiv, ECCC, or the Cryptology ePrint archive. (Papers that are not written well enough for public dissemination are probably also not ready for submission to STOC.) We expect that authors of accepted papers will make full versions of their papers, with proofs, available by the camera-ready deadline. (This should be done in a manner consistent with the ACM Copyright Policy.)

Prior and Simultaneous Submissions: The conference will follow SIGACT's policy on prior publication and simultaneous submissions. Abstract material which has been previously published in another conference proceedings or journal, or which is scheduled for publication prior to July 2011, will not be considered for acceptance at STOC 2011. SIGACT policy does not allow simultaneous submissions of the same (or essentially the same) abstract material to another conference with published proceedings. The program committee may interact with program chairs of other (past or future) conferences to find out about closely related submissions.
Dates:

Extended Abstract Submission: Thursday November 4, 2010 (4:59pm EST).
Notification: by email on or before February 3, 2011.
Deadline for accepted papers: A camera-ready copy of each accepted paper is required by March 24, 2011.
Welcome Reception: Sunday June 5, 2011.
Conference: Monday June 6 - Wednesday June 8, 2011.
Full FCRC: Saturday June 4 - Saturday June 11, 2011.

Presentation of Accepted Papers: One author of each accepted paper will be expected to present the work at the conference.

Best Paper Award: The program committee may designate up to three papers accepted to the conference as STOC Best Papers. Every submission is automatically eligible for this award. Rules for the award can be found at http://www.sigact.org/Prizes/bestpaper.

Danny Lewin Best Student Paper Award: A prize of 0 will be given to the author(s) of the best student-authored paper (or split between more than one paper if there is a tie). A paper is eligible if all of its authors are full-time students at the time of submission. To inform the program committee about a paper's eligibility, check the appropriate box in the web form on the submission server. The list of past winners can be found at http://www.sigact.org/Prizes/student/.
Program Committee:

Ittai Abraham (Microsoft Research SVC)
Alexandr Andoni (Microsoft Research SVC)
Avrim Blum (CMU)
Allan Borodin (Toronto)
Kousha Etessami (Edinburgh)
Lisa Fleischer (Dartmouth)
Venkatesan Guruswami (CMU)
David Kempe (USC)
Frederic Magniez (CNRS, Paris-Sud)
Dieter van Melkebeek (Wisconsin)
Daniele Micciancio (UCSD)
Moni Naor (Weizmann)
Kobbi Nissim (Microsoft AI & Ben-Gurion)
Seth Pettie (Michigan)
Ronitt Rubinfeld (Tel Aviv & MIT)
Amir Shpilka (Technion & MSR NE)
Ravi Sundaram (Northeastern)
Eva Tardos (Cornell & MSR NE)
Prasad Tetali (Georgia Tech)
Salil Vadhan (Harvard, chair)
Kasturi Varadarajan (Iowa)
Nisheeth Vishnoi (Microsoft Research India)
John Watrous (Waterloo)
Ryan Williams (IBM Almaden)

Local Arrangements Chairs: David Johnson (AT&T Labs-Research) and Chris Umans (Caltech).
Conference website: http://www.research.att.com/~dsj/stoc11/stoc11.html
FCRC website: http://www.acm.org/fcrc/

SIGACT has limited funds to support travel for students, and researchers from developing countries who don't have other means of support. Details will be posted on the STOC website.

Registered conference attendees will be provided with internet access to the Proceedings on a password-protected site that will be available from about two weeks before the
conference until the end of the conference. Authors can opt out of this online distribution by contacting the program committee chair by the camera-ready deadline (March 24).