{"id":322625,"date":"2016-11-16T03:28:05","date_gmt":"2016-11-16T11:28:05","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=322625"},"modified":"2022-08-08T09:53:53","modified_gmt":"2022-08-08T16:53:53","slug":"formal-methods-systems-biology","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/formal-methods-systems-biology\/","title":{"rendered":"Formal Methods in Systems Biology"},"content":{"rendered":"\n\n\n\n\n<p>The purpose of this meeting is to bring researchers together on the application of formal methods to biology. This includes techniques for the specification, development and verification of biological models, as well as the design of tools to execute and analyze biological models.<\/p>\n\n\n\n<p>Topics of interest include (but are not restricted to):<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Application of <em>formal methods<\/em> for the construction and analysis of computational models describing various biological processes<\/li><li><em>Tools<\/em> developed for the design and analysis of biological models<\/li><li>Applications of <em>model-checking<\/em><\/li><li><em>Synthesis<\/em> of biological models<\/li><li>Relating formally different levels of <em>abstraction<\/em><\/li><li>Applications of <em>concurrency<\/em> theory in biology<\/li><li>Biologically-inspired advances in formal methods<\/li><li>Formal analysis applied to data bases<\/li><\/ul>\n\n\n\n<p><strong>Important Dates<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>November 8, 2007:<\/strong> Invitations<\/li><li><strong>February 15, 2008:<\/strong> Paper submission<\/li><li><strong>March 15, 2008:<\/strong> End of review process<\/li><li><strong>March 29, 2008:<\/strong> Final version submission<\/li><li><strong>June 4-5, 2008:<\/strong> Meeting dates<\/li><\/ul>\n\n\n\n\n\n<p>This year all papers are by invitation only.<\/p>\n\n\n\n<p>In addition to the FMSB proceedings volume with Springer Lecture Notes in Bioinformatics (LNBI), Theoretical Computer Science (TCS) will publish a selected set of FMSB contributions in a special issue.<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"153\" height=\"57\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/LNBI.jpg\" alt=\"lnbi\" class=\"wp-image-322673\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/LNBI.jpg 153w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/LNBI-150x57.jpg 150w\" sizes=\"auto, (max-width: 153px) 100vw, 153px\" \/><\/figure>\n\n\n\n<p><\/p>\n\n\n\n\n\n<h2 id=\"wednesday-june-4-2008\">Wednesday June 4, 2008<\/h2>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td><span class=\"people_list\">9:00 am<\/span><\/td><td><span class=\"style6\"><b>Jasmin Fisher <\/b><\/span><\/td><td><span class=\"people_list\">Welcoming Remarks <\/span><\/td><\/tr><tr><td><span class=\"people_list\">9:30 am <\/span><\/td><td><span class=\"people_list\"><strong>David Harel <\/strong><\/span><\/td><td><span class=\"people_list\">Some Comments on Genericity and Linkage in Modelling Biology <\/span><\/td><\/tr><tr><td><span class=\"people_list\">10:30 am <\/span><\/td><td>&nbsp;<\/td><td>Coffee Break<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: Satoru Miyano <\/b><\/span><\/td><\/tr><tr><td><span class=\"people_list\">11:00 am <\/span><\/td><td><span class=\"style6\"><b>Hillel Kugler <\/b><\/span><\/td><td><span class=\"people_list\">\u201cDon\u2019t Care\u201d Modelling Extended <\/span><\/td><\/tr><tr><td><span class=\"people_list\">11:30 am <\/span><\/td><td><span class=\"style6\"><b>Nir Piterman <\/b><\/span><\/td><td><span class=\"people_list\">Bounded Asynchrony for Modelling Biological Systems <\/span><\/td><\/tr><tr><td><span class=\"people_list\">12.00 pm <\/span><\/td><td><span class=\"style6\"><b>Verena Wolf <\/b><\/span><\/td><td><span class=\"people_list\">Computational Probability for Systems Biology <\/span><\/td><\/tr><tr><td><span class=\"people_list\">12:30 pm <\/span><\/td><td>&nbsp;<\/td><td>Lunch<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: Marta Kwiatkowska <\/b><\/span><\/td><\/tr><tr><td><span class=\"people_list\">13:30 pm <\/span><\/td><td><span class=\"style6\"><b>Christopher Langmead <\/b><\/span><\/td><td>Formal Verification Under Parameter Uncertainty<\/td><\/tr><tr><td><span class=\"people_list\">14:15 pm <\/span><\/td><td><span class=\"style6\"><b>Daniel Kroening <\/b><\/span><\/td><td><span class=\"people_list\">Identification of Glass Networks with Periodic Orbits <\/span><\/td><\/tr><tr><td><span class=\"people_list\">15:00 pm <\/span><\/td><td>&nbsp;<\/td><td>Coffee Break<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Amir Pnueli <\/strong><\/td><\/tr><tr><td><span class=\"people_list\">15:30 pm <\/span><\/td><td><span class=\"style6\"><b>Satoru Miyano <\/b><\/span><\/td><td><span class=\"people_list\">Cell System Markup Language and Cell Illustrator for Systems Biology Computational Platform <\/span><\/td><\/tr><tr><td><span class=\"people_list\">16:15 pm <\/span><\/td><td><span class=\"style6\"><b>Wan Fokkink <\/b><\/span><\/td><td><span class=\"people_list\">Design Issues for Qualitiative Modelling of Biological Cells with Petri Nets <\/span><\/td><\/tr><tr><td><span class=\"people_list\">18:30 pm <\/span><\/td><td>&nbsp;<\/td><td>Punting<\/td><\/tr><tr><td><span class=\"people_list\">19:30 pm <\/span><\/td><td>&nbsp;<\/td><td>Dinner<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<h2 id=\"thursday-june-5-2008\">Thursday June 5, 2008<\/h2>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Stephen Emmott <\/strong><\/td><\/tr><tr><td><span class=\"people_list\">9:00 am<\/span><\/td><td><span class=\"style6\"><b>Sydney Brenner <\/b><\/span><\/td><td><span class=\"people_list\">Keynote Presentation: What is Systems Biology? <\/span><\/td><\/tr><tr><td><span class=\"people_list\">10:00 am <\/span><\/td><td>&nbsp;<\/td><td>Coffee Break<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>David Harel<\/strong><\/td><\/tr><tr><td><span class=\"people_list\">10:30 am <\/span><\/td><td><span class=\"style6\"><b>Luca Cardelli <\/b><\/span><\/td><td>Molecules as Automata<\/td><\/tr><tr><td><span class=\"people_list\">11:15 am <\/span><\/td><td><span class=\"style6\"><b>Andrew Phillips <\/b><\/span><\/td><td><span class=\"people_list\">Improving Modularity of Biological Processes in Stochastic Pi Calculus <\/span><\/td><\/tr><tr><td><span class=\"people_list\">11:45 am <\/span><\/td><td><span class=\"style6\"><b>Marta Kwiatkowska <\/b><\/span><\/td><td><span class=\"people_list\">Combining Intra- and Inter-Cellular Dynamics to Investigate Intestinal Homeostasis <\/span><\/td><\/tr><tr><td><span class=\"people_list\">12:30 pm <\/span><\/td><td>&nbsp;<\/td><td>Lunch<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Adelinde Uhrmacher<\/strong><\/td><\/tr><tr><td><span class=\"people_list\">13:45 pm <\/span><\/td><td><span class=\"style6\"><b>Oded Maler <\/b><\/span><\/td><td><span class=\"people_list\">Approximating Continuous Systems by Timed Automata <\/span><\/td><\/tr><tr><td><span class=\"people_list\">14:30 pm <\/span><\/td><td><span class=\"style6\"><b>Francois Fages <\/b><\/span><\/td><td><span class=\"people_list\">From Reaction Models to Influence Graphs and Back: Theorem <\/span><\/td><\/tr><tr><td><span class=\"people_list\">15:15 pm <\/span><\/td><td>&nbsp;<\/td><td>Coffee Break<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Luca Cardelli<\/strong><\/td><\/tr><tr><td><span class=\"people_list\">15:30 pm <\/span><\/td><td><span class=\"style6\"><b>Russell Harmer <\/b><\/span><\/td><td><span class=\"people_list\">Rule-Based Modelling of Cellular Signalling <\/span><\/td><\/tr><tr><td><span class=\"people_list\">16:15 pm <\/span><\/td><td><span class=\"style6\"><b>Adelinde Uhrmacher <\/b><\/span><\/td><td><span class=\"people_list\">One Modelling Formalism and Simulator is not enough! A Computational Biology Approach Based on James II <\/span><\/td><\/tr><tr><td><span class=\"people_list\">17:00 pm <\/span><\/td><td>&nbsp;<\/td><td>Closing Remarks<\/td><\/tr><tr><td><span class=\"people_list\">17:30 pm<\/span><\/td><td>&nbsp;<\/td><td>Light Dinner<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n\n\n<ul class=\"wp-block-list\"><li><b>Jasmin Fisher (Chair) <\/b>\u2013 Microsoft Research Cambridge<\/li><li class=\"style3\"><strong>David Harel<\/strong> \u2013 Weizmann Institute of Science<\/li><li class=\"style3\"><strong>Stephen Emmott<\/strong> \u2013 Microsoft Research Cambridge<\/li><li class=\"style3\"><strong>Amir Pnueli<\/strong> \u2013 NYU \/ Weizmann Institute of Science<\/li><li class=\"style3\"><strong>Claire Tomlin<\/strong> \u2013 Stanford \/ Berkeley<\/li><li class=\"style3\"><strong>Luca Cardelli<\/strong> \u2013 Microsoft Research Cambridge<\/li><li class=\"style3\"><strong>Tom Henzinger<\/strong> \u2013 EPFL<\/li><\/ul>\n\n\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/jfisher.jpg\" alt=\"Jasmin Fisher\" class=\"wp-image-322661\"\/><\/figure>\n\n\n\n<p><strong>Group Leader<\/strong><\/p>\n\n\n\n<p>Executable Biology, Computational Biology Division, Microsoft Research Cambridge<\/p>\n\n\n\n<p><a title=\"http:\/\/research.microsoft.com\/~jfisher\/\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/brenner.jpg\" alt=\"brenner\" class=\"wp-image-322649\"\/><\/figure>\n\n\n\n<p><strong>Professor<\/strong><\/p>\n\n\n\n<p>Noble prize winner of physiology and medicine, 2002, Salk Institute<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/www.salk.edu\/faculty\/faculty_details.php?id=7\" href=\"http:\/\/www.salk.edu\/faculty\/faculty_details.php?id=7\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/clangmead.jpg\" alt=\"clangmead\" class=\"wp-image-322643\"\/><\/figure>\n\n\n\n<p><strong>Assistant Professor<\/strong><\/p>\n\n\n\n<p>Computer Science Department, Carnegie Mellon University<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/www.cs.cmu.edu\/~cjl\/\" href=\"http:\/\/www.cs.cmu.edu\/~cjl\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/miyano.jpg\" alt=\"miyano\" class=\"wp-image-322679\"\/><\/figure>\n\n\n\n<p><strong>Professor<\/strong><\/p>\n\n\n\n<p>Institute of Medical Science, Human Genome Centre, Laboratory of DNA information analysis, Tokyo University<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/bonsai.ims.u-tokyo.ac.jp\/people\/miyano\/profile.html\" href=\"http:\/\/bonsai.ims.u-tokyo.ac.jp\/people\/miyano\/profile.html\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/piterman.jpg\" alt=\"piterman\" class=\"wp-image-322688\"\/><\/figure>\n\n\n\n<p><strong>Research Fellow<\/strong><\/p>\n\n\n\n<p>Department of Computing, Imperial College London<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/www.doc.ic.ac.uk\/~npiterma\/\" href=\"http:\/\/www.doc.ic.ac.uk\/~npiterma\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kroning.jpg\" alt=\"kroning\" class=\"wp-image-322667\"\/><\/figure>\n\n\n\n<p><strong>Lecturer<\/strong><\/p>\n\n\n\n<p>Computing Laboratory, Oxford University<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/www.kroening.com\/\" href=\"http:\/\/www.kroening.com\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kwiatkowska.jpg\" alt=\"kwiatkowska\" class=\"wp-image-322664\"\/><\/figure>\n\n\n\n<p><strong>Professor<\/strong><\/p>\n\n\n\n<p>Computing Laboratory, Oxford University<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/marta.kwiatkowska\/ \" href=\"http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/marta.kwiatkowska\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/uhrmacher.jpg\" alt=\"uhrmacher\" class=\"wp-image-322691\"\/><\/figure>\n\n\n\n<p><strong>Professor<\/strong><\/p>\n\n\n\n<p>Institute of Computer Science, Rostock University<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/wwwmosi.informatik.uni-rostock.de\/mosi\/Members\/lin\/\" href=\"http:\/\/wwwmosi.informatik.uni-rostock.de\/mosi\/Members\/lin\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"75\" height=\"75\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/phillips.jpg\" alt=\"phillips\" class=\"wp-image-322685\"\/><\/figure>\n\n\n\n<p><strong>Group Leader<\/strong><\/p>\n\n\n\n<p>Programming Languages for Biology, Computational Biology Division, Microsoft Research Cambridge<\/p>\n\n\n\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aphillip\/\">visit website<\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/harmer.jpg\" alt=\"harmer\" class=\"wp-image-322676\"\/><\/figure>\n\n\n\n<p><strong>Professor<\/strong><\/p>\n\n\n\n<p>CNRS, Universite Paris-Diderot<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/www.pps.jussieu.fr\/~russ\/\" href=\"http:\/\/www.pps.jussieu.fr\/~russ\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fages.jpg\" alt=\"fages\" class=\"wp-image-322658\"\/><\/figure>\n\n\n\n<p><strong>Senior Research Scientist<\/strong><\/p>\n\n\n\n<p>INRIA<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/contraintes.inria.fr\/~fages\/\" href=\"http:\/\/contraintes.inria.fr\/~fages\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fokkink.jpg\" alt=\"fokkink\" class=\"wp-image-322652\"\/><\/figure>\n\n\n\n<p><strong>Professor<\/strong><\/p>\n\n\n\n<p>Department of Computer Science, Amsterdam University<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/www.cs.vu.nl\/~wanf\/\" href=\"http:\/\/www.cs.vu.nl\/~wanf\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kugler.jpg\" alt=\"kugler\" class=\"wp-image-322670\"\/><\/figure>\n\n\n\n<p><strong>Group Leader<\/strong><\/p>\n\n\n\n<p>Systems Biology, Computational Biology Division, Microsoft Research Cambridge<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/research.microsoft.com\/~hkugler\/\" href=\"http:\/\/research.microsoft.com\/~hkugler\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/harel.jpg\" alt=\"harel\" class=\"wp-image-322655\"\/><\/figure>\n\n\n\n<p><strong>Professor<\/strong><\/p>\n\n\n\n<p>Computer Science Department, Weizmann Institute of Science<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/www.wisdom.weizmann.ac.il\/~harel\/\" href=\"http:\/\/www.wisdom.weizmann.ac.il\/~harel\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/cardelli.jpg\" alt=\"cardelli\" class=\"wp-image-322646\"\/><\/figure>\n\n\n\n<p><strong>Principle Director<\/strong><\/p>\n\n\n\n<p>Programming Languages Group, Microsoft Research Cambridge<\/p>\n\n\n\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/luca\/\">visit website<\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft\"><img loading=\"lazy\" decoding=\"async\" width=\"73\" height=\"73\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/wolf.jpg\" alt=\"wolf\" class=\"wp-image-322694\"\/><\/figure>\n\n\n\n<p><strong>Post-doc<\/strong><\/p>\n\n\n\n<p>School of Computer and Communication Sciences, EPFL Switzerland<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/people.epfl.ch\/verena.wolf\" href=\"http:\/\/people.epfl.ch\/verena.wolf\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image alignleft size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"75\" height=\"75\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2022\/08\/oded-maler.jpg\" alt=\"Oded Maler\" class=\"wp-image-867957\"\/><\/figure>\n\n\n\n<p><strong>Research Director<\/strong><\/p>\n\n\n\n<p>CNRS Verimag<\/p>\n\n\n\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"http:\/\/www-verimag.imag.fr\/~maler\/\" href=\"http:\/\/www-verimag.imag.fr\/~maler\/\" target=\"_blank\" rel=\"noopener noreferrer\">visit website<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n\n\n\n\n<ul class=\"wp-block-list\"><li><span class=\"style2\"><strong>Jasmin Fisher <\/strong>\u2013 Microsoft Research Cambridge <\/span><\/li><li><strong>Sydney Brenner<\/strong> \u2013 Salk Institute<\/li><li><strong>Robin Milner<\/strong> \u2013 Cambridge University<\/li><li><strong>Christopher Langmead <\/strong>\u2013 Carnegie Mellon University<\/li><li><strong>Satoru Miyano<\/strong> \u2013 Tokyo University<\/li><li><strong>Nir Piterman<\/strong> \u2013 Imperial College London<\/li><li><strong>Daniel Kroening<\/strong> \u2013 Oxford University<\/li><li><strong>Marta Kwiatkowska<\/strong> \u2013 Oxford University<\/li><li><strong>Adelinde Uhrmacher<\/strong> \u2013 Rostock University<\/li><li><strong>Andrew Phillips<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>Russell Harmer<\/strong> \u2013 CNRS Universite Paris-Diderot<\/li><li><strong>Fran\u00e7ois Fages<\/strong> \u2013 INRIA Paris<\/li><li><strong>Wan Fokkink<\/strong> \u2013 Amsterdam University<\/li><li><strong>Hillel Kugler<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>David Harel<\/strong> \u2013 Weizmann Institute of Science<\/li><li><strong>Luca Cardelli <\/strong>\u2013 Microsoft Research Cambridge<\/li><li><strong class=\"style2\">Stephen Emmott <\/strong>\u2013 Microsoft Research Cambridge<\/li><li><strong class=\"style2\">Amir Pnueli<\/strong> \u2013 NYU \/ Weizmann Institute of Science<\/li><li><strong class=\"style2\">Tom Henzinger<\/strong> \u2013 EPFL<\/li><li><strong class=\"style2\">Byron Cook<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong class=\"style2\">Josh Berdine<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong class=\"style2\">John Heath<\/strong> \u2013 Birmingham University<\/li><li><strong class=\"style2\">Michael Huth<\/strong> \u2013 Imperial College London<\/li><li><strong class=\"style2\">Andreas Podelski<\/strong> \u2013 Freiburg University<\/li><li><strong class=\"style2\">Steve McKeever<\/strong> \u2013 Oxford University<\/li><li><strong>Verena Wolf<\/strong> \u2013 EPFL<\/li><li><strong>Luke Church<\/strong> \u2013 Cambridge University<\/li><li><strong>Garth Ilsley<\/strong> \u2013 EBI<\/li><li><strong>Antje Beyer <\/strong>\u2013 Cambridge University<\/li><li><strong>Oksana Tymchyshyn<\/strong> \u2013 Birmingham University<\/li><li><strong>Oded Maler<\/strong> \u2013 CNRS \u2013 Verimag<\/li><li><strong>Yaki Setty<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>Mike Gordon<\/strong> \u2013 Cambridge University<\/li><li><strong>Satnam Singh<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>Ralf Herbrich<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>Vincent Schachter<\/strong> \u2013 CEA France<\/li><\/ul>\n\n\n\n\n\n<p>Travel to and from Cambridge is very straightforward with direct trains, buses and easily accessible roads.<\/p>\n\n\n\n<p>The FMSB Meeting will take place at the Microsoft Research Cambridge Lab, a shuttle will be provided to and from the Lab on a daily basis. It will be scheduled to pick up from the Hotel Felix and Hotel du Vin.<\/p>\n\n\n\n<p><strong>Collections from The Felix Hotel on 4th & 5th June 2008<\/strong><\/p>\n\n\n\n<p><strong>Day 1<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>8.15am depart from hotel for Microsoft Research Cambridge Lab<\/li><li>5.15pm depart from Microsoft Research for The Felix Hotel<\/li><li>6.10pm depart from The Felix Hotel for St John\u2019s college<\/li><li>10.30pm depart from St John\u2019s College for The Felix Hotel<\/li><\/ul>\n\n\n\n<p><strong>Day 2<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>8.20am depart from The Felix Hotel for Microsoft Research Cambridge Lab.<\/li><\/ul>\n\n\n\n<p><strong>Collections from The Hotel du Vin on 4th & 5th June 2008<\/strong><\/p>\n\n\n\n<p><strong>Day 1<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>8.15am depart from hotel for Microsoft Research Cambridge Lab<\/li><li>5.15pm depart from Microsoft Research for The Hotel du Vin<\/li><li>6.10pm depart from The Hotel du Vin for St John\u2019s college<\/li><li>10.30pm depart for The Hotel du Vin<\/li><\/ul>\n\n\n\n<p><strong>Day 2<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>8.20am depart from The Hotel du Vin for Microsoft Research Cambridge Lab<\/li><\/ul>\n\n\n","protected":false},"excerpt":{"rendered":"<p>Formal Methods in Systems Biology, June 4-5 2008 <\/p>\n","protected":false},"featured_media":322706,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2008-06-04","msr_enddate":"2008-06-05","msr_location":"Microsoft Research Cambridge UK","msr_expirationdate":"2016-11-16","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":true,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[13553],"msr-region":[239178],"msr-event-type":[197944],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-322625","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-medical-health-genomics","msr-region-europe","msr-event-type-hosted-by-microsoft","msr-locale-en_us"],"msr_about":"<!-- wp:msr\/event-details {\"title\":\"Formal Methods in Systems Biology\",\"image\":{\"id\":322706,\"url\":\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fmsb-header.jpg\",\"alt\":\"\"}} \/-->\n\n<!-- wp:msr\/content-tabs -->\n<!-- wp:msr\/content-tab {\"title\":\"Scope\"} -->\n<!-- wp:paragraph -->\n<p>The purpose of this meeting is to bring researchers together on the application of formal methods to biology. This includes techniques for the specification, development and verification of biological models, as well as the design of tools to execute and analyze biological models.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Topics of interest include (but are not restricted to):<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><li>Application of <em>formal methods<\/em> for the construction and analysis of computational models describing various biological processes<\/li><li><em>Tools<\/em> developed for the design and analysis of biological models<\/li><li>Applications of <em>model-checking<\/em><\/li><li><em>Synthesis<\/em> of biological models<\/li><li>Relating formally different levels of <em>abstraction<\/em><\/li><li>Applications of <em>concurrency<\/em> theory in biology<\/li><li>Biologically-inspired advances in formal methods<\/li><li>Formal analysis applied to data bases<\/li><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:paragraph -->\n<p><strong>Important Dates<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><li><strong>November 8, 2007:<\/strong> Invitations<\/li><li><strong>February 15, 2008:<\/strong> Paper submission<\/li><li><strong>March 15, 2008:<\/strong> End of review process<\/li><li><strong>March 29, 2008:<\/strong> Final version submission<\/li><li><strong>June 4-5, 2008:<\/strong> Meeting dates<\/li><\/ul>\n<!-- \/wp:list -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Call for Papers\"} -->\n<!-- wp:paragraph -->\n<p>This year all papers are by invitation only.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>In addition to the FMSB proceedings volume with Springer Lecture Notes in Bioinformatics (LNBI), Theoretical Computer Science (TCS) will publish a selected set of FMSB contributions in a special issue.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:image {\"id\":322673} -->\n<figure class=\"wp-block-image\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/LNBI.jpg\" alt=\"lnbi\" class=\"wp-image-322673\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Schedule\"} -->\n<!-- wp:heading -->\n<h2>Wednesday June 4, 2008<\/h2>\n<!-- \/wp:heading -->\n\n<!-- wp:table -->\n<figure class=\"wp-block-table\"><table><tbody><tr><td><span class=\"people_list\">9:00 am<\/span><\/td><td><span class=\"style6\"><b>Jasmin Fisher <\/b><\/span><\/td><td><span class=\"people_list\">Welcoming Remarks <\/span><\/td><\/tr><tr><td><span class=\"people_list\">9:30 am <\/span><\/td><td><span class=\"people_list\"><strong>David Harel <\/strong><\/span><\/td><td><span class=\"people_list\">Some Comments on Genericity and Linkage in Modelling Biology <\/span><\/td><\/tr><tr><td><span class=\"people_list\">10:30 am <\/span><\/td><td>&nbsp;<\/td><td>Coffee Break<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: Satoru Miyano <\/b><\/span><\/td><\/tr><tr><td><span class=\"people_list\">11:00 am <\/span><\/td><td><span class=\"style6\"><b>Hillel Kugler <\/b><\/span><\/td><td><span class=\"people_list\">\u201cDon\u2019t Care\u201d Modelling Extended <\/span><\/td><\/tr><tr><td><span class=\"people_list\">11:30 am <\/span><\/td><td><span class=\"style6\"><b>Nir Piterman <\/b><\/span><\/td><td><span class=\"people_list\">Bounded Asynchrony for Modelling Biological Systems <\/span><\/td><\/tr><tr><td><span class=\"people_list\">12.00 pm <\/span><\/td><td><span class=\"style6\"><b>Verena Wolf <\/b><\/span><\/td><td><span class=\"people_list\">Computational Probability for Systems Biology <\/span><\/td><\/tr><tr><td><span class=\"people_list\">12:30 pm <\/span><\/td><td>&nbsp;<\/td><td>Lunch<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: Marta Kwiatkowska <\/b><\/span><\/td><\/tr><tr><td><span class=\"people_list\">13:30 pm <\/span><\/td><td><span class=\"style6\"><b>Christopher Langmead <\/b><\/span><\/td><td>Formal Verification Under Parameter Uncertainty<\/td><\/tr><tr><td><span class=\"people_list\">14:15 pm <\/span><\/td><td><span class=\"style6\"><b>Daniel Kroening <\/b><\/span><\/td><td><span class=\"people_list\">Identification of Glass Networks with Periodic Orbits <\/span><\/td><\/tr><tr><td><span class=\"people_list\">15:00 pm <\/span><\/td><td>&nbsp;<\/td><td>Coffee Break<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Amir Pnueli <\/strong><\/td><\/tr><tr><td><span class=\"people_list\">15:30 pm <\/span><\/td><td><span class=\"style6\"><b>Satoru Miyano <\/b><\/span><\/td><td><span class=\"people_list\">Cell System Markup Language and Cell Illustrator for Systems Biology Computational Platform <\/span><\/td><\/tr><tr><td><span class=\"people_list\">16:15 pm <\/span><\/td><td><span class=\"style6\"><b>Wan Fokkink <\/b><\/span><\/td><td><span class=\"people_list\">Design Issues for Qualitiative Modelling of Biological Cells with Petri Nets <\/span><\/td><\/tr><tr><td><span class=\"people_list\">18:30 pm <\/span><\/td><td>&nbsp;<\/td><td>Punting<\/td><\/tr><tr><td><span class=\"people_list\">19:30 pm <\/span><\/td><td>&nbsp;<\/td><td>Dinner<\/td><\/tr><\/tbody><\/table><\/figure>\n<!-- \/wp:table -->\n\n<!-- wp:heading -->\n<h2>Thursday June 5, 2008<\/h2>\n<!-- \/wp:heading -->\n\n<!-- wp:table -->\n<figure class=\"wp-block-table\"><table><tbody><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Stephen Emmott <\/strong><\/td><\/tr><tr><td><span class=\"people_list\">9:00 am<\/span><\/td><td><span class=\"style6\"><b>Sydney Brenner <\/b><\/span><\/td><td><span class=\"people_list\">Keynote Presentation: What is Systems Biology? <\/span><\/td><\/tr><tr><td><span class=\"people_list\">10:00 am <\/span><\/td><td>&nbsp;<\/td><td>Coffee Break<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>David Harel<\/strong><\/td><\/tr><tr><td><span class=\"people_list\">10:30 am <\/span><\/td><td><span class=\"style6\"><b>Luca Cardelli <\/b><\/span><\/td><td>Molecules as Automata<\/td><\/tr><tr><td><span class=\"people_list\">11:15 am <\/span><\/td><td><span class=\"style6\"><b>Andrew Phillips <\/b><\/span><\/td><td><span class=\"people_list\">Improving Modularity of Biological Processes in Stochastic Pi Calculus <\/span><\/td><\/tr><tr><td><span class=\"people_list\">11:45 am <\/span><\/td><td><span class=\"style6\"><b>Marta Kwiatkowska <\/b><\/span><\/td><td><span class=\"people_list\">Combining Intra- and Inter-Cellular Dynamics to Investigate Intestinal Homeostasis <\/span><\/td><\/tr><tr><td><span class=\"people_list\">12:30 pm <\/span><\/td><td>&nbsp;<\/td><td>Lunch<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Adelinde Uhrmacher<\/strong><\/td><\/tr><tr><td><span class=\"people_list\">13:45 pm <\/span><\/td><td><span class=\"style6\"><b>Oded Maler <\/b><\/span><\/td><td><span class=\"people_list\">Approximating Continuous Systems by Timed Automata <\/span><\/td><\/tr><tr><td><span class=\"people_list\">14:30 pm <\/span><\/td><td><span class=\"style6\"><b>Francois Fages <\/b><\/span><\/td><td><span class=\"people_list\">From Reaction Models to Influence Graphs and Back: Theorem <\/span><\/td><\/tr><tr><td><span class=\"people_list\">15:15 pm <\/span><\/td><td>&nbsp;<\/td><td>Coffee Break<\/td><\/tr><tr><td><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Luca Cardelli<\/strong><\/td><\/tr><tr><td><span class=\"people_list\">15:30 pm <\/span><\/td><td><span class=\"style6\"><b>Russell Harmer <\/b><\/span><\/td><td><span class=\"people_list\">Rule-Based Modelling of Cellular Signalling <\/span><\/td><\/tr><tr><td><span class=\"people_list\">16:15 pm <\/span><\/td><td><span class=\"style6\"><b>Adelinde Uhrmacher <\/b><\/span><\/td><td><span class=\"people_list\">One Modelling Formalism and Simulator is not enough! A Computational Biology Approach Based on James II <\/span><\/td><\/tr><tr><td><span class=\"people_list\">17:00 pm <\/span><\/td><td>&nbsp;<\/td><td>Closing Remarks<\/td><\/tr><tr><td><span class=\"people_list\">17:30 pm<\/span><\/td><td>&nbsp;<\/td><td>Light Dinner<\/td><\/tr><\/tbody><\/table><\/figure>\n<!-- \/wp:table -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Steering Committee\"} -->\n<!-- wp:list -->\n<ul><li><b>Jasmin Fisher (Chair) <\/b>\u2013 Microsoft Research Cambridge<\/li><li class=\"style3\"><strong>David Harel<\/strong> \u2013 Weizmann Institute of Science<\/li><li class=\"style3\"><strong>Stephen Emmott<\/strong> \u2013 Microsoft Research Cambridge<\/li><li class=\"style3\"><strong>Amir Pnueli<\/strong> \u2013 NYU \/ Weizmann Institute of Science<\/li><li class=\"style3\"><strong>Claire Tomlin<\/strong> \u2013 Stanford \/ Berkeley<\/li><li class=\"style3\"><strong>Luca Cardelli<\/strong> \u2013 Microsoft Research Cambridge<\/li><li class=\"style3\"><strong>Tom Henzinger<\/strong> \u2013 EPFL<\/li><\/ul>\n<!-- \/wp:list -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Speakers\"} -->\n<!-- wp:moray\/accordion -->\n<!-- wp:moray\/accordion-item {\"title\":\"Jasmin Fisher (Chair) - Microsoft Research Cambridge\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322661} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/jfisher.jpg\" alt=\"Jasmin Fisher\" class=\"wp-image-322661\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Group Leader<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Executable Biology, Computational Biology Division, Microsoft Research Cambridge<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/research.microsoft.com\/~jfisher\/\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Sydney Brenner - Salk Institute\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322649} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/brenner.jpg\" alt=\"brenner\" class=\"wp-image-322649\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Professor<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Noble prize winner of physiology and medicine, 2002, Salk Institute<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/www.salk.edu\/faculty\/faculty_details.php?id=7\" href=\"http:\/\/www.salk.edu\/faculty\/faculty_details.php?id=7\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Christopher Langmead - Carnegie Mellon University\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322643} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/clangmead.jpg\" alt=\"clangmead\" class=\"wp-image-322643\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Assistant Professor<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Computer Science Department, Carnegie Mellon University<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/www.cs.cmu.edu\/~cjl\/\" href=\"http:\/\/www.cs.cmu.edu\/~cjl\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Satoru Miyano - Tokyo University\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322679} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/miyano.jpg\" alt=\"miyano\" class=\"wp-image-322679\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Professor<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Institute of Medical Science, Human Genome Centre, Laboratory of DNA information analysis, Tokyo University<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/bonsai.ims.u-tokyo.ac.jp\/people\/miyano\/profile.html\" href=\"http:\/\/bonsai.ims.u-tokyo.ac.jp\/people\/miyano\/profile.html\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Nir Piterman - Imperial College London\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322688} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/piterman.jpg\" alt=\"piterman\" class=\"wp-image-322688\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Research Fellow<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Department of Computing, Imperial College London<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/www.doc.ic.ac.uk\/~npiterma\/\" href=\"http:\/\/www.doc.ic.ac.uk\/~npiterma\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Daniel Kroening - Oxford University\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322667} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kroning.jpg\" alt=\"kroning\" class=\"wp-image-322667\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Lecturer<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Computing Laboratory, Oxford University<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/www.kroening.com\/\" href=\"http:\/\/www.kroening.com\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Marta Kwiatkowska - Oxford University\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322664} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kwiatkowska.jpg\" alt=\"kwiatkowska\" class=\"wp-image-322664\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Professor<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Computing Laboratory, Oxford University<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/marta.kwiatkowska\/ \" href=\"http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/marta.kwiatkowska\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Adelinde Uhrmacher - Rostock University\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322691} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/uhrmacher.jpg\" alt=\"uhrmacher\" class=\"wp-image-322691\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Professor<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Institute of Computer Science, Rostock University<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/wwwmosi.informatik.uni-rostock.de\/mosi\/Members\/lin\/\" href=\"http:\/\/wwwmosi.informatik.uni-rostock.de\/mosi\/Members\/lin\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Andrew Phillips - Microsoft Research Cambridge\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322685} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/phillips.jpg\" alt=\"phillips\" class=\"wp-image-322685\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Group Leader<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Programming Languages for Biology, Computational Biology Division, Microsoft Research Cambridge<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aphillip\/\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Russell Harmer - CNRS Universite Paris-Diderot\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322676} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/harmer.jpg\" alt=\"harmer\" class=\"wp-image-322676\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Professor<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>CNRS, Universite Paris-Diderot<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/www.pps.jussieu.fr\/~russ\/\" href=\"http:\/\/www.pps.jussieu.fr\/~russ\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Fran\u00e7ois Fages - INRIA Paris\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322658} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fages.jpg\" alt=\"fages\" class=\"wp-image-322658\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Senior Research Scientist<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>INRIA<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/contraintes.inria.fr\/~fages\/\" href=\"http:\/\/contraintes.inria.fr\/~fages\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Wan Fokkink - Amsterdam University\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322652} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fokkink.jpg\" alt=\"fokkink\" class=\"wp-image-322652\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Professor<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Department of Computer Science, Amsterdam University<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/www.cs.vu.nl\/~wanf\/\" href=\"http:\/\/www.cs.vu.nl\/~wanf\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Hillel Kugler - Microsoft Research Cambridge\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322670} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kugler.jpg\" alt=\"kugler\" class=\"wp-image-322670\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Group Leader<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Systems Biology, Computational Biology Division, Microsoft Research Cambridge<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/research.microsoft.com\/~hkugler\/\" href=\"http:\/\/research.microsoft.com\/~hkugler\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"David Harel - Weizmann Institute of Science\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322655} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/harel.jpg\" alt=\"harel\" class=\"wp-image-322655\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Professor<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Computer Science Department, Weizmann Institute of Science<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/www.wisdom.weizmann.ac.il\/~harel\/\" href=\"http:\/\/www.wisdom.weizmann.ac.il\/~harel\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Luca Cardelli - Microsoft Research Cambridge\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322646} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/cardelli.jpg\" alt=\"cardelli\" class=\"wp-image-322646\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Principle Director<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Programming Languages Group, Microsoft Research Cambridge<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/luca\/\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Verena Wolf - EPFL\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":322694} -->\n<figure class=\"wp-block-image alignleft\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/wolf.jpg\" alt=\"wolf\" class=\"wp-image-322694\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Post-doc<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>School of Computer and Communication Sciences, EPFL Switzerland<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/people.epfl.ch\/verena.wolf\" href=\"http:\/\/people.epfl.ch\/verena.wolf\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n\n<!-- wp:moray\/accordion-item {\"title\":\"Oded Maler - CNRS - Verimag\"} -->\n<!-- wp:image {\"align\":\"left\",\"id\":867957,\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image alignleft size-full\"><img src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2022\/08\/oded-maler.jpg\" alt=\"Oded Maler\" class=\"wp-image-867957\"\/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:paragraph -->\n<p><strong>Research Director<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>CNRS Verimag<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a title=\"http:\/\/www-verimag.imag.fr\/~maler\/\" href=\"http:\/\/www-verimag.imag.fr\/~maler\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:moray\/accordion-item -->\n<!-- \/wp:moray\/accordion -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Confirmed Participants\"} -->\n<!-- wp:list -->\n<ul><li><span class=\"style2\"><strong>Jasmin Fisher <\/strong>\u2013 Microsoft Research Cambridge <\/span><\/li><li><strong>Sydney Brenner<\/strong> \u2013 Salk Institute<\/li><li><strong>Robin Milner<\/strong> \u2013 Cambridge University<\/li><li><strong>Christopher Langmead <\/strong>\u2013 Carnegie Mellon University<\/li><li><strong>Satoru Miyano<\/strong> \u2013 Tokyo University<\/li><li><strong>Nir Piterman<\/strong> \u2013 Imperial College London<\/li><li><strong>Daniel Kroening<\/strong> \u2013 Oxford University<\/li><li><strong>Marta Kwiatkowska<\/strong> \u2013 Oxford University<\/li><li><strong>Adelinde Uhrmacher<\/strong> \u2013 Rostock University<\/li><li><strong>Andrew Phillips<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>Russell Harmer<\/strong> \u2013 CNRS Universite Paris-Diderot<\/li><li><strong>Fran\u00e7ois Fages<\/strong> \u2013 INRIA Paris<\/li><li><strong>Wan Fokkink<\/strong> \u2013 Amsterdam University<\/li><li><strong>Hillel Kugler<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>David Harel<\/strong> \u2013 Weizmann Institute of Science<\/li><li><strong>Luca Cardelli <\/strong>\u2013 Microsoft Research Cambridge<\/li><li><strong class=\"style2\">Stephen Emmott <\/strong>\u2013 Microsoft Research Cambridge<\/li><li><strong class=\"style2\">Amir Pnueli<\/strong> \u2013 NYU \/ Weizmann Institute of Science<\/li><li><strong class=\"style2\">Tom Henzinger<\/strong> \u2013 EPFL<\/li><li><strong class=\"style2\">Byron Cook<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong class=\"style2\">Josh Berdine<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong class=\"style2\">John Heath<\/strong> \u2013 Birmingham University<\/li><li><strong class=\"style2\">Michael Huth<\/strong> \u2013 Imperial College London<\/li><li><strong class=\"style2\">Andreas Podelski<\/strong> \u2013 Freiburg University<\/li><li><strong class=\"style2\">Steve McKeever<\/strong> \u2013 Oxford University<\/li><li><strong>Verena Wolf<\/strong> \u2013 EPFL<\/li><li><strong>Luke Church<\/strong> \u2013 Cambridge University<\/li><li><strong>Garth Ilsley<\/strong> \u2013 EBI<\/li><li><strong>Antje Beyer <\/strong>\u2013 Cambridge University<\/li><li><strong>Oksana Tymchyshyn<\/strong> \u2013 Birmingham University<\/li><li><strong>Oded Maler<\/strong> \u2013 CNRS \u2013 Verimag<\/li><li><strong>Yaki Setty<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>Mike Gordon<\/strong> \u2013 Cambridge University<\/li><li><strong>Satnam Singh<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>Ralf Herbrich<\/strong> \u2013 Microsoft Research Cambridge<\/li><li><strong>Vincent Schachter<\/strong> \u2013 CEA France<\/li><\/ul>\n<!-- \/wp:list -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"Travel Information\"} -->\n<!-- wp:paragraph -->\n<p>Travel to and from Cambridge is very straightforward with direct trains, buses and easily accessible roads.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>The FMSB Meeting will take place at the Microsoft Research Cambridge Lab, a shuttle will be provided to and from the Lab on a daily basis. It will be scheduled to pick up from the Hotel Felix and Hotel du Vin.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><strong>Collections from The Felix Hotel on 4th &amp; 5th June 2008<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><strong>Day 1<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><li>8.15am depart from hotel for Microsoft Research Cambridge Lab<\/li><li>5.15pm depart from Microsoft Research for The Felix Hotel<\/li><li>6.10pm depart from The Felix Hotel for St John\u2019s college<\/li><li>10.30pm depart from St John\u2019s College for The Felix Hotel<\/li><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:paragraph -->\n<p><strong>Day 2<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><li>8.20am depart from The Felix Hotel for Microsoft Research Cambridge Lab.<\/li><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:paragraph -->\n<p><strong>Collections from The Hotel du Vin on 4th &amp; 5th June 2008<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><strong>Day 1<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><li>8.15am depart from hotel for Microsoft Research Cambridge Lab<\/li><li>5.15pm depart from Microsoft Research for The Hotel du Vin<\/li><li>6.10pm depart from The Hotel du Vin for St John\u2019s college<\/li><li>10.30pm depart for The Hotel du Vin<\/li><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:paragraph -->\n<p><strong>Day 2<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><li>8.20am depart from The Hotel du Vin for Microsoft Research Cambridge Lab<\/li><\/ul>\n<!-- \/wp:list -->\n<!-- \/wp:msr\/content-tab -->\n<!-- \/wp:msr\/content-tabs -->","tab-content":[{"id":0,"name":"Scope","content":"<p class=\"style2\">The purpose of this meeting is to bring researchers together on the application of formal methods to biology. This includes techniques for the specification, development and verification of biological models, as well as the design of tools to execute and analyze biological models.<\/p>\r\nTopics of interest include (but are not restricted to):\r\n<ul>\r\n \t<li>Application of <em>formal methods<\/em> for the construction and analysis of computational models describing various biological processes<\/li>\r\n \t<li><em>Tools<\/em> developed for the design and analysis of biological models<\/li>\r\n \t<li>Applications of <em>model-checking<\/em><\/li>\r\n \t<li><em>Synthesis<\/em> of biological models<\/li>\r\n \t<li>Relating formally different levels of <em>abstraction<\/em><\/li>\r\n \t<li>Applications of <em>concurrency<\/em> theory in biology<\/li>\r\n \t<li>Biologically-inspired advances in formal methods<\/li>\r\n \t<li>Formal analysis applied to data bases<\/li>\r\n<\/ul>\r\n<strong>Important Dates<\/strong>\r\n<ul>\r\n \t<li><strong>November 8, 2007:<\/strong> Invitations<\/li>\r\n \t<li><strong>February 15, 2008:<\/strong> Paper submission<\/li>\r\n \t<li><strong>March 15, 2008:<\/strong> End of review process<\/li>\r\n \t<li><strong>March 29 , 2008:<\/strong> Final version submission<\/li>\r\n \t<li><strong>June 4-5, 2008:<\/strong> Meeting dates<\/li>\r\n<\/ul>"},{"id":1,"name":"Call for Papers","content":"<p class=\"style2\">This year all papers are by invitation only.<\/p>\r\n<p class=\"style2\">In addition to the FMSB proceedings volume with Springer Lecture Notes in Bioinformatics (LNBI), Theoretical Computer Science (TCS) will publish a selected set of FMSB contributions in a special issue.<\/p>\r\n<p class=\"style2\"><img class=\"alignnone size-full wp-image-322673\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/LNBI.jpg\" alt=\"lnbi\" width=\"153\" height=\"57\" \/><\/p>"},{"id":2,"name":"Schedule","content":"<table style=\"height: 39px\" border=\"1\" width=\"856\" cellspacing=\"0\" cellpadding=\"2\">\r\n<tbody>\r\n<tr>\r\n<td bgcolor=\"#ffffcc\"><span class=\"style6\"><b>Wednesday June 4, 2008 <\/b><\/span><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n&nbsp;\r\n<table style=\"height: 855px\" border=\"1\" width=\"857\" cellspacing=\"0\" cellpadding=\"2\">\r\n<tbody>\r\n<tr>\r\n<td style=\"width: 100px\" align=\"left\" valign=\"top\" bgcolor=\"#666666\" width=\"80\"><span class=\"style5\"><b><span style=\"color: #ffffff\">TIME<\/span><\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#666666\" width=\"168\"><span class=\"style5\"><b><span style=\"color: #ffffff\">SPEAKER<\/span><\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#666666\" width=\"252\"><span class=\"style5\"><b><span style=\"color: #ffffff\">EVENT<\/span><\/b><\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffffcc\"><span class=\"people_list\">9:00 am<\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffffcc\"><span class=\"style6\"><b>Jasmin Fisher <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffffcc\"><span class=\"people_list\">Welcoming Remarks <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">9:30 am <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\"><strong>David Harel <\/strong><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Some Comments on Genericity and Linkage in Modelling Biology <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><span class=\"people_list\">10:30 am <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Coffee Break<\/td>\r\n<\/tr>\r\n<tr>\r\n<td colspan=\"3\" align=\"left\" valign=\"top\" bgcolor=\"#e7ffce\"><span class=\"style6\"><b>Chair: Satoru Miyano <\/b><\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">11:00 am <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Hillel Kugler <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">\"Don't Care\" Modelling Extended <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">11:30 am <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Nir Piterman <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Bounded Asynchrony for Modelling Biological Systems <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">12.00 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Verena Wolf <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Computational Probability for Systems Biology <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><span class=\"people_list\">12:30 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Lunch<\/td>\r\n<\/tr>\r\n<tr>\r\n<td colspan=\"3\" align=\"left\" valign=\"top\" bgcolor=\"#e7ffce\"><span class=\"style6\"><b>Chair: Marta Kwiatkowska <\/b><\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">13:30 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Christopher Langmead <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\">Formal Verification Under Parameter Uncertainty<\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">14:15 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Daniel Kroening <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Identification of Glass Networks with Periodic Orbits <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><span class=\"people_list\">15:00 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Coffee Break<\/td>\r\n<\/tr>\r\n<tr>\r\n<td colspan=\"3\" align=\"left\" valign=\"top\" bgcolor=\"#e7ffce\"><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Amir Pnueli <\/strong><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">15:30 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Satoru Miyano <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Cell System Markup Language and Cell Illustrator for Systems Biology Computational Platform <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">16:15 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Wan Fokkink <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Design Issues for Qualitiative Modelling of Biological Cells with Petri Nets <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><span class=\"people_list\">18:30 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Punting<\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><span class=\"people_list\">19:30 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Dinner<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n&nbsp;\r\n<table style=\"height: 26px\" border=\"1\" width=\"856\" cellspacing=\"0\" cellpadding=\"2\">\r\n<tbody>\r\n<tr>\r\n<td bgcolor=\"#ffffcc\"><span class=\"style6\"><b>Thursday June 5, 2008 <\/b><\/span><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n&nbsp;\r\n<table style=\"height: 684px\" border=\"1\" width=\"854\" cellspacing=\"0\" cellpadding=\"2\">\r\n<tbody>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#666666\" width=\"80\"><span class=\"style5\"><span style=\"color: #ffffff\"><b>TIME<\/b><\/span><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#666666\" width=\"168\"><span class=\"style5\"><span style=\"color: #ffffff\"><b>SPEAKER<\/b><\/span><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#666666\"><span class=\"style5\"><span style=\"color: #ffffff\"><b>EVENT<\/b><\/span><\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td colspan=\"3\" align=\"left\" valign=\"top\" bgcolor=\"#e7ffce\"><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Stephen Emmott <\/strong><\/td>\r\n<\/tr>\r\n<tr>\r\n<td style=\"width: 100px\" align=\"left\" valign=\"top\" bgcolor=\"#b6b6da\"><span class=\"people_list\">9:00 am<\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#b6b6da\"><span class=\"style6\"><b>Sydney Brenner <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#b6b6da\"><span class=\"people_list\">Keynote Presentation: What is Systems Biology? <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><span class=\"people_list\">10:00 am <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Coffee Break<\/td>\r\n<\/tr>\r\n<tr>\r\n<td colspan=\"3\" align=\"left\" valign=\"top\" bgcolor=\"#e7ffce\"><span class=\"style6\"><b>Chair: <\/b><\/span><strong>David Harel<\/strong><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">10:30 am <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Luca Cardelli <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\">Molecules as Automata<\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">11:15 am <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Andrew Phillips <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Improving Modularity of Biological Processes in Stochastic Pi Calculus <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">11:45 am <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Marta Kwiatkowska <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Combining Intra- and Inter-Cellular Dynamics to Investigate Intestinal Homeostasis <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><span class=\"people_list\">12:30 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Lunch<\/td>\r\n<\/tr>\r\n<tr>\r\n<td colspan=\"3\" align=\"left\" valign=\"top\" bgcolor=\"#e7ffce\"><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Adelinde Uhrmacher<\/strong><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">13:45 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Oded Maler <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Approximating Continuous Systems by Timed Automata <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">14:30 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Francois Fages <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">From Reaction Models to Influence Graphs and Back: Theorem <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><span class=\"people_list\">15:15 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Coffee Break<\/td>\r\n<\/tr>\r\n<tr>\r\n<td colspan=\"3\" align=\"left\" valign=\"top\" bgcolor=\"#e7ffce\"><span class=\"style6\"><b>Chair: <\/b><\/span><strong>Luca Cardelli<\/strong><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">15:30 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Russell Harmer <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">Rule-Based Modelling of Cellular Signalling <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">16:15 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"style6\"><b>Adelinde Uhrmacher <\/b><\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ccffff\"><span class=\"people_list\">One Modelling Formalism and Simulator is not enough! A Computational Biology Approach Based on James II <\/span><\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffffcc\"><span class=\"people_list\">17:00 pm <\/span><\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffffcc\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffffcc\">Closing Remarks<\/td>\r\n<\/tr>\r\n<tr>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">17:30<\/td>\r\n<td align=\"left\" valign=\"top\" bgcolor=\"#ffecff\"><\/td>\r\n<td class=\"people_list\" align=\"left\" valign=\"top\" bgcolor=\"#ffecff\">Light Dinner<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>"},{"id":3,"name":"Steering Committee","content":"<ul>\r\n \t<li><b>Jasmin Fisher (Chair) <\/b>\u2013 Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style3\"><strong>David Harel<\/strong> - Weizmann Institute of Science<\/li>\r\n \t<li class=\"style3\"><strong>Stephen Emmott<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style3\"><strong>Amir Pnueli<\/strong> - NYU \/ Weizmann Institute of Science<\/li>\r\n \t<li class=\"style3\"><strong>Claire Tomlin<\/strong> - Stanford \/ Berkeley<\/li>\r\n \t<li class=\"style3\"><strong>Luca Cardelli<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style3\"><strong>Tom Henzinger<\/strong> - EPFL<\/li>\r\n<\/ul>\r\n&nbsp;"},{"id":4,"name":"Speakers","content":"[accordion]\r\n\r\n[panel header=\"Jasmin Fisher (Chair) - Microsoft Research Cambridge\"]\r\n<img class=\"alignnone size-full wp-image-322661\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/jfisher.jpg\" alt=\"jfisher\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Group Leader<\/strong>\r\n\r\nExecutable Biology, Computational Biology Division, Microsoft Research Cambridge\r\n\r\n<a title=\"http:\/\/research.microsoft.com\/~jfisher\/\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Sydney Brenner - Salk Institute\"]\r\n<img class=\"alignnone size-full wp-image-322649\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/brenner.jpg\" alt=\"brenner\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Professor<\/strong>\r\n\r\nNoble prize winner of physiology and medicine, 2002, Salk Institute\r\n\r\n<a title=\"http:\/\/www.salk.edu\/faculty\/faculty_details.php?id=7\" href=\"http:\/\/www.salk.edu\/faculty\/faculty_details.php?id=7\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Christopher Langmead - Carnegie Mellon University \"]\r\n<img class=\"alignnone size-full wp-image-322643\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/clangmead.jpg\" alt=\"clangmead\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Assistant Professor<\/strong>\r\n\r\nComputer Science Department, Carnegie Mellon University\r\n\r\n<a title=\"http:\/\/www.cs.cmu.edu\/~cjl\/\" href=\"http:\/\/www.cs.cmu.edu\/~cjl\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Satoru Miyano - Tokyo University \"]\r\n<img class=\"alignnone size-full wp-image-322679\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/miyano.jpg\" alt=\"miyano\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Professor<\/strong>\r\n\r\nInstitute of Medical Science, Human Genome Centre, Laboratory of DNA information analysis, Tokyo University\r\n\r\n<a title=\"http:\/\/bonsai.ims.u-tokyo.ac.jp\/people\/miyano\/profile.html\" href=\"http:\/\/bonsai.ims.u-tokyo.ac.jp\/people\/miyano\/profile.html\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Nir Piterman - Imperial College London\"]\r\n<img class=\"alignnone size-medium wp-image-322688\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/piterman.jpg\" alt=\"piterman\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Research Fellow<\/strong>\r\n\r\nDepartment of Computing, Imperial College London\r\n\r\n<a title=\"http:\/\/www.doc.ic.ac.uk\/~npiterma\/\" href=\"http:\/\/www.doc.ic.ac.uk\/~npiterma\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Daniel Kroening - Oxford University\"]\r\n<img class=\"alignnone size-full wp-image-322667\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kroning.jpg\" alt=\"kroning\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Lecturer<\/strong>\r\n\r\nComputing Laboratory, Oxford University\r\n\r\n<a title=\"http:\/\/www.kroening.com\/\" href=\"http:\/\/www.kroening.com\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Marta Kwiatkowska - Oxford University\"]\r\n<img class=\"alignnone size-full wp-image-322664\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kwiatkowska.jpg\" alt=\"kwiatkowska\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Professor<\/strong>\r\n\r\nComputing Laboratory, Oxford University\r\n\r\n<a title=\"http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/marta.kwiatkowska\/ \" href=\"http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/marta.kwiatkowska\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Adelinde Uhrmacher - Rostock University\"]\r\n<img class=\"alignnone size-full wp-image-322691\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/uhrmacher.jpg\" alt=\"uhrmacher\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Professor<\/strong>\r\n\r\nInstitute of Computer Science, Rostock University\r\n\r\n<a title=\"http:\/\/wwwmosi.informatik.uni-rostock.de\/mosi\/Members\/lin\/\" href=\"http:\/\/wwwmosi.informatik.uni-rostock.de\/mosi\/Members\/lin\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Andrew Phillips - Microsoft Research Cambridge\"]\r\n<img class=\"alignnone size-full wp-image-322685\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/phillips.jpg\" alt=\"phillips\" width=\"75\" height=\"75\" \/>\r\n\r\n<strong>Group Leader<\/strong>\r\n\r\nProgramming Languages for Biology, Computational Biology Division, Microsoft Research Cambridge\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aphillip\/\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Russell Harmer - CNRS Universite Paris-Diderot\"]\r\n<img class=\"alignnone size-full wp-image-322676\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/harmer.jpg\" alt=\"harmer\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Professor<\/strong>\r\n\r\nCNRS, Universite Paris-Diderot\r\n\r\n<a title=\"http:\/\/www.pps.jussieu.fr\/~russ\/\" href=\"http:\/\/www.pps.jussieu.fr\/~russ\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Fran\u00e7ois Fages - INRIA Paris\"]\r\n<img class=\"alignnone size-full wp-image-322658\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fages.jpg\" alt=\"fages\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Senior Research Scientist<\/strong>\r\n\r\nINRIA\r\n\r\n<a title=\"http:\/\/contraintes.inria.fr\/~fages\/\" href=\"http:\/\/contraintes.inria.fr\/~fages\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Wan Fokkink - Amsterdam University\"]\r\n<img class=\"alignnone size-full wp-image-322652\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fokkink.jpg\" alt=\"fokkink\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Professor<\/strong>\r\n\r\nDepartment of Computer Science, Amsterdam University\r\n\r\n<a title=\"http:\/\/www.cs.vu.nl\/~wanf\/\" href=\"http:\/\/www.cs.vu.nl\/~wanf\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Hillel Kugler - Microsoft Research Cambridge\"]\r\n<img class=\"alignnone size-full wp-image-322670\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/kugler.jpg\" alt=\"kugler\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Group Leader<\/strong>\r\n\r\nSystems Biology, Computational Biology Division, Microsoft Research Cambridge\r\n\r\n<a title=\"http:\/\/research.microsoft.com\/~hkugler\/\" href=\"http:\/\/research.microsoft.com\/~hkugler\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"David Harel - Weizmann Institute of Science\"]\r\n<img class=\"alignnone size-full wp-image-322655\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/harel.jpg\" alt=\"harel\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Professor<\/strong>\r\n\r\nComputer Science Department, Weizmann Institute of Science\r\n\r\n<a title=\"http:\/\/www.wisdom.weizmann.ac.il\/~harel\/\" href=\"http:\/\/www.wisdom.weizmann.ac.il\/~harel\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Luca Cardelli - Microsoft Research Cambridge\"]\r\n<img class=\"alignnone size-full wp-image-322646\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/cardelli.jpg\" alt=\"cardelli\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Principle Director<\/strong>\r\n\r\nProgramming Languages Group, Microsoft Research Cambridge\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/luca\/\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Verena Wolf - EPFL\"]\r\n<img class=\"alignnone size-full wp-image-322694\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/wolf.jpg\" alt=\"wolf\" width=\"73\" height=\"73\" \/>\r\n\r\n<strong>Post-doc<\/strong>\r\n\r\nSchool of Computer and Communication Sciences, EPFL Switzerland\r\n\r\n<a title=\"http:\/\/people.epfl.ch\/verena.wolf\" href=\"http:\/\/people.epfl.ch\/verena.wolf\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Oded Maler - CNRS - Verimag\"]\r\n\r\n<img src=\"http:\/\/research.microsoft.com\/en-us\/um\/cambridge\/events\/fmsb\/images\/oMaler.jpg\" alt=\"images\/oMaler.jpg\" \/>\r\n\r\n<strong>Research Director<\/strong>\r\n\r\nCNRS Verimag\r\n\r\n<a title=\"http:\/\/www-verimag.imag.fr\/~maler\/\" href=\"http:\/\/www-verimag.imag.fr\/~maler\/\" target=\"_blank\" rel=\"noopener\">visit website<\/a>\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":5,"name":"Confirmed Participants","content":"<ul>\r\n \t<li><span class=\"style2\"><strong>Jasmin Fisher <\/strong> - Microsoft Research Cambridge <\/span><\/li>\r\n \t<li class=\"style2\"><strong>Sydney Brenner<\/strong> - Salk Institute<\/li>\r\n \t<li class=\"style2\"><strong>Robin Milner<\/strong> - Cambridge University<\/li>\r\n \t<li class=\"style2\"><strong>Christopher Langmead <\/strong> - Carnegie Mellon University<\/li>\r\n \t<li class=\"style2\"><strong>Satoru Miyano<\/strong> - Tokyo University<\/li>\r\n \t<li class=\"style2\"><strong>Nir Piterman<\/strong> - Imperial College London<\/li>\r\n \t<li class=\"style2\"><strong>Daniel Kroening<\/strong> - Oxford University<\/li>\r\n \t<li class=\"style2\"><strong>Marta Kwiatkowska<\/strong> - Oxford University<\/li>\r\n \t<li class=\"style2\"><strong>Adelinde Uhrmacher<\/strong> - Rostock University<\/li>\r\n \t<li class=\"style2\"><strong>Andrew Phillips<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong>Russell Harmer <\/strong> - CNRS Universite Paris-Diderot<\/li>\r\n \t<li class=\"style2\"><strong>Fran\u00e7ois Fages<\/strong> - INRIA Paris<\/li>\r\n \t<li class=\"style2\"><strong>Wan Fokkink<\/strong> - Amsterdam University<\/li>\r\n \t<li class=\"style2\"><strong>Hillel Kugler<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong>David Harel<\/strong> - Weizmann Institute of Science<\/li>\r\n \t<li class=\"style2\"><strong>Luca Cardelli <\/strong>- Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">Stephen Emmott <\/strong>- Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">Amir Pnueli<\/strong> - NYU \/ Weizmann Institute of Science<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">Tom Henzinger<\/strong> - EPFL<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">Byron Cook<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">Josh Berdine<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">John Heath<\/strong> - Birmingham University<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">Michael Huth<\/strong> - Imperial College London<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">Andreas Podelski<\/strong> - Freiburg University<\/li>\r\n \t<li class=\"style2\"><strong class=\"style2\">Steve McKeever<\/strong> - Oxford University<\/li>\r\n \t<li class=\"style2\"><strong>Verena Wolf<\/strong> - EPFL<\/li>\r\n \t<li class=\"style2\"><strong>Luke Church<\/strong> - Cambridge University<\/li>\r\n \t<li class=\"style2\"><strong>Garth Ilsley<\/strong> - EBI<\/li>\r\n \t<li class=\"style2\"><strong>Antje Beyer <\/strong> - Cambridge University<\/li>\r\n \t<li class=\"style2\"><strong>Oksana Tymchyshyn<\/strong> - Birmingham University<\/li>\r\n \t<li class=\"style2\"><strong>Oded Maler<\/strong> - CNRS - Verimag<\/li>\r\n \t<li class=\"style2\"><strong>Yaki Setty<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong>Mike Gordon<\/strong> - Cambridge University<\/li>\r\n \t<li class=\"style2\"><strong>Satnam Singh<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong>Ralf Herbrich<\/strong> - Microsoft Research Cambridge<\/li>\r\n \t<li class=\"style2\"><strong>Vincent Schachter<\/strong> - CEA France<\/li>\r\n<\/ul>\r\n&nbsp;"},{"id":6,"name":"Travel Information","content":"<p class=\"style2\">Travel to and from Cambridge is very straightforward with direct trains, buses and easily accessible roads.<\/p>\r\n<p class=\"style2\">The FMSB Meeting will take place at the Microsoft Research Cambridge Lab, a shuttle will be provided to and from the Lab on a daily basis. It will be scheduled to pick up from the Hotel Felix and Hotel du Vin.<\/p>\r\n<strong>Collections from The Felix Hotel on 4th &amp; 5th June 2008<\/strong>\r\n\r\n<strong>Day 1<\/strong>\r\n<ul>\r\n \t<li>8.15am depart from hotel for Microsoft Research Cambridge Lab<\/li>\r\n \t<li>5.15pm depart from Microsoft Research for The Felix Hotel<\/li>\r\n \t<li>6.10pm depart from The Felix Hotel for St John\u2019s college<\/li>\r\n \t<li>10.30pm depart from St John\u2019s College for The Felix Hotel<\/li>\r\n<\/ul>\r\n<strong>Day 2<\/strong>\r\n<ul>\r\n \t<li>8.20am depart from The Felix Hotel for Microsoft Research Cambridge Lab.<\/li>\r\n<\/ul>\r\n<strong>Collections from The Hotel du Vin on 4th &amp; 5th June 2008<\/strong>\r\n\r\n<strong>Day 1<\/strong>\r\n<ul>\r\n \t<li>8.15am depart from hotel for Microsoft Research Cambridge Lab<\/li>\r\n \t<li>5.15pm depart from Microsoft Research for The Hotel du Vin<\/li>\r\n \t<li>6.10pm depart from The Hotel du Vin for St John\u2019s college<\/li>\r\n \t<li>10.30pm depart for The Hotel du Vin<\/li>\r\n<\/ul>\r\n<strong>Day 2<\/strong>\r\n<ul>\r\n \t<li>8.20am depart from The Hotel du Vin for Microsoft Research Cambridge Lab<\/li>\r\n<\/ul>"}],"msr_startdate":"2008-06-04","msr_enddate":"2008-06-05","msr_event_time":"","msr_location":"Microsoft Research Cambridge UK","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"June 4, 2008","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"<img width=\"960\" height=\"360\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fmsb-header.jpg\" class=\"img-object-cover\" alt=\"\" decoding=\"async\" loading=\"lazy\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fmsb-header.jpg 1920w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fmsb-header-300x113.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fmsb-header-768x288.jpg 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/11\/fmsb-header-1024x384.jpg 1024w\" sizes=\"auto, (max-width: 960px) 100vw, 960px\" \/>","event_excerpt":"Formal Methods in Systems Biology, June 4-5 2008","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/322625","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":4,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/322625\/revisions"}],"predecessor-version":[{"id":867963,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/322625\/revisions\/867963"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/322706"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=322625"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=322625"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=322625"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=322625"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=322625"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=322625"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=322625"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=322625"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=322625"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}