[FOM] Call For Papers: Applications of Logic, Model Theory, and Theoretical Computer Science to Systems Biology

[Leo Marcus]

Dear Colleague,

We are now open to receive contributed papers for the AMS/ASL National
Meeting Special Session on "Applications of Logic, Model Theory, and
Theoretical Computer Science (LMT&TCS) to Systems Biology."


The Session will be held January 9, 2016 in Seattle  WA. See
http://jointmathematicsmeetings.org/meetings/national/jmm2016/2181_program_ss20.html#title



Please send an extended abstract  to logicinbio2016 at gmail.com (the Special
Session organizers) by August 1, 2015.  An official AMS abstract will be
due September 22, 2015.

We are not interested in computer processing methods or what is commonly
referred to as bioinformatics, but rather the insights that logic, model
theory, and theoretical computer science can give to our understanding of
biological systems --- and conversely, the role of systems biology in
posing interesting problems for logic, model theory, and theoretical
computer science.

A list of potential topics and approaches follows.

Theory and examples of formal representations (syntax and semantics) of the
state space of bio-systems at different scales/granularities: the cell
(e.g., the neuron, muscle cell), the organ (e.g. the brain), the “system”
(e.g. immune system), etc.

Compare approaches: graph, hyper-graph, model (in the sense of general
relational structure), both in general, and with regard to specific
bio-systems.

Varieties and uses of modularity -- e.g. to derive properties/hypotheses of
bio-systems that may be experimentally tested

Given a known property P of a system and some properties of its modules and
their connections, do those properties imply P? What other or additional
properties of the modules and connections would suffice to imply P?

Role of computability, biologically relevant computational complexity, and
feasibility

LMT&TCS applied to "complexity" in  biological systems and emergent behavior

Probabilistic logic for biology, reasoning in the presence of uncertainty
or incomplete information

Formal representation of experimental data and the connection to models

LMT&TCS for applying evolutionary reasoning to reverse engineering

We look forward to hearing from you.
Also, please feel free to pass this information on to any of your students
or colleagues who may want to contribute a paper to this session.

Thank you.


Jim Lynch and Leo Marcus, Co-organizers
logicinbio2016 at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150516/00935338/attachment.html>