ICFP 2023 (series) / FARM 2023 (series) /
FARM 2023 Program
This is the FARM 2023 program - see the full program for ICFP 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | FARM Session 1FARM at Vashon 2 Chair(s): John Leo Halfaya Research, Mae Milano University of California at Berkeley | ||
09:00 30mTalk | Weighted Refinement Types for Counterpoint CompositionRecorded FARM Youyou Cong Tokyo Institute of Technology DOI | ||
09:30 30mTalk | The Beauty and Elegance of Functional Reactive Animation FARM Ivan Perez NASA Ames Research Center DOI | ||
10:00 30mTalk | Demo: A functional EDSL for mathematics visualization that compiles to JavaScriptRecorded FARM Allister Beharry University of London DOI Pre-print Media Attached | ||
11:00 - 12:30 | FARM Session 2FARM at Vashon 2 Chair(s): John Leo Halfaya Research, Mae Milano University of California at Berkeley | ||
11:00 30mTalk | Exploring Self-Embedded Knitting Programs with Twine FARM Amy Zhu University of Washington, Adriana Schulz University of Washington, Zachary Tatlock University of Washington DOI Pre-print | ||
11:30 30mTalk | Homotopy Type Theory for Sewn Quilts FARM DOI Pre-print | ||
12:00 30mTalk | Demo: Sonic Catalog of Rare Diseases FARM Stephen Taylor University of Illinois Urbana-Champaign, Aditi Kantipuly Centers for Disease Control and Prevention DOI | ||
19:30 - 22:30 | FARM Performance EveningFARM at Reisbeck Auditorium Chair(s): Kaley Eaton Cornish College of the Arts Doors open at 7:00pm. Open at no charge to all participants of ICFP and/or any workshop. It is also open to the public at no charge, but conference attendees have preference and seating may be limited. Address is 2017 Boren Ave, the glass building to the right of the Performance Hall. | ||
19:30 15mOther | As music overheard, as image made light. FARM | ||
19:50 60mKeynote | Keynote: Perfectly Imperfect: Music, Math and the Keyboard FARM Gloria Cheng UCLA DOI | ||
21:00 15mOther | Solo Piano Performance FARM Gloria Cheng UCLA | ||
21:20 15mOther | Humanity: From Survival to Revival FARM | ||
21:40 20mOther | Accelerometers as an Instrument FARM | ||
22:05 15mOther | Aurora: Goddess of Dawn FARM | ||