Demo: Counterpoint Analysis and Synthesis
We present an Agda library to help analyze and synthesize musical counterpoint. The tool allows expression of generic constraints in a higher-level musical language which are translated to a lower level for use both to find rule violations in existing music and to generate (using an SMT solver) new music satisfying the constraints. The tool is intended for use by musicians who need only have a basic knowledge of Agda.
Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
14:00 - 15:30
|Demo: New View on Plasma Fractals -- From the High Point of Array Languages|
|Demo: Counterpoint Analysis and SynthesisVirtual|
John Leo Halfaya ResearchPre-print