ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 20:30 - 21:00 at FARM - Session 2

Fri 27 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Session 2FARM at FARM
20:00
30m
Talk
Temporal-Scope Grammars for Polyphonic Music Generation
FARM
20:30
30m
Talk
The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms
FARM
Emilio Jesús Gallego Arias INRIA, Pierre Jouvelot MINES ParisTech, PSL University, Sylvain Ribstein Université Paris 7 Diderot, Dorian Desblancs École normale supérieure Paris-Saclay
21:00
30m
Talk
Human-in-the-loop Program Synthesis for Live Coding
FARM
Mark Santolucito Barnard College, Columbia University, USA
Pre-print