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

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: LICS 2011: Logic in Computer Science, Toronto

http://www.informatik.hu-berlin.de/lics/lics11/

 Twenty-Sixth Annual IEEE Symposium on

                   LOGIC IN COMPUTER SCIENCE (LICS 2011)

                          June 21--24, 2011, Toronto, Canada

                     http://www.informatik.hu-berlin.de/lics/lics11/

                                    CALL FOR PAPERS


LICS 2011 will be held at the Fields Institute on the campus of the University
of Toronto in Toronto, Ontario, Canada, from June 21st to the 24th, 2011.

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly construed.
We invite submissions on topics that fit under that rubric.
Suggested, but not exclusive, topics of interest for submissions include:
automata theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, description logics,
domain theory, finite model theory, formal aspects of program analysis,
formal methods, higher-order logic, hybrid systems, lambda and combinatory
calculi, linear logic, logical aspects of bioinformatics, logical aspects of
computational complexity, logical aspects of quantum computation,
logical frameworks, logic in artificial intelligence, logics of programs,
logic programming, modal and temporal logics, model checking,
probabilistic systems, process calculi, programming language
semantics, proof theory, reasoning about security, rewriting, type
systems and type theory, and verification.


Tutorial Day:
  At LICS 2011, we will start a series of tutorials on the core areas
  of logic in computer science. Rather than focussing on a specialised
  topic, these tutorials will highlight the basic questions, techniques and
  motivation of a broader area. The tutorials are aimed to be accessible
  to all LICS participants. In 2011, we will have two half-day tutorials on
  Finite Model Theory and Semantics respectively, to be held on June 20.
  The speakers will be
   * Albert Atserias (UPC Barcelona) on Finite Model Theory and
   * Prakash Panangaden (McGill University, Montreal) on Semantics.


Invited Speakers:
  * Naoki Kobayashi, Tohoku University
    http://www.kb.ecei.tohoku.ac.jp/~koba/
  * Andrei Krokhin, University of Durham
    http://www.dur.ac.uk/andrei.krokhin/
  * Toniann Pitassi, University of Toronto
    http://www.cs.toronto.edu/~toni/
  * Ashish Tiwari, SRI
    http://www.csl.sri.com/users/tiwari/


Important Dates:
    * Workshop Proposals Deadline:   16 November 2010
    * Paper Registration Deadline (with short abstracts):   5 January 2011
    * Paper Submission Deadline:   12 January 2011
    * Author Notification:   7 March 2011
    * Final Versions for the Proceedings:   4 April 2011
    * Conference:   21 24 June 2011
   (All deadlines are 11:59pm GMT.)

  Authors are required to submit a paper title and a short abstract of
about 100 words
  before submitting the extended abstract of the paper. All
submissions will be electronic.

  All deadlines are firm; late submissions will not be considered.
  Submission is open at http://www.easychair.org/conferences/?conf=lics2011.


Submission Instructions:
   Every extended abstract  must be submitted in the IEEE Proceedings
   two-column camera-ready format and may be no longer than 10 pages
   including reference with a font size of 10pt.  The LaTeX style files
   are available at
http://www2.informatik.hu-berlin.de/lics/lics11/sub-ins.html.

  The abstract must be in English and provide sufficient detail to allow
  the program committee to assess the merits of the paper.
  It should begin with a succinct statement of the issues,
  a summary of the main results, and a brief explanation of their
  significance and relevance to the conference and to
  computer science, all phrased for the non-specialist.
  Technical development directed to the specialist should follow.
  References and comparisons with related work should be included.
  If necessary, detailed proofs of technical results can be included in a
  clearly-labelled appendix following the 10-page extended abstract.
  This material may be read at the discretion of the program committee.

  Extended abstracts not conforming to the above requirements
  concerning format and length may be rejected without further
  consideration.

  The results must be unpublished and not submitted for publication
  elsewhere, including the proceedings of other symposia or workshops.
  The PC chair should be informed of closely related work submitted to a
  conference or journal in advance of submission.
  All authors of accepted papers will be expected to sign copyright
  release forms.  One author of each accepted paper will be expected to
  present it at the conference.


Short Presentations:
  LICS 2011 will have a session of short (10 minute) presentations.
  This session is intended for descriptions of work in progress, student
  projects, and relevant research being published elsewhere; other brief
  communications may be acceptable.  Submissions for these presentations,
  in the form of short abstracts (1 or 2 pages long), should be entered
  at the LICS 2011 submission site. Dates  will be posted at the LICS website.


Program Chair:
  Martin Grohe, Humboldt Univ., Berlin
  grohe@informatik.hu-berlin.de


Program Committee:
  Eli Ben-Sasson, Technion, Haifa
  Patrick Baillot, CNRS & ENS, Lyon
  Patricia Bouyer-Decitre, ENS, Cachan
  Balder ten Cate, UC Santa Cruz
  Thierry Coquand,  Univ. of Gothenburg
  Victor Dalmau, UPF, Barcelona
  Jose Desharnais, Univ. Laval, Qubec
  Kousha Etessami, Univ. of Edinburgh
  Philippa Gardner, Imperial College, London
  Rob van Glabbeek, NICTA, Sydney
  Guillem Godoy, UPC, Barcelona
  Martin Grohe, HU Berlin
  Martin Hofmann,  LMU Munich
  Vineet Kahlon, NEC Labs, Princeton
  Stephan Kreutzer, Univ. of Oxford
  Dale Miller, INRIA, Saclay
  Leonardo de Moura, Microsoft Research, Redmond
  Luke Ong, Univ. of Oxford
  Benjamin Rossman,  MIT, Cambridge
  Davide Sangiorgi, Univ. of Bologna
  Luc Segoufin, INRIA & ENS, Cachan
  Matt Valeriote, McMaster Univ., Hamilton
  Andrei Voronkov, Univ. of Manchester
  Igor Walukiewicz, Univ. of Bordeaux
  Thomas Wilke, Univ. of Kiel


Kleene Award for Best Student Paper:
  An award in honour of the late S.~C.~Kleene will be given for the
best student
  paper, as judged by the program committee.  Details concerning eligibility
  criteria and procedure for consideration for this award will be
posted at the LICS
  website.  The program committee may decline to make the award or may split
  it among several papers.


Special Issue:
  Full versions of upto 3 accepted papers, to be selected by the
program committee,
  will be invited for submission to the Journal of the ACM. Additional
selected papers
  will be invited to the special issue of the open-access journal
Logical Methods in
  Computer Science.


Affiliated Workshops:
  As in previous years, there will be a number of workshops affiliated
with LICS 2011;
  information  will be posted at the LICS website.


Conference Co-Chairs:
  * Benoit Larose, Champlain Regional College
    larose@mathstat.concordia.ca
  * Matt Valeriote, McMaster Univ., Hamilton
    matt@math.mcmaster.ca


Workshops Co-Chairs:
  * Adriana Compagnoni, Stevens Inst. of Technology, New-Jersey
  * Maribel Fernndez, King's College London


Publicity Co-Chairs:
  * Andrzej Murawski, Univ. of Leicester
  * Stephan Kreutzer, Univ. of Oxford


Treasurer:
  * Martn Escard, Univ. of Birmingham


General Chair:
  * Rajeev Alur
    Univ. of Pennsylvania, Philadelphia
    alur@cis.upenn.edu


Organizing Committee:
Martn Abadi, Rajeev Alur (chair), Paul Beame, Maria Paola Bonacina,
Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martn Escard,
Maribel Fernndez, Lance Fortnow, Jrgen Giesl, Martin Grohe,
Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit
Larose, Johann (Janos) A. Makowsky, Burkard Monien, Andrzej Murawski,
Jens Palsberg, Andrew Pitts, Philip Scott, Matt Valeriote


Advisory Board:
Martn Abadi, Samson Abramsky, Yuri Gurevich, Thomas A. Henzinger,
Claude Kirchner, Phokion Kolaitis, Dexter Kozen, Ursula Martin, John
Mitchell, Luke Ong, Leszek Pacholski, Gordon Plotkin, Andre Scedrov,
Moshe Y. Vardi, Glynn Winskel


Sponsorship:
  The symposium is sponsored by the IEEE Technical Committee on
  Mathematical Foundations of Computing in cooperation with the
  Association for Symbolic Logic, the European Association for
  Theoretical Computer Science, and the Fields Institute.