PLMW @ ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
co-located with ICFP 2024
ICFP 2024 (series) / PLMW @ ICFP 2024 (series) / Allianz MiCo (Milano Convention Centre) /

Room information: Meeting 3

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
Mario Càllisto None
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
George Ash None
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
Jared Gentner None
12:07
22m
Talk
The Maquette Monad
FARM
Carlos Agon IRCAM, Karim Haddad IRCAM, Gonzalo Romero-Garcia IRCAM
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

09:00 - 10:30
Session 1miniKanren at Meeting 3
09:00
60m
Keynote
High-Performance Logic Programming on Servers, Clusters, and GPUsin-person
miniKanren
K: Kristopher Micinski Syracuse University
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
14:00 - 15:30
Session 3miniKanren at Meeting 3
14:00
60m
Keynote
Hosted miniKanren: Reconciling Optimizing Compilation and Extensibilityin-person
miniKanren
K: Michael Ballantyne Northeastern University
15:00
30m
Talk
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskellremote
miniKanren
Nikolai Kudasov Innopolis University, S: Artem Starikov Innopolis 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

FARM

Welcome; Robots and Synthesis

FARM

Livecoding and Semantics

FARM

Music Generation

FARM

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

miniKanren

Session 1

miniKanren

Session 2

miniKanren

Session 3

miniKanren

Session 4

Mon 2 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Meeting 3
FARM
Welcome to FARM!
09:00 - 09:10
FARM
Using Functional Reactive Programming for Robotic Art
09:10 - 09:45
FARM
Bridging art and mathematics with Tessella: a Scala functional library ...
09:45 - 10:08
FARM
Functional Curves and Surfaces: Algebraic Geometry Inspired Visuals in ...
10:08 - 10:30
FARM
Trane: Musical Janet on the Web
11:00 - 11:22
FARM
From Konnakol to Live Coding
11:22 - 11:45
FARM
Demo: Composable Compositions in Tonart
11:45 - 12:07
FARM
The Maquette Monad
12:07 - 12:30
FARM
Demo: A Geometric Approach to Generate Musical Rhythmic Patterns in Haskell
14:00 - 14:22
FARM
Diffusion-Based Sound Synthesis in Music Production
14:22 - 14:45
FARM
Demo: Functional Sound Design
14:45 - 14:55
FARM
A Progressive-Adaptive Music Generator (PAMG): An Approach to Interacti ...
14:55 - 15:30

Fri 6 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Meeting 3
miniKanrenin-person
High-Performance Logic Programming on Servers, Clusters, and GPUs
09:00 - 10:00
miniKanrenremote
Relational Reactive Programming: miniKanren for the Web
11:00 - 11:30
miniKanrenin-person
To Be or Not To Be: Adding Integrity Constraints to stableKanren to Mak ...
11:30 - 12:00
miniKanrenin-person
Six Ways to Implement Divisibility by Three in miniKanren
12:00 - 12:30
miniKanrenin-person
Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility
14:00 - 15:00
miniKanrenremote
typedKanren: Statically Typed Relational Programming with Exhaustive Ma ...
15:00 - 15:30
miniKanrenin-person
Improving stableKanren’s Backward Compatibility
16:00 - 16:30
miniKanrenremote
A Relational Solver for Constraint-based Type Inference
16:30 - 17:00