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 69, 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
AMSASL 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.
AMSASL 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.
Manysorted firstorder model theory as a conceptual framework for complex dynamical systems.
Solomon Feferman*, Stanford University
(1116031664) 
2:00 p.m.
Neural Algebra and Modelling.
Erwin  Engeler*, ETH Zurich
(111603469) 
3:00 p.m.
Dependence logic and biology.
Jouko A Vaananen*, Department of Mathematics and Statistics, University of Helsinki, Finland
(111603791) 
4:00 p.m.
Probabilistic Boolean Networks as Models of Gene Regulatory Networks.
Ilya Shmulevich*, Institute for Systems Biology
(111692279) 
5:00 p.m.
Datum Logic: A Formal Executable Semantics for Experimental Evidence.
Carolyn L Talcott*, SRI International
(1116921302)

1:00 p.m.