Workshop on Logic and Systems Biology

逻辑和系统生物学研讨会隶属于2012年在克罗地亚杜布罗夫尼克举行的计算机科学逻辑（LICS）会议，定于6月29日举行。它将包括一天的特邀讲座。讲座将涵盖计算机科学与生物学之间的各种联系，重点是形式逻辑在生物分子相互作用系统建模中的应用。智力优势LICS组委会认为，逻辑将在系统生物学中发挥重要作用，并邀请了一个研讨会的建议，以探索逻辑在系统生物学中的当前和未来应用。由于系统生物学是一个新的研究领域，大多数LICS与会者仍然不熟悉，组织者决定将讲座限制在邀请范围内，并开放讨论未来的研究。这些讲座的目的是让计算机科学家谁有一些关于使用正式的方法来分析软件和硬件的知识，但谁可能没有太多的生物学经验。演讲者还将被邀请提交更多技术版本的演讲，以供参考。更广泛的影响讲座将探讨生物学，计算机科学和数学之间的联系，目的是鼓励不同群体的研究人员之间的合作，导致逻辑的新应用，并提出有趣的理论问题。预计计算机科学的研究生和最近的博士生也将参加研讨会。由于会谈将是部分短暂的，这将是一个机会，他们扩大他们的观点，与未来的利益，他们的研究和教学。

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.