Система компьютерной алгебры GAP - Algebraic Biology 2008: EXTENDED DEADLINE
****************************************************************** * EXTENDED DEADLINE: January 21, 2008 * * Third International Conference on Algebraic Biology * *
* * July 31-August 2, 2008 * * RISC, 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 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 21, 2008 Deadline for submission 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 the accepted papers will appear in the proceedings before the Conference. The proceedings will be published in the Springer LNCS series. See the conference website for details on the submission format.
Revised versions of selected papers may later be submitted to Mathematics in Computer Science (MCS), Special Issue on Symbolic Computation in Biology, if they substantially extend the ideas and topics published in the Proceeding
Volume. See http://www.cbrc.jp/~horimoto/MCS_si/ for details.
INVITED SPEAKERS
Keynote Talks Kiyoshi Asai (Computational Biology Research Center, Japan) Charles Cantor (Sequenom, Inc.) David Harel (Weizmann Institute of Science, Israel)
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) Ashish Tiwari (SRI International, USA)
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) Eugenio Omodeo (University of Trieste, Italy) 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)