mapreader4
mapreader4 has not written any posts yet.

mapreader4 has not written any posts yet.

Do you expect to run another cohort of this course (or a similar course) in the summer or later?
Thanks!
In Definition 0.4, does "for any" mean "there exists two states such that the statement holds", or "for all pairs of states, the statement holds"?
This year's Fall ACX Meetup everywhere in West Lafayette.
Location: Beering Hall of Liberal Arts (BRNG) Room 1268, 100 N University St, West Lafayette, IN 47907. BRNG 1268 is in the southwest corner of the building, and can be found after turning left at the south entrance. Please email me if you cannot find us. I will also place an ACX Meetup sign at the entrance to the room and wear a shirt with a lemur. – https://plus.codes/86GMC3GM+4C
Group Link: https://discord.gg/Uc7hMMSNCF
We'll have a box of chips and possibly other food.
Contact: mapreader4@gmail.com
This year's Spring ACX Meetup everywhere in West Lafayette.
Location: Address: Beering Hall of Liberal Arts (BRNG) Room 1268, 100 N University St, West Lafayette, IN 47907. BRNG 1268 is in the southwest corner of the building, and can be found after turning left at the south entrance. Please email me if you cannot find us. I will also place an ACX Meetup sign at the entrance to the room and wear a shirt with a lemur. – https://plus.codes/86GMC3GM+4C
We'll have a box of chips and possibly other food.
Contact: mapreader4@gmail.com
This year's ACX Meetup everywhere in West Lafayette, Indiana, USA.
Location: We'll be in the south of the Earhart Hall lobby (not the dining court) near the piano, and I will be wearing a shirt with a lemur and carrying a sign with ACX MEETUP on it. – https://plus.codes/86GMC3GG+728
We've had a couple meetups during previous rounds of ACX Everywhere and they were quite enjoyable!
Contact: mapreader4@gmail.com
This year's ACX Meetup everywhere in West Lafayette, Indiana, USA.
Location: 1275 1st Street, West Lafayette, IN 47906. We'll be in the south of the Earhart Hall lobby (not the dining court) near the piano, and I will be wearing a green shirt and carrying a sign with ACX MEETUP on it. – https://plus.codes/86GMC3GG+728
We had a meetup during the previous ACX Everywhere and that was quite enjoyable!
Contact: mapreader4@gmail.com
This year's ACX Meetup everywhere in West Lafayette, IN.
Location: 1275 1st Street, West Lafayette, IN 47906. We'll be in the south of the Earhart Hall lobby (not the dining court) near the piano, and I will be wearing a green shirt and carrying a sign with ACX MEETUP on it. – 86GMC3GG+728
Contact: mapreader4@gmail.com
undefined
Eli Lifland has a short summary here and says a longer draft is coming.