I'll be proctoring an exam (with lisp! (well, ACL2 (really, ACL2s))) from 1800-2000, but if people are still hanging around later than that, I can maybe join in. --- Justin Slepak PhD student, CCIS
On Feb 20, 2018, at 2:11 PM, Nic M nicdevel@gmail.com wrote:
1900hrs would work the best for me and have no preference between the two locations.
Nic
On Tue, Feb 20, 2018 at 11:52 Jeff Read bitwize@gmail.com wrote: I could do either of those but I prefer Mary's.
On Feb 20, 2018 11:50 AM, "Faré" fahree@gmail.com wrote: Plan A: Mary Chung Plan B: India Pavillion
Time: 1900 ? 1830 ? 1800 ? 1930 ? 2000 ?
On Tue, Feb 20, 2018, 08:38 Alex Plotnick shrike@netaxs.com wrote: At or around Mon, 19 Feb 2018 19:52:30 -0500, Faré said:
I'll be in town. Shall we meet for dinner this Thursday?
I'm down. Where and when shall we meet?
-- Alex