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
Duración:00:58:23
04/12/24: DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing with Max Ammann
Duración:00:59:04
04/23/24: Pegasus Panel
Duración:02:05:43
03/08/24: Bitwuzla with Mathias Preiner
Duración:00:59:31
01/13/24: How to Fund your Projects by Remembering One Number with Joe Shiraef
Duración:00:45:34
12/15/23: Q&A on Puzzles, with Roger Barkan in conversation with Jacob Denbeaux
Duración:01:04:37
11/19/23: Semi Open-Source Robotics with Jan Hennecke
Duración:01:04:20
11/04/23: Logic in Color with Christian Williams
Duración:00:57:33
10/21/23: How to Write a Coequation, with Todd Schmid
Duración: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
Duración:01:14:48
09/17/23: Open Problems in Probabilistic Programming Semantics with Eli Sennesh
Duración:01:04:34
09/09/23: Transferable and Fixable Proofs with Bill Dalessandro
Duración:01:05:25
09/01/23: ChipSec with Nathaniel Mitchell and Dan Scott
Duración:00:43:22
08/12/23: Packing Chromatic with Bernardo Anibal Subercaseaux Roa
Duración:01:01:18
07/15/23: Symmetries, Flat Minima, and the Conserved Quantities of Gradient Flow with Bo Zhao
Duración:00:42:30
06/30/23: ChatGPT on your Personal Corpus in Algovera with Richard Blythman
Duración:00:56:23
06/23/23: MariusGNN with Roger Waleffe
Duración:00:55:39
06/16/23: Infinite Games -- Strategies, Logic, Theory, and Computation, with Joel David Hamkins
Duración:00:57:28
05/20/23: A Data-Centric Introduction to Computing, with Shriram Krishnamurthi
Duración:01:14:35
04/29/23: Q&A on the Philosophy of Games with Christopher Ba Thi Nguyen, in conversation with Wei Sun
Duración:00:56:58