APPLICATIONS OF REWRITING LOGIC IN BIOLOGY ========================================== Carolyn L. Talcott The course will provide a guide to the representation of cellular signaling processes as executable specifications in the rewriting logic language Maude. This is an example of the more general problem of modeling biological processes. We will begin with a brief introduction to rewriting logic and formal executable specification in Maude. This will be followed by an introduction to cellular signaling processes as biologists think about them. Then we will show how this understanding is represented using rewrite rules, and how the resulting models can be analyzed using execution, search and model-checking to answer many interesting questions about the behavior of a cellular signaling system.