Date: Wed, 26 Apr 2006 09:53:31 -0500
From: Sol Swords
Subject: Serita's talk today


Here's the abstract for Serita's talk:

Phylogenetic trees represent the evolutionary relationship between the
species at the tips of the tree.  We represent phylogenetic trees in ACL2
in a couple different ways.  One representation is a parenthical notation
intuitive to most ACL2/LISP programmers, while the other is a more direct
representation of the branches/edges that make up the tree.  I will 
present a proof that shows how the two representations are related, and 
ask for insights about proving the equivalence of one more representation.