Boston Computation Club
0 Favorites
The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.
Location:
United States
Description:
The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.
Language:
English
Website:
https://anchor.fm/bostoncc
04/20/24: Chess-GPT's Internal World Model with Adam Karvonen
Duration:00:58:23
04/12/24: DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing with Max Ammann
Duration:00:59:04
04/23/24: Pegasus Panel
Duration:02:05:43
03/08/24: Bitwuzla with Mathias Preiner
Duration:00:59:31
01/13/24: How to Fund your Projects by Remembering One Number with Joe Shiraef
Duration:00:45:34
12/15/23: Q&A on Puzzles, with Roger Barkan in conversation with Jacob Denbeaux
Duration:01:04:37
11/19/23: Semi Open-Source Robotics with Jan Hennecke
Duration:01:04:20
11/04/23: Logic in Color with Christian Williams
Duration:00:57:33
10/21/23: How to Write a Coequation, with Todd Schmid
Duration:01:12:11
10/07/23: Artificial Intelligence, Openness, and "Existential" Risk: Well Informed Vibes on What is Hype and What is Real, with Avijit Ghosh, David Widder, and Fabio Tollon, moderated by Wei Sun
Duration:01:14:48
09/17/23: Open Problems in Probabilistic Programming Semantics with Eli Sennesh
Duration:01:04:34
09/09/23: Transferable and Fixable Proofs with Bill Dalessandro
Duration:01:05:25
09/01/23: ChipSec with Nathaniel Mitchell and Dan Scott
Duration:00:43:22
08/12/23: Packing Chromatic with Bernardo Anibal Subercaseaux Roa
Duration:01:01:18
07/15/23: Symmetries, Flat Minima, and the Conserved Quantities of Gradient Flow with Bo Zhao
Duration:00:42:30
06/30/23: ChatGPT on your Personal Corpus in Algovera with Richard Blythman
Duration:00:56:23
06/23/23: MariusGNN with Roger Waleffe
Duration:00:55:39
06/16/23: Infinite Games -- Strategies, Logic, Theory, and Computation, with Joel David Hamkins
Duration:00:57:28
05/20/23: A Data-Centric Introduction to Computing, with Shriram Krishnamurthi
Duration:01:14:35
04/29/23: Q&A on the Philosophy of Games with Christopher Ba Thi Nguyen, in conversation with Wei Sun
Duration:00:56:58