[TYPES/announce] Call for Participation CS2Bio'11

[Paola Giannini]

================================================================

                           Call for Participation
                               CS2Bio'11
                   2nd International Workshop on Interactions
                      between Computer Science and Biology

                        Affiliated to DisCoTec'11

                            9th of June 2011
                            Reykjavik, Iceland

                           Programme available
                      http://cs2bio11.di.unipmn.it/


=================================================================

The aim of this workshop is to gather researchers in formal methods
that are interested in the convergence of Computer Science, Biology
and life sciences. In particular, we solicit contribution of original
results that address both theoretical aspects of modeling and applied
work on the comprehension of biological behavior. In particular we
want to encourage presentation of interdisciplinary work conducted
by teams composed of both life and computer scientists.
Papers selected for presentation at CS2Bio should either present an
attempt at modeling a specific biological phenomenon using formal
techniques, or a technical innovation that can be applied to a range
of potential biological systems. In the latter case, some emphasis
on the scalability of the method will be required. The workshop
intends to attract researchers interested in models, verification,
tools, and programming primitives concerning such complex interactions.


*** INVITED TALKS ***

- Jasmin Fisher (Microsoft Research - Cambridge, UK):
   Model Checking Cell Fate Decisions

- Gordon Plotkin (Lab for Foundation of Computer Science
   Edinburgh, UK): Towards a rational reconstruction of kappa



*** PROGRAM COMMITTEE ***

- Luca Cardelli
- Francesca Cordero
- Erik de Vink
- François Fages
- Jérôme Feret
- Jasmin Fisher
- Paola Giannini (Co-chair)
- Jane Hillston
- Jean Krivine (Co-chair)
- Giancarlo Mauri
- Emanuela Merelli
- Paolo Milazzo
- Gethin Norman
- Jean-Louis Giavitto
- Ion Petre
- Gordon Plotkin
- Angelo Troina
- Verena Wolf
- Gianluigi Zavattaro

-- 

  Paola Giannini
  Dipartimento di Informatica
  Universita' del Piemonte Orientale
  via Teresa Michel, 11
  15100 Alessandria, Italy
  phone: (+39) 0131 360171
  fax  : (+39) 0131 360390
  email: giannini at di.unipmn.it
  http://www.di.unito.it/~giannini