Series Title: The Mathematics of Bio-Computing
Speaker: Dr. Paolo Dini
Affiliation: London School of Economics and Political Science and University of Hertfordshire, UK
Date: March 26, 2009
Abstract:
Integrative framework, category theory and logic
In this lecture we will become acquainted with a few basic concepts from category theory and their mapping to logic, we will brainstorm about how the different areas of mathematics, physics, biology, logic and computer science covered might fit within the same mathematical framework, and we will begin to imagine what the biologically-inspired software ecosystems of the future will look like.