Mark Bishop on CITY ...
"During the last decade robots have begun to permeate everyday life (robotic lawn mowers; floor cleaners, autonomous cars etc); equally, closely related technologies are beginning to permeate the military– already US naval sh...
Read More...
ICO Alan Turing Lect...
 To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...
Read More...
AISB Workshop: Senso...
Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness  and Robotics, its development and contemporary state. The first in a seri...
Read More...
Ms Pac-Man vs Ghosts...
This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...
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...
New AISB Website
Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...
Read More...
AISB Website Beta
The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...
Read More...
AISB 2011 Convention
The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.
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...
Alan Turing Year
2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.
Read More...
Notice
AISB event Bulletin Item
CALL FOR PAPERS: Theoretical Aspects of Computer Science, 27 Feb - 2 Mar 2013, Kiel , GERMANY
SCOPE
*****
Authors are invited to submit papers presenting original and unpublished research on theoretical
aspects of computer science. Typical areas include (but are not limited to):
* algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, analysis of algorithms;
* automata and formal languages, games;
* computational complexity, randomness in computation;
* logic in computer science, including: semantics, specification and
verification, rewriting and deduction;
* current challenges, for example: natural computing, quantum
computing, mobile and net computing.
PROGRAM COMMITTEE
*****************
- Eric Allender, Rutgers U.
- Pablo Barceló, U. de Chile
- Frédérique Bassino, U. Paris 13
- Artur Czumaj, U. of Warwick
- Hervé Fournier, U. Paris Diderot
- Edward A. Hirsch, Steklov Institute, St. Petersburg
- Iordanis Kerenidis, U. Paris Diderot
- Michal Koucký, Czech Academy of Sciences
- Dieter Kratsch, U. de Lorraine
- Andrei Krokhin, Durham U.
- Antonín Ku?era, Masaryk U.
- Markus Lohrey, U. of Leipzig
- Katarzyna Paluch, U. of Wroclaw
- Natacha Portier, ENS Lyon, co-chair
- Kirk Pruhs, U. of Pittsburgh
- Peter Rossmanith, RWTH Aachen
- Günter Rote, Freie Universität Berlin
- Thomas Sauerwald, MPI Saarbrücken
- Sandeep Sen, IIT Delhi
- Subhash Suri, UC Santa Barbara
- Jacobo Toran, Ulm U.
- Jouko Väänänen, U. of Helsinki and U. of Amsterdam
- Thomas Wilke, Kiel U., co-chair
- Carsten Witt, Technical U. of Denmark
- Gerhard Woeginger, TU Eindhoven
- Marc Zeitoun, U. Bordeaux 1
INVITED SPEAKERS
****************
- Kousha Etessami, University of Edinburgh
- Kurt Mehlhorn, MPI Saarbrücken and Saarland University
- Stéphan Thomassé, Université Montpellier II
TUTORIAL
********
Dániel Marx, MTA SZTAKI: Algorithmic Graph Structure Theory
SUBMISSIONS
***********
Authors are invited to submit a draft of a full paper with at most 12 pages. The usage of pdflatex
and the LIPIcs style file (see below) are mandatory; no changes to font size, page geometry etc.
are permitted.
The paper should contain a succinct statement of the issues and of their motivation, a summary of
the main results, and a brief explanation of their significance, accessible to non-specialist
readers. Proofs omitted due to space constraints must be put into an appendix to be read by the
program committee members at their discretion.
Simultaneous submission to other conferences with published proceedings is not allowed.
The submission site, which opens on June 1, 2012, is
http://www.easychair.org/conferences/?conf=stacs2013 .
PROCEEDINGS
***********
Accepted papers will be published in the proceedings of the symposium.
As usual, these proceedings will appear in the Leibniz International Proceedings in Informatics
(LIPIcs) series, based at Schloss Dagstuhl.
This guarantees perennial, free and easy electronic access, while the authors retain the rights
over their work.
In addition, the proceedings will also be available as archives in the open access electronic
repository HAL.
With their submission, authors consent to sign a license authorizing the program committee chairs
to organize the electronic publication of their paper, provided the paper is accepted.
Further details are available on www.stacs-conf.org and on the conference website,
http://www.stacs2013.uni-kiel.de .
Each participant of the conference will receive a USB flash drive with an electronic version of
the proceedings. It is also planned to publish selcted papers in a journal.
IMPORTANT DATES
***************
Submission website opens: Jun 1, 2012
Submission deadline: Sep 21, 2012
Notification: Dec 7, 2012
Final version due: Jan 9, 2013
Symposium: Feb 27-Mar 2, 2013
LIPICS STYLE FILES
******************
LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics
tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz
CONTACT INFORMATION
*******************
info@stacs2013.uni-kiel.de (for general information) pc-chairs@stacs2013.uni-kiel.de
(for information regarding paper submission) |



