Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: ANB'10



ANB 2010
International Conference on
Algebraic and Numeric Biology

July 31 - August 2, 2010
Castle of Hagenberg, Austria

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


AIMS AND SCOPE
==============

Since 2005, we are organizing an international conference
"Algebraic Biology" that focuses on the application of computer
algebra, automated reasoning, hybrid algebraic and numeric
computation, which is also called symbolic computation, to all
types of problems from biology: AB'05, AB'07, and AB'08. These
conferences were quite successful. For the next issue of this
conference, we would like to extend the range of mathematical
methods.

In 2010, we will organize "Algebraic and Numeric Biology"
(ANB'10), which is renamed after our traditional name,
"Algebraic Biology", to consider its wider scope of mathematical
methods, especially numeric computation. ANB'10 will be
held at the RISC Institute, which has a long tradition in
symbolic methods.

The RISC conference facilities include our "RISC Castle", an 800
years old remodeled medieval building with nice restaurant.

ANB'10 is an international forum to promote discussion and
interaction between researchers who apply different
computational approaches to various issues in biology / life
sciences. The conference covers all aspects of applications of
algebraic and numeric approaches in biology, e.g.,

* mathematical modeling
* model identification
* system analysis and design
* system verification
* system synthesis
* simulation
* parameter optimization
* process control and design
* optimization
* etc.

using

* polynomial methods
* group theory
* rewriting
* automated reasoning
* automata theory
* formal language
* combinatorics
* graph theory
* artificial intelligence
* differential algebra
* local analysis
* hybrid symbolic numerical methods
* approximate and numerical methods
* etc.

in various computing paradigms like

* sequential
* parallel
* distributed
* grid computing
* cellular
* genetic
* etc.


SUBMISSION
==========

Authors are invited to submit recent results including
significant work-in-progress, and identify and explore new
directions of research that have not been submitted for
publication elsewhere. Submissions should be at most 15 pages
including references, prepared in LaTeX and formatted according
to the Springer llncs style
(http://www.springer.de/comp/lncs/authors.html). Additional
material intended for the referees but not for publication in
the final version may be placed in a clearly marked appendix
that is not included in the page limit.

Submitted papers will be peer-reviewed, and the accepted papers
will appear in the proceedings before the Conference. We are
currently negotiating with Springer to publish the proceedings
within the Lecture Notes in Computer Science (LNCS) series.

DATES
=====

* April 04, 2010: Deadline for registration of abstracts.
* April 11, 2010: Deadline for submission of full papers.
* May 15, 2010: Notification of acceptance/rejection.
* July 06, 2010: Camera-ready paper submission.
* July 31 - August 2, 2010: Conference.

STEERING COMMITTEE
==================

* 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 PROCEEDING EDITORS
=====================================

* Katsuhisa Horimoto (National Institute of Advanced Industrial
Science and Technology, Japan)
* Masahiko Nakatsui (National Institute of Advanced Industrial Science and Technology, Japan)
* Nikolaj Popov (Johannes Kepler University of Linz, Austria)

PROGRAM COMMITTEE
=================

* Tatsuya Akutsu (Kyoto University, Japan)
* Hirokazu Anai (Kyushu University Japan)
* Niko Beerenwinkel (Swiss Federal Institute of Technology Zurich,
Switzerland)
* Armin Biere (Johannes Kepler University of Linz, Austria)
* Franc,ois Boulier (University Lille I, France)
* Bruno Buchberger (Johannes Kepler University of Linz, Austria)
* Luca Cardelli (Microsoft Research, Cambridge, UK)
* Luonan Chen (Osaka Sangyo University, Japan)
* Wai-Ki Ching (University of Hong Kong, China)
* Kwang-Hyun Cho (Korea Advanced Institute of Science and Technology, Korea)
* Franck Delaplace (Evry University, France)
* Hoon Hong (North Carolina State University, USA)
* Katsuhisa Horimoto (National Institute of Advanced Industrial
Science and Technology, Japan)
* Abdul Salam Jarrah (Virginia Bioinformatics Institute, USA)
* Erich Kaltofen (North Carolina State University, USA)
* Hans Kestler (University of Ulm, Germany)
* Temur Kutsia (Johannes Kepler University of Linz, Austria)
* Doheon Lee (Korea Advanced Institute of Science and Technology, Korea)
* James Lynch (Clarkson University, USA)
* Manfred Minimair (Seton Hall University, USA)
* Masahiko Nakatsui (National Institute of Advanced Industrial Science and Technology, Japan)
* Masahiro Okamoto (Kyushu University Japan)
* Eugenio Omodeo (University of Trieste, Italy)
* Sonja Petrovic (University of Kentucky, USA)
* Nikolaj Popov (Johannes Kepler University of Linz, Austria)
* Georg Regensburger (Johann Radon Institute for Computational and
Applied Mathematics, Austria)
* Carolyn Talcott (SRI International, USA)
* Hiroyuki Toh (Kyushu University, Japan)
* Dongming Wang (Beihang University, China and UPMC-CNRS, France)
* Limsoon Wong (National University of Singapore)
* Ruriko Yoshida (University of Kentucky, USA)

WEB PAGE
========
http://www.risc.uni-linz.ac.at/conferences/anb2010/

В избранное