Title:  Using Logic to Compute 
(Rather than Computing in Logic, or Logical Reasoning about Computing...)

Abstract: 
A novel approach to programming reactive systems, that uses live
sequence charts (LSCs), is founded upon an inter-object, scenario- based
philosophy of behavioral description. While highly intuitive as a
programming medium, it raises unusual issues of executability and
operational semantics. One of the most novel ideas that this has
triggered is "smart" play-out,  whereby parts of the execution mechanism
are computed in advance using model-checking, and are then simply
carried out. Thus, we employ formal verification techniques, themselves
based on temporal logic and automata theory, to run programs, not to
prove them correct. The talk will also describe our use of
play-in/play-out in modeling biological systems, specifically the
egg-laying development of the C. elegans nematode.  

(Joint work with Hillel Kugler and others)