Erlang 2024
Mon 2 Sep 2024 Milan, Italy
co-located with ICFP 2024
VenueAllianz MiCo (Milano Convention Centre)
Room nameMeeting 3
Floor-1
Capacity40
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 2 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Welcome; Robots and SynthesisFARM at Meeting 3
09:00
10m
Day opening
Welcome to FARM!
FARM
Mae Milano Princeton University, Stephen Taylor University of Illinois Urbana-Champaign
09:10
35m
Talk
Using Functional Reactive Programming for Robotic Art
FARM
Eliane I. Schmidli OST – Eastern Switzerland University of Applied Sciences, Farhad Mehta OST – Eastern Switzerland University of Applied Sciences
09:45
23m
Talk
Bridging art and mathematics with Tessella: a Scala functional library for regular polygon finite tessellations of a plane
FARM
10:08
22m
Talk
Functional Curves and Surfaces: Algebraic Geometry Inspired Visuals in Hydra
FARM
Yoni Maltsman Harvey Mudd College
11:00 - 12:30
Livecoding and SemanticsFARM at Meeting 3
Chair(s): Mae Milano Princeton University
11:00
22m
Talk
Trane: Musical Janet on the Web
FARM
11:22
22m
Talk
From Konnakol to Live Coding
FARM
Alex McLean Then Try This
11:45
22m
Talk
Demo: Composable Compositions in Tonart
FARM
12:07
22m
Talk
The Maquette Monad
FARM
14:00 - 15:30
Music GenerationFARM at Meeting 3
14:00
22m
Talk
Demo: A Geometric Approach to Generate Musical Rhythmic Patterns in Haskell
FARM
Xavier Góngora Universidad Nacional Autónoma de México
Link to publication DOI
14:22
22m
Talk
Diffusion-Based Sound Synthesis in Music Production
FARM
Pierre-Louis Suckrow Berlin University of the Arts, Technical University of Berlin, Christoph Johannes Weber University of Television and Film Munich, LMU Munich, Sylvia Rothe University of Television and Film Munich
14:45
10m
Talk
Demo: Functional Sound Design
FARM
Stefano Panelli Conservatorio A. Vivaldi Alessandria
14:55
35m
Talk
A Progressive-Adaptive Music Generator (PAMG): An Approach to Interactive Procedural Music for Videogames
FARM
Alvaro Lopez Duarte University of California Riverside

Fri 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Session 2miniKanren at Meeting 3
11:00
30m
Talk
Relational Reactive Programming: miniKanren for the Webremote
miniKanren
S: Evan Donahue University of Tokyo
11:30
30m
Talk
To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decisionin-person
miniKanren
S: Xiangyu Guo Arizona State University, Ajay Bansal Arizona State University
12:00
30m
Talk
Six Ways to Implement Divisibility by Three in miniKanrenin-person
miniKanren
Brett Schreiber None, S: Brysen Pfingsten Seton Hall University, Jason Hemann Seton Hall University
Pre-print
16:00 - 17:30
Session 4miniKanren at Meeting 3
16:00
30m
Talk
Improving stableKanren’s Backward Compatibilityin-person
miniKanren
S: Xiangyu Guo Arizona State University, Ajay Bansal Arizona State University
16:30
30m
Talk
A Relational Solver for Constraint-based Type Inferenceremote
miniKanren
Dmitri Boulytchev Saint Petersburg State University, S: Eridan Domoratskiy ITMO University

Mon 2 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Meeting 3

Fri 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Meeting 3