Composition

Composition aims to mix aesthetic modalities with math and code, at technical depth. The event will consist of talks and performances where people can meet, learn, and discuss feedback.

Event

Composition #0

Date: Sunday 12/21 2:30-5:30pm

Location: Wonderville, 1186 Broadway, Brooklyn, NY

Free RSVP

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.

Related Work

• FARM (The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design) Site
• Tidal Cycles - a Haskell live coding library. Site
• Godfried T. Toussaint, Ed. 2005. The Euclidean algorithm generates traditional musical rhythms. Paper
• Practice of Proof Site