Composition #0
Date: Sunday 12/21 2:30-5:30pm
Location: Wonderville, 1186 Broadway, Brooklyn, NY
Event page
RSVP page
Lineup:
- Isidore Mohr - Girard's Paradox: Presentation and performance of a mathematical-proof-to-music translation system, Soundproof.
- Claire Wang - Talk and demo on sonifying Rocq proofs (Rocq n'Roll, joint work with Roger Burtonpatel) and building a DSL for formalizing music in Lean 4 (Prismriver, joint work with Leni Aniva).
- Micah Fitch - Polyphonotypes: A theoretical framework and tools for mapping and understanding relationships between pitch-class sets. Think *circle of fifths meets graph theory* and then they discover that they're both interested in learning more about monoidal categories (surprise!).
- Brian Abelson - saysynth: Discussion and demo of a synthesizer built on top of Mac's text-to-speech framework. Recordings and demos are here.
□