I'm going to practice my workshop talk this friday at 3pm in wean 4625. Anyone interested is encouraged to come and critique. Be forewarned this is not quite as general-audience a talk as my speaking skills was. My audience at this particular workshop is not quite as accustomed to logical frameworks stuff as the average CMU drone, so I will be accounting for that, but I will on the other side of the coin be assuming some fluency with logic in general.