Abstract
The key challenge to reasoning about signalling networks is obtaining networks that are grounded in experimental findings and support assembly of executable models. The talk will begin with a brief overview of the Pathway Logic representation system, analysis tools, and curated knowledge bases. Challenges to expanding the knowledge bases, assembling executable models from formal knowledge, scaling reasoning to larger models, and to moving from qualitative reasoning to semi-quantitative reasoning and analysis of specific models will be discussed.