created by maxvh on Jul 28, 2020
Covering the "purer" topics in computation, including but not limited to: programming languages, type theory, category theory, formal methods, algorithms, and complexity. (A brazen rip-off of the London Computation Club, but in a time-zone more amenable to our American schedules.)
Location: Boston, United States of America
Keywords: computation,complexity,formal methods,type theory,category theory,algorith…