AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

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

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

Notice

AISB event Bulletin Item

CFP: Algebraic Biology 2008

http://www.risc.uni-linz.ac.at/conferences/ab2008

  First Call for Papers                      
         Third International Conference on Algebraic Biology       
                                                                  
                        July 31-August 2, 2008                     
                    Castle of Hagenberg, Austria                  
                                                                 
         http://www.risc.uni-linz.ac.at/conferences/ab2008        
   

AIMS AND SCOPE

The Third International Conference on Algebraic Biology, AB'08, is an
international forum to promote discussion and interaction between
researchers who apply symbolic computation (e.g. algebraic, discrete,
logical, hybrid) methods to various issues in biology / life
sciences. The conference covers all aspects of applications of
symbolic computation methods in biology (see CONFERENCE TOPICS).

IMPORTANT DATES

January 7, 2008     Deadline for abstracts
January 14, 2008    Deadline for full papers
March 31, 2008      Notification of acceptance
April 28, 2008      Camera-ready paper submission

CONFERENCE TOPICS

The conference covers all aspects of applications of symbolic
computation methods in biology, e.g.
    * mathematical modeling
    * model identification
    * system analysis and design
    * system verification
    * system synthesis
    * etc.
in
    * molecular sequence analysis
    * molecular structure analysis
    * molecular evolution
    * genomics
    * proteomics
    * gene regulation
    * gene expression
    * gene ontology
    * network inference
    * etc.
using
    * polynomial methods
    * group theory
    * rewriting
    * automated reasoning
    * automata theory
    * formal language methods
    * combinatorics
    * graph theory
    * artificial intelligence
    * hybrid symbolic-numerical methods
    * differential algebra
    * local analysis
    * etc.
in various computing paradigms like
    * sequential
    * parallel
    * distributed
    * grid computing
    * cellular
    * genetic
    * etc.

SUBMISSION

Authors are invited to submit original papers that have not been
submitted for publication elsewhere. Contributions that present recent
results (including significant work-in-progress) and identify and
explore new directions of research are welcome. Submitted papers will
be peer-reviewed, and accepted papers will appear in the proceedings
before the conference (the proceedings of AB'07 have been published in
the Springer LNCS series). See the conference website for details on
the submission format.

INVITED SPEAKERS

Keynote Talks
   Kiyoshi Asai (Computational Biology Research Center, Japan)
   additional speakers to be announced

Life Sciences Tutorials
   Tatsuya Akutsu (Kyoto University, Japan)
   Ken Fukuda (Computational Biology Research Center, Japan)
   Tohru Natsume (Biological Information Research Center, Japan)

Symbolic Computation Tutorials
   Francois Boulier (University Lille I, France)
   Edmund Clarke (Carnegie Mellon University, USA)
   additional speaker to be announced

CONFERENCE CHAIRS

Bruno Buchberger (Johannes Kepler University of Linz, Austria)
Katsuhisa Horimoto (National Institute of Advanced Industrial Science 
   and Technology, Japan)
Reinhard Laubenbacher (Virginia Bioinformatics Institute, USA)
Bud Mishra (New York University, USA)

PROGRAM CHAIRS AND PROCEEDINGS EDITORS

Katsuhisa Horimoto (National Institute of Advanced Industrial Science 
   and Technology, Japan)
Georg Regensburger (Radon Institute for Computational and Applied 
   Mathematics, Austria)
Markus Rosenkranz (Radon Institute for Computational and Applied 
   Mathematics, Austria)
Hiroshi Yoshida (Kyushu University, Japan)

PROGRAM COMMITTEE

Sachiyo Aburatani (National Institute of Advanced Industrial Science 
   and Technology, Japan)
Tatsuya Akutsu (Kyoto University, Japan)
Hirokazu Anai (Fujitsu Laboratories Ltd. Japan)
Niko Beerenwinkel (ETH Zurich, Switzerland)
Armin Biere (Johannes Kepler University of Linz, Austria)
Bruno Buchberger (Johannes Kepler University of Linz, Austria)
Luca Cardelli (Microsoft Research, Cambridge, UK)
Gautam Dasgupta (Columbia University, USA)
Francois Fages (INRIA Rocquencourt, France)
Hoon Hong (North Carolina State University, USA)
Katsuhisa Horimoto (National Institute of Advanced Industrial Science 
   and Technology, Japan)
Abdul Jarrah (Virginia Bioinformatics Institute, USA)
Erich Kaltofen (North Carolina State University, USA)
Veikko Keranen (Rovaniemi University of Applied Sciences, Finland)
Hans A. Kestler (University of Ulm, Germany)
Reinhard Laubenbacher (Virginia Bioinformatics Institute, USA)
Pierre Lescanne (Ecole Normale Superieure of Lyon, France)
James F. Lynch (Clarkson University, USA)
Manfred Minimair (Seton Hall University, USA)
Bud Mishra (New York University, USA)
Georg Regensburger (Radon Institute for Computational and Applied 
   Mathematics, Austria)
Markus Rosenkranz (Radon Institute for Computational and Applied 
   Mathematics, Austria)
Stanly Steinberg (University of New Mexico, USA)
Seth Sullivant (Harvard University, USA)
Carolyn L. Talcott (SRI International, USA)
Francis Thackeray (Transvaal Museum, Northern Flagship Institution, 
   South Africa)
Ashish Tiwari (SRI International, USA)
Hiroyuki Toh (Kyushu University, Japan)
Dongming Wang (Beihang University, China and UPMC-CNRS, France)
Bridget S. Wilson (University of New Mexico, USA)
Limsoon Wong (National University of Singapore)
Kazuhiro Yokoyama (Rikkyo University, Japan)
Hiroshi Yoshida (Kyushu University, Japan)
Ruriko Yoshida (University of Kentucky, USA)

CONFERENCE WEBSITE

http://www.risc.uni-linz.ac.at/conferences/ab2008