Process Calculi and Life Science

This short note briefly surveys the renewed connection between computer science and life science. The paradigm shift recently observed in biology implies a new approach to bioinformatics as well. We claim that a shift from algorithms to language theory is the right step to do. In particular, due to the characteristics of biological systems, we argue that process calculi could be the right abstraction to support dynamic bioinformatics and open new scenarios in the computer science and biology research.