Claire Moore-Cantwell writes:
We will meet Tuesday night to have a discussion about constraint induction. Everyone who works on constraint induction, come prepared to talk a little bit about what you do; all others come with questions/discussion points if you've got them.
Location: Kristine's place.
Time: 8pm on Tuesday 19 February
