[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A new book series is going to be announced in a few weeks by a major publisher
under the (tentative) title of
Mathematics, Computing, Language, and the Life: Frontiers in Mathematical
Linguistics and Language Theory
SERIES DESCRIPTION:
Language theory, as originated from Chomsky's seminal work in the fifties last
century and in parallel to Turing-inspired automata theory, was first applied
to natural language syntax within the context of the first unsuccessful
attempts to achieve reliable machine translation prototypes. After this, the
theory proved to be very valuable in the study of programming languages and the
theory of computing.
In the last 15-20 years, language and automata theory has experienced quick
theoretical developments as a consequence of the emergence of new
interdisciplinary domains and also as the result of demands for application to
a number of disciplines, most notably: natural language processing,
computational biology, natural computing, programming, and artificial
intelligence.
The series will collect recent research on either foundational or applied
issues, and is addressed to graduate students as well as to post-docs and
academics.
TOPIC CATEGORIES:
A. Theory: language and automata theory, combinatorics on words, descriptional
and computational complexity, semigroups, graphs and graph transformation,
trees, computability
B. Natural language processing: mathematics of natural language processing,
finite-state technology, languages and logics, parsing, transducers, text
algorithms, web text retrieval
C. Artificial intelligence, cognitive science, and programming: patterns,
pattern matching and pattern recognition, models of concurrent systems, Petri
nets, models of pictures, fuzzy languages, grammatical inference and
algorithmic learning, language-based cryptography, data and image compression,
automata for system analysis and program verification
D. Bio-inspired computing and natural computing: cellular automata, symbolic
neural networks, evolutionary algorithms, genetic algorithms, DNA computing,
molecular computing, biomolecular nanotechnology, circuit theory, quantum
computing, chemical and optical computing, models of artificial life
E. Bioinformatics: mathematical biology, string and combinatorial issues in
computational biology and bioinformatics, mathematical evolutionary genomics,
language processing of biological sequences, digital libraries
The connections of this broad interdisciplinary field with other areas include:
computational linguistics, knowledge engineering, theoretical computer science,
software science, molecular biology, etc.
The first volumes will be miscellaneous and will globally define the scope of
the future series.
INVITATION TO CONTRIBUTE:
Contributions are requested for the first five volumes. In principle, there
will be no limit in length. All contributions will be submitted to strict
peer-review. Collections of papers are also welcome.
Potential contributors should express their interest in being considered for
the volumes by April 25, 2009 to carlos.martinv...@gmail.com
They should specify:
- the tentative title of the contribution,
- the authors and affiliations,
- a 5-10 line abstract,
- the most appropriate topic category (A to E above).
A selection will be done immediately after, with invited authors submitting
their contribution for peer-review by July 25, 2009.
The volumes are expected to appear in the first months of 2010.
