[formal-methods] Programming and paper topics.

[Jason Dusek]

  So it seems like we've got two areas you'd like to research
  with an eye to some kind of release or publication:

 .  Parallel cellular automata.

 .  Genetic algorithms.

  To this, I would add:

 .  Distributed transaction commit.

  Producing software might be an okay thing for the formal
  methods group to do; but wouldn't it be better for us to
  really focus on publication instead?

--
Jason Dusek