miniKanren 2024
Fri 6 Sep 2024
Milan, Italy
co-located with
ICFP 2024
Toggle navigation
Attending
Venue: Allianz MiCo (Milano Convention Centre)
Program
Complete Program
Your Program
Fri 6 Sep
Track/Call
Organization
miniKanren 2024 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
miniKanren 2024
miniKanren 2023
mkTut2023
miniKanren 2022
miniKanren 2021
miniKanren 2020
miniKanren 2019
Sign in
Sign up
ICFP 2024
(
series
) /
miniKanren 2024 (
series
) /
Allianz MiCo (Milano Convention Centre)
/
Room information: Meeting 3
Venue
Allianz MiCo (Milano Convention Centre)
Room name
Meeting 3
Floor
-1
Capacity
40
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 Synthesis
FARM
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 Semantics
FARM
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 Generation
FARM
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 1
miniKanren 2024
at
Meeting 3
09:00
60m
Keynote
High-Performance Logic Programming on Servers, Clusters, and GPUs
in-person
miniKanren 2024
K:
Kristopher Micinski
Syracuse University
11:00 - 12:30
Session 2
miniKanren 2024
at
Meeting 3
11:00
30m
Talk
Relational Reactive Programming: miniKanren for the Web
remote
miniKanren 2024
S:
Evan Donahue
University of Tokyo
11:30
30m
Talk
To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
in-person
miniKanren 2024
S:
Xiangyu Guo
Arizona State University
,
Ajay Bansal
Arizona State University
12:00
30m
Talk
Six Ways to Implement Divisibility by Three in miniKanren
in-person
miniKanren 2024
Brett Schreiber
None
,
S:
Brysen Pfingsten
Seton Hall University
,
Jason Hemann
Seton Hall University
Pre-print
14:00 - 15:30
Session 3
miniKanren 2024
at
Meeting 3
14:00
60m
Keynote
Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility
in-person
miniKanren 2024
K:
Michael Ballantyne
Northeastern University
15:00
30m
Talk
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
remote
miniKanren 2024
Nikolai Kudasov
Innopolis University
,
S:
Artem Starikov
Innopolis University
Pre-print
16:00 - 17:30
Session 4
miniKanren 2024
at
Meeting 3
16:00
30m
Talk
Improving stableKanren’s Backward Compatibility
in-person
miniKanren 2024
S:
Xiangyu Guo
Arizona State University
,
Ajay Bansal
Arizona State University
16:30
30m
Talk
A Relational Solver for Constraint-based Type Inference
remote
miniKanren 2024
Dmitri Boulytchev
Saint Petersburg State University
,
S:
Eridan Domoratskiy
ITMO University
Mon 2 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting 3
miniKanren 2024
Session 1
miniKanren 2024
Session 2
miniKanren 2024
Session 3
miniKanren 2024
Session 4
Mon 2 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Meeting 3
miniKanren
in-person
High-Performance Logic Programming on Servers, Clusters, and GPUs
09:00 - 10:00
miniKanren
remote
Relational Reactive Programming: miniKanren for the Web
11:00 - 11:30
miniKanren
in-person
To Be or Not To Be: Adding Integrity Constraints to stableKanren to Mak ...
11:30 - 12:00
miniKanren
in-person
Six Ways to Implement Divisibility by Three in miniKanren
12:00 - 12:30
miniKanren
in-person
Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility
14:00 - 15:00
miniKanren
remote
typedKanren: Statically Typed Relational Programming with Exhaustive Ma ...
15:00 - 15:30
miniKanren
in-person
Improving stableKanren’s Backward Compatibility
16:00 - 16:30
miniKanren
remote
A Relational Solver for Constraint-based Type Inference
16:30 - 17:00
x
Thu 31 Oct 07:43