Z34Bio: A Framework for Analyzing Biological Computation Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, and Hillel Kugler SMT 2013, Helsinki.
Group THeory Bingo You must write the slide number on the clue to get credit.