BIOMICS: Biological and Mathematical Basis of Interaction Computing
BIOMICS is a European Commission FP7 3year STREP project that started on 1 October 2012. It falls under Objective ICT20119.6: FET Proactive: Unconventional Computation (UCOMP)
Objectives
The BIOMICS project was inspired by the observation that cell metabolic/regulatory systems are able to selforganise and/or construct order dynamically, through random interactions between their components and based on a wide range of possible inputs.
We are undertaking research into whether this behaviour can be reproduced in a controllable way through interacting finitestate automata. If so this will lead to a radically new model of "bottomup computation" with equal applicability to computer science and systems biology that we call Interaction Computing (IC).
Role of University of Passau in BIOMICS
 Lead on the design of a specification language which can be used by humans which are not required to have a deep understanding of algebra or category theory. We aim at a highlevel language which mainly defines behavioural properties of a system and abstracts from the mathematical details.
 Lead on the creation of a proofofconcept implementation which can validate the theoretical results, alowing experimental studies in both directions: the application fo our framework to computer science as well as to biological models.
 Analyse existing computer science systems through algebraic automata theory, also known as KrohnRhodes theory.
People involved
Partners
The four project partners in BIOMICS are:
 University of Hertfordshire Higher Education Corporation.
 University of Passau.
 University of Debrecen.
 University of Dundee.
Research assistants
Students
Publications Related to BIOMICS
 C. L. Nehaniv, J. Rhodes, A. EgriNagy, P. Dini, E. R. Morris, G. Horváth, F. Karimi, D. Schreckling and M. J. Schilstra. Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions. In Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, 373 (2046), 2015. doi... bibtex ...
 P. Dini, C. L. Nehaniv, A. EgriNagy, M. J. Schilstra, D. Schreckling, J. Posegga, G. Horvath and A. J. Munro. Biological and Mathematical Basis of Interaction Computing. In International Journal of Unconventional Computing, 8 (4): 283287, 2012. paper... bibtex ...
