Title: Bio-Pathway Logic Abstract: The talk will discuss a style of high-level bioinformatics models of cell biology that can be used to study biological pathways. The models are based on a simple logic called rewriting logic which is efficiently implemented and supported by formal analysis tools in the Maude language. These models are very natural, because a biochemical reaction that may have for example a textbook description of the form:
A B -C D
can be simultaneously understood as a rewrite rule, so that cell dynamics is modeled as concurrent rewriting. I will explain how these models are then executable and analyzable. The talk reports on joint work with colleagues at SRI International and focuses on the essential ideas. Towards the end I will describe further developments and future possible generalizations of the model. Biography: Jose Meseguer is Professor of Computer Science at UIUC. His main interests are in Formal Methods and Semantics of Computation. He proposed rewriting logic in 1990 and has led the design of the Maude language. He has published about 200 scientific papers, many of which are highly cited in the literature. | 
