Aditya Murthy, Ph.D.
Associate Professor, Centre For Neuroscience, Indian Institute of Science, Bangalore, India
Since Karl Lashley’s seminal work on the formulation of serial order, numerous models assume simultaneous representation of competitive elements of a sequence, to account for serial order effects in different types of behavior like typing, speech, etc. Such models follow two basic assumptions: (1) more than one plan representation can be simultaneously active in a planning layer; (2) the most active plan is chosen in another layer called the competitive choice layer. Using the oculomotor system I will describe behavioral and neurophysiological experiments that tests the two critical predictions of such queuing models, providing evidence that basal ganglia in monkeys and humans instantiate a form of queuing that transforms parallel movement representations into more serial representations, allowing for the expression of sequential saccadic eye movements.
Jaap Heringa, Ph.D.
Director & Professor of Bioinformatics, IBIVU VU University Amsterdam, The Netherlands
Modeling strategy based on Petri-nets
In my talk I will introduce a formal modeling strategy based on Petri-nets, which are a convenient means of modeling biological processes. I will illustrate the capabilities of Petri-nets as reasoning vehicles using two examples: Haematopoietic stem cell differentiation in mice, and vulval development in C. elegance. The first system was modeled using a Boolean implementation, and the second using a coarse-grained multi-cellular Petri-net model. Concepts such as the model state space, attractor states, and reasoning to adapt the model to the biological reality will be discussed.
