Joint Mathematics Meetings AMS Special Session
Current as of Saturday, January 16, 2016 03:30:12
Joint Mathematics Meetings
Washington State Convention Center and the Sheraton Seattle Hotel, Seattle, WA
January 6-9, 2016 (Wednesday - Saturday)
Meeting #1116
Associate secretaries:
Michel L Lapidus, AMS lapidus@math.ucr.edu, lapidus@mathserv.ucr.edu
Gerard A. Venema, MAA venema@calvin.edu
AMS-ASL Special Session on Applications of Logic, Model Theory, and Theoretical Computer Science to Systems Biology
-
Saturday January 9, 2016, 1:00 p.m.-5:40 p.m.
AMS-ASL Special Session on Applications of Logic, Model Theory, and Theoretical Computer Science to Systems Biology
Room 602, Washington State Convention Center
Organizers:
James Lynch, Clarkson University
Leo Marcus, Santa Monica, CA leomarcus2@gmail.com
-
1:00 p.m.
Many-sorted first-order model theory as a conceptual framework for complex dynamical systems.
Solomon Feferman*, Stanford University
(1116-03-1664) -
2:00 p.m.
Neural Algebra and Modelling.
Erwin - Engeler*, ETH Zurich
(1116-03-469) -
3:00 p.m.
Dependence logic and biology.
Jouko A Vaananen*, Department of Mathematics and Statistics, University of Helsinki, Finland
(1116-03-791) -
4:00 p.m.
Probabilistic Boolean Networks as Models of Gene Regulatory Networks.
Ilya Shmulevich*, Institute for Systems Biology
(1116-92-279) -
5:00 p.m.
Datum Logic: A Formal Executable Semantics for Experimental Evidence.
Carolyn L Talcott*, SRI International
(1116-92-1302)
-
1:00 p.m.