Title: Infobiotics for systems and synthetic biology, an introduction Abstract: The leveraging of todays unprecedented capability to manipulate biological systems by state-of-the-art computational, mathematical and engineering techniques, may profoundly affect the way we approach the solution to pressing grand challenges such as the development of sustainable green energy, next generation healthcare, etc. The conceptual cornerstone of Synthetic Biology a field very much on its infancy- is that methodologies commonly used to design and construct non-biological artefacts (e.g. computer programs,airplanes, bridges, etc) might also be mastered to create designer living entities. Computational methods for modeling in Synthetic Biology consist of a list of instructions detailing an algorithm that can be executed and whose computation resembles the behavior of the biological system under study. This computational approach to modeling biological systems has been termed executable biology. In this talk I will describe current approaches for the automated generation and testing of executable biology models for synthetic biology. In particular I will briefly overview a modeling technique known as stochastic P systems and exemplify its use for modeling a biological system. I will also show how this executable biology formalism could be integrated with a dissipative particle dynamics simulation. Time permitting I will describe our attempts at the automated synthesis and verification of executable biology models. --------------------- Bio: Natalio Krasnogor is an Associate Professor in the School of Computer Science at the University of Nottingham. He is a member of the Automated Scheduling, Optimisation and Planning Research Group (ASAP) and also leads the Interdisciplinary Optimisation Laboratory (IOL). Krasnogor's research activities lie at the interface of Computer Science and the Natural Sciences, e.g. Biology, Physics, Chemistry. In particular, he develops innovative and competitive search methodologies and intelligent decision support systems for transdisciplinary optimisation, modelling of complex systems and very-large datasets processing. He has applied his expertise to Bioinformatics, Systems Biology, Synthetic Biology, Nanoscience and Chemistry. He is member of the editorial boards for the journal Modelling and Simulation in Engineering and the journal Artificial Evolution and Applications. He is associate editor of the Evolutionary Computation journal and founding technical editor-in-chief of the new journal Memetic Computing. Krasnogor has acted as grant reviewer for the EPSRC (UK), BBSRC(UK), European Science Foundation, European Union, The Israel Science Foundation, DOE Computational Biology Programme (USA), CNRS (France), etc.He co-chairs the 2nd European Conference on Synthetic Biology (ECSB II). More details are available at www.cs.nott.ac.uk/~nxk