BIOCONCUR'03

• To: types@cis.upenn.edu, moca@sophia.inria.fr, concurrency@cwi.nl, grin@di.unipi.it, news-announce-conferences@uunet.uu.net
• Subject: BIOCONCUR'03
• From: laneve@CS.UniBO.IT
• Date: Wed, 14 May 2003 14:08:17 +0200
• Cc: Vincent.Danos@pps.jussieu.fr
• User-Agent: Mutt/1.2.5i

We apologise if you receive this message more than once.



                   *** Call for Papers ***
                          BIOCONCUR
         Workshop on Concurrent Models in Molecular Biology
                 Marseille, 6 September 2003
                 (affiliated with CONCUR'03)
             http://www.pps.jussieu.fr/~bioconcu/

         *** Deadline for submission: 8 June 2003 ***

Post-genomics Systems Biology deals with complex networks of biochemical
interactions. Pionnering work of Regev, Shapiro and various collaborators has
shown that some varieties of pi-calculus may prove excellent tools for
compositional and modular modeling of these networks. The BioConcur workshop is
meant to help in understanding if and how biological systems may be described,
manipulated and analysed with the methods of Concurrency Theory.

Proceedings of the meeting will be published as a volume in Elsevier's ENTCS
series.

There will be one invited lecture by Luca Cardelli (Microsoft Research,
Cambridge) with title "Membrane Interactions".

Vincent Danos and Cosimo Laneve

• Prev: LICS 2003 - Call for Participation
• Next: Research Job: Compositional Reasoning & Analysis for Software Systems @ Heriot-Watt U., Scotland, UK
• Index(es):
  • Main
  • Thread