Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


Read More...

AISB Convention 2016

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


Read More...

Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...

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

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

Notice

AISB event Bulletin Item

CFP: INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2009)

http://math.nsc.ru/conference/csr2009/index.shtml

Second Call for Papers

4th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2009)

August 18-23, 2009, Novosibirsk, Russia

http://math.nsc.ru/conference/csr2009/index.shtml

****************************************************************************

CSR 2009 intends to reflect the broad scope of international cooperation in
computer science. It is the 4th conference in a series of regular events
started with CSR 2006 in St.Petersburg (see LNCS 3967), CSR 2007 in
Ekaterinburg (see LNCS 4649), and CSR 2008 in Moscow (see LNCS 5010). As usual,
CSR 2009 consists of two tracks: Theory Track and Applications and Technology
Track.

IMPORTANT DATES:

Deadline for submissions: November 26, 2008
Notification of acceptance: February 3, 2009
Conference dates: August 18-23, 2009

Traditional YANDEX AWARD for the Best paper and the Best student paper is
established!

TOPICS

Theory Track topics include
* algorithms and data structures
* complexity and cryptography
* formal languages and automata
* computational models and concepts
* proof theory and applications of logic to computer science.

Application Track topics include
* abstract interpretation
* model checking
* automated reasoning
* deductive methods
* constraint solving
* functional and declarative languages
* type systems
* software engineering
* development methodologies
for design, development, testing, analysis, and verification of correct
and reliable systems.

OPENING LECTURE:

Andrei Voronkov (University of Manchester).

INVITED SPEAKERS INCLUDE

Nikolai K. Vereshchagin (Moscow State University)
Hongseok Yang (Queen Mary University, London)

Other invited speakers TBA

PROGRAM COMMITTEES

Program committee of Theory Track is:

Farid Ablayev, Kazan State University
Sergei N. Artemov, City University of New York
Lev Beklemishev, Steklov Inst., Moscow
Veronique Bruyere, Universite de Mons-Hainaut
Cristian Calude, University of Auckland
Christian Glasser, Universitaet Wuerzburg
Dima Grigoriev, Institut de Recherche Mathematique de Rennes
Dietrich Kuske, Universitaet Leipzig
Larisa Maksimova, IM, Novosibirsk
Andrei Mantsivoda, Irkutsk State University
Yuri Matiyasevich, Steklov Institute, St.Petersburg
Elvira Mayordomo, Universidad de Zaragoza
Pierre McKenzie, Universite de Montreal
Andrey S. Morozov, IM, Novosibirsk (co-chair)
Jean-Eric Pin, LIAFA, Paris
Kai Salomaa, Queen's University, Kingston, Canada
Victor Selivanov, Novosibirsk Pedagogical University
Ludwig Staiger, Universitaet Halle-Wittenberg
Klaus W. Wagner, Universitaet Wuerzburg (co-chair)

Program committee of Applications and Technology Track is:

Thomas Ball, Microsoft Research
Josh Berdine, Microsoft Research
Bart Demoen, K.U. Leuven
Franjo Ivancic, NEC Laboratories America
Martin Leucker, TU Munich
Rupak Majumdar, University of California, Los Angeles
Greg Morrisett, Harvard University
Arnd Poetzsch-Heffter, University of Kaiserslautern
Andreas Rossberg, MPI-SWS
Andrey Rybalchenko, MPI-SWS (chair)
Alexander Serebrenik, TU Eindhoven
Henny Sipma, Stanford University
Natasha Sharygina, University of Lugano
Helmut Veith, TU Darmstadt
Eran Yahav, IBM Research
Andreas Zeller, Universitaet des Saarlandes

ORGANIZERS:

Sobolev Institute of Mathematics SB RAS.

Conference chair: Anna Frid

SUBMISSIONS:

Authors are invited to submit an extended abstract or a full paper of at most
10 pages in the LNCS format (the instructions on it can be found here:
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0). Proofs and
other material omitted due  to space constraints are to be put into a clearly
marked appendix to be read at discretion of the referees. Papers must present
original (and not previously  published) research. Simultaneous submissions
to journals or to other conferences with published proceedings are not
allowed. The proceedings of the symposium will be published in Springer's
LNCS series.

Selected papers from the Theory track will be published in a special issue of
Theory of Computing Systems.

Submissions should be uploaded at EasyChair Conference system:
http://www.easychair.org/conferences/?conf=csr09 .

FURTHER INFORMATION AND CONTACTS:

Web: http://math.nsc.ru/conference/csr2009/index.shtml
Email: csr2009@math.nsc.ru