The Weizmann Institute of Science Faculty of Mathematics and Computer Science Foundations of Computer Science Seminar Lecture Hall, Room 1, Ziskind Building on Sunday, December 23, 2012 at 11:00 Note the unusual day, time and location Amos Korman CNRS and University Paris Diderot, France will speak on Distributed Computing meets biology: Towards a new Scientific Paradigm Abstract: In recent years, several works have demonstrated how the study of biology can benefit from an algorithmic perspective. In this talk I discuss a new approach for such a methodology based on combining theoretical tradeoff techniques with field experiments to obtain bounds on biological parameters. A proof of concept for this paradigm is provided by considering central search foraging strategies of desert ants, and obtaining theoretical tradeoffs between the search time and the memory complexity of individuals. Informally, we show that if the time-competitiveness of the search algorithm is below $\log k$ then the memory size of individuals (when starting the search) must be roughly $\log\log k$, where $k$ is the total number of individuals. Combining such bounds with successful experiments on living ants would provide a lower bound on the number of states ants have when commencing the search. Such a lower bound may serve as a quantitative evidence regarding the quorum sensing mechanism performed inside the nest. This talk is based on a recent work with Ofer Feinerman (Weizmann Institute) --------------------------------------------------------- Technion Math Net-2 (TECHMATH2) Editor: Michael Cwikel <techm@math.technion.ac.il> Announcement from: Yaeli Malka <yaeli.malka@weizmann.ac.il>