Workshop on Logic and Systems Biology

逻辑与系统生物学研讨会

• 批准号: 1231446
• 负责人: James Lynch
• 金额: $ 0.8万
• 依托单位: Clarkson University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-07-01 至 2013-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1231446&HistoricalAwards=false
• 关键词: Workshop; Logic; Systems; Biology

The Workshop on Logic and Systems Biology is affiliated with the 2012 Logic in Computer Science (LICS) Conference in Dubrovnik, Croatia and is scheduled for June 29. It will consist of one day of invited lectures. The talks will cover a variety of connections between computer science and biology, with emphasis on the uses of formal logic in modeling biomolecular interaction systems.INTELLECTUAL MERITThe LICS organizing committee believes that logic will have an important role in systems biology, and invited a proposal for a workshop to explore current and future applications of logic to system biology. Since systems biology is a new field of study which is still unfamiliar to most LICS attendees, the organizers decided to restrict the lectures to invitation only, with an open session for discussion of future research. The lectures are intended to be accessible to computer scientists who have some knowledge about the use of formal methods for analyzing software and hardware, but who may not have much experience with biology. The speakers will also be invited to submit more technical versions of their talks to a refereed proceedings.BROADER IMPACTThe lectures will explore connections between biology, computer science, and mathematics, with the goal of encouraging collaborations between researchers in the different groups, leading to new applications of logic and raising interesting theoretical questions. It is also expected that graduate students and recent Ph. D.s in computer science will attend the workshop. Since the talks will be partly expository, this will be an opportunity for them to broaden their perspective, with future benefits to their research and teaching.

逻辑和系统生物学研讨会附属于2012年在克罗地亚杜布罗夫尼克举行的计算机科学逻辑(LICS)会议，定于6月29日举行。它将包括一天的特邀讲座。讲座将涉及计算机科学和生物学之间的各种联系，重点是形式逻辑在生物分子相互作用系统建模中的应用。国际逻辑大会组委会相信逻辑将在系统生物学中发挥重要作用，并邀请了一项研讨会的建议，以探索逻辑在系统生物学中的当前和未来应用。由于系统生物学是一个新的研究领域，大多数LIC的与会者仍然不熟悉，组织者决定将讲座限制在仅限受邀的情况下，并开放会议讨论未来的研究。这些讲座面向的是计算机科学家，他们对分析软件和硬件的正式方法有一定的了解，但可能对生物学没有太多经验。讲座将探讨生物学、计算机科学和数学之间的联系，目的是鼓励不同小组的研究人员之间的合作，导致逻辑的新应用，并提出有趣的理论问题。预计还将有计算机科学的研究生和新近获得博士学位的学生参加研讨会。由于讲座将部分是说明性的，这将是他们拓宽视野的机会，未来将为他们的研究和教学带来好处。