Shonan Meeting 233: Foundations of Computation and Creative Computing

Though the connections between programming languages and mathematics, logic, and philosophy are perhaps best-known, a growing body of research has established connections with creative domains, including both liberal arts (linguistics) and fine arts (music, fiber crafts, live stage performance, visual art).

Programming language technologies have proven their impact in creative industries. Starting with early programmable automation, like the Jacquard loom, programming remains essential to the textile industry, often through computer-aided design applications. In live arts, musicians and stage performers use code as an instrument. Programming is a vital tool, particularly in interactive digital media, for generating visual art content at scale. At the same time, academics have proposed new theoretical foundations for programming across these domains: refinement types for music, topology and homotopy type theory for fabric crafts, logic programming for procedural content generation. However, these applied and foundational developments have largely occurred in isolation from one another.

Meeting focus: The focus of this meeting is to build a bridge between foundational and applied scholarship on programming languages for creative domains such as the liberal and fine arts. We will address the following three research questions:

Schedule

Sunday, September 28th: Check-in

Monday, September 29th: Background and applications

Tuesday, September 30th: Approaches and Specifics

Wednesday, October 1st:

Thursday, October 2nd:

Participants

Organizers:

Invitees:

Instructions and Advice for Attendees

Gallery

Things created by the participants during the workshop.

Results and Notes

Read-outs, slides, and notes from the sessions will be posted. (Some may be password-protected.)