Tuesday, April 23, 20132:00 pmComputational Logic SeminarRoom 3209

On Time, Communication and Coordination

Yoram Moses

Israel Institute of Technology - Technion

Yoram Moses

Recent work has shown that applications of the modal logic of knowledge allow a characterization of the interaction between communication and coordination in systems with clocks and timing information. This talk will survey some of these results and the underlying notions and techniques. Time permitting, some issues related to the interaction between time and causality will be discussed. The focus of the talk will be on the interface between logic (or semantic notions) and application, rather than on the properties of the logic itself.

Yoram Moses is a Professor in the Electrical Engineering Department at the Technion – Israel Institute of Technology. Yoram Moses received a B.Sc. in mathematics from the Hebrew University of Jerusalem in 1981, and a Ph.D. in Computer Science from Stanford University in 1986. Moses is a co-author of the book Reasoning About Knowledge, and is a winner of the 1997 Gödel Prize in theoretical computer science and the 2009 Dijkstra Prize in Distributed Computing. His major research interests are distributed systems and reasoning about knowledge.