The Workshop on Logic and Systems Biology

逻辑和系统生物学研讨会隶属于2006年联邦逻辑会议（FLoC）在西雅图，华盛顿。这个研讨会的一个重要特点是它汇集了来自不同学科的人：生物学，计算机科学和数学。 虽然这些不同的领域在过去经常相互影响，但并不是所有特定领域的研究人员都完全了解其他领域的最新进展。本次研讨会将集中在分子生物学，逻辑和计算机科学中的形式方法之间的联系。本次会议的一个目标是向FLoC社区的成员介绍系统生物学。 这是计算机科学和逻辑学的一个非常新的方向，尽管人们对这一主题有很高的兴趣，但大多数FLoC的与会者都不太熟悉它。另一个目标是促进系统生物学和计算机科学研究人员之间的对话，希望这将鼓励两个群体之间的合作，导致逻辑学的新应用，并提出有趣的理论问题。因此，讲座旨在让生物学家和FLoC与会者能够访问。会议的第三个目标是帮助学生，特别是研究生和最近的博士生，熟悉这些研究领域。 我们希望这将拓宽他们的视野，并将有助于他们的研究和教学生涯。

The Workshop on Logic and Systems Biology is affiliated with the 2006 Federated Logic Conference (FLoC) in Seattle, Washington. An essential feature of this workshop is that it brings together people from different disciplines: biology, computer science, and mathematics. Although these different areas have impacted each other often in the past, not all the researchers in a given field are fully aware of the recent advances in the other ones. This workshop will focus on the connections between molecular biology, logic, and formal methods in computer science.One goal of this conference is to introduce systems biology to members of the FLoC community. This is a very new direction for computer science and logic, and although there is a high level of interest in the subject, most attendees of the FLoC are not very familiar with it. Another goal is to foster a dialogue between researchers in systems biology and computer science, with the hope that this will encourage collaborations between the two groups, leading to new applications of logic and raising interesting theoretical questions. Therefore the lectures are intended to be accessible to biologists and FLoC attendees. A third goal of the meeting is to help students, in particular graduate students and recent Ph. D.s, become acquainted with these areas of research. We hope this will broaden their perspective and will contribute to their research and teaching careers.