[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] new book series

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


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.


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.


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