Based on survey, we'll have "theory" meetings 2nd & 4th Wednesdays @CollectiveAgenC Division, "Logic and Proof"; "practice" meetings 1st & 3rd Mondays @CollectiveAgenC downtown, "Pearls of Functional Algorithm Design". https://t.co/5EW0PPFQDj