VSL 2014:维也纳2014年夏季逻辑
LSB主页

概述

现代生物学在分子水平上使我们对生物体工作原理的认识有了很大进步。尽管在这一领域还有很多东西需要学习,但许多生物学家认为,他们学科的下一个主要工作将是了解这些细胞组件是如何协同工作的,就像计算机的组件是如何集成的一样。这种系统级的知识对于解决诸如了解疾病原因和发现新药等重要问题至关重要。随着生物系统模型变得越来越复杂,研究人员也遇到了困扰软件设计师和计算机工程师的一些同样的问题。本次研讨会的主题反映了解决这些问题所需的跨学科方法。一些讲师是生物学家,他们使用计算机模型来开发和测试他们的假设,另一些是计算机科学家,他们正在应用形式化方法来构建和分析生物系统的模型。

受邀演讲人

亚历山德拉·卡蓬(IHES&皮埃尔和玛丽·居里大学)

杰罗姆·费雷特(INRIA&ENS巴黎)

托马斯·亨津格(印度标准协会)

塞德里克·侯赛因(LIFL)

安妮·西格尔(IRISA)

阿德琳德·乌尔马赫(罗斯托克)

 

参与的会谈

乔尔·德斯佩罗艾米·费尔蒂伊丽莎白·德·玛丽亚:系统生物学的逻辑框架

 

组织

  • Russ Harmer(法国里昂CNRS&ENS)
  • 吉姆·林奇(美国克拉克森大学)

有关LSB的更多信息,请访问网站