Haskell 2025
Sun 12 - Sat 18 October 2025
Singapore
co-located with
ICFP/SPLASH 2025
Toggle navigation
Attending
Venue (Sunday Workshops): NUS School of Computing
Venue (FARM Performance): Yong Siew Toh Conservatory
Venue (Main Conference): Marina Bay Sands Convention Centre
Hotels: Concorde Hotel Singapore
Hotels: Wyndham Singapore Hotel
Hotels: Rendezvous Hotel Singapore
Program
Haskell Program
Your Program
Filter by Day
Sun 12 Oct
Mon 13 Oct
Tue 14 Oct
Wed 15 Oct
Thu 16 Oct
Fri 17 Oct
Sat 18 Oct
Track/Call
Organization
Haskell 2025 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
Haskell 2025
Haskell 2024
Haskell 2023
Haskell 2022
Haskell 2021
Haskell 2020
Haskell 2019
Haskell 2018
Haskell 2017
Haskell 2016
Sign in
Sign up
ICFP/SPLASH 2025
(
series
) /
Haskell 2025 (
series
) /
NUS School of Computing
/
Room information: Video Conference Room (VCR)
Venue
NUS School of Computing
Room name
Video Conference Room (VCR)
Floor
2
Room number
COM1-02-13
Capacity
60
Room Information
Venue layout
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+08:00) Perth
.
Use conference time zone: (GMT+08:00) Perth
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-05: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-03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Sun 12 Oct
Displayed time zone:
Perth
change
09:00 - 10:30
Functional Programming
SPLASH FARM
at
Video Conference Room (VCR)
Chair(s):
Mae Milano
Princeton University
09:00
22m
Paper
Type-safe Blazon - Enforcing Pedantry in Heraldic Design
SPLASH FARM
Matthew Lutze
Aarhus University
09:22
22m
Demonstration
How to Score in the Art Racket
SPLASH FARM
Jared Gentner
None
09:45
22m
Demonstration
Rocq N'Roll
SPLASH FARM
Roger Burtonpatel
University of Pennsylvania
,
Claire Wang
University of Pennsylvania
10:07
22m
Demonstration
I Am Your Co-Pilot
SPLASH FARM
Dylan Davis
Swinburne University
11:00 - 12:30
Math and Music
SPLASH FARM
at
Video Conference Room (VCR)
Chair(s):
Mae Milano
Princeton University
11:00
22m
Paper
Cellular Automata as a Model For 1-bit Synthesis in Mitosis
SPLASH FARM
Kerry Hagan
University of Illinois, Urbana-Champaign
11:22
22m
Demonstration
Girard's Paradox as Structure Music
SPLASH FARM
Isidore Mohr
11:45
35m
Demonstration
Sonic Earth - An Algorithmic Performance Approach to Real-Time Environmental Sonification
SPLASH FARM
Riccardo Mazza
APM Saluzzo
14:00 - 15:07
Language Design
SPLASH FARM
at
Video Conference Room (VCR)
Chair(s):
Mae Milano
Princeton University
14:00
22m
Demonstration
Weft—Enabling Tidal on the Web
SPLASH FARM
Matthew Kaney
,
William Payne
UNC School of Information and Library Science
14:22
22m
Paper
Generalizing Turtle Geometry: An Extensible Language for Vector Graphics Drawing
SPLASH FARM
Alice Rixte
14:44
22m
Demonstration
Software-defined declarative synthesizer live-coding in a jupyter notebook
SPLASH FARM
Stephen Sherratt
Tarides
Sun 12 Oct
Displayed time zone:
Perth
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
Video Conference Room (VCR)
SPLASH FARM
Functional Programming
SPLASH FARM
Math and Music
SPLASH FARM
Language Design
SPLASH FARM
Sun 12 Oct
Displayed time zone:
Perth
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
Video Conference Room (VCR)
SPLASH FARM
Type-safe Blazon - Enforcing Pedantry in Heraldic Design
09:00 - 09:22
SPLASH FARM
How to Score in the Art Racket
09:22 - 09:45
SPLASH FARM
Rocq N'Roll
09:45 - 10:07
SPLASH FARM
I Am Your Co-Pilot
10:07 - 10:30
SPLASH FARM
Cellular Automata as a Model For 1-bit Synthesis in Mitosis
11:00 - 11:22
SPLASH FARM
Girard's Paradox as Structure Music
11:22 - 11:45
SPLASH FARM
Sonic Earth - An Algorithmic Performance Approach to Real-Time Environm ...
11:45 - 12:20
SPLASH FARM
Weft—Enabling Tidal on the Web
14:00 - 14:22
SPLASH FARM
Generalizing Turtle Geometry: An Extensible Language for Vector Graphic ...
14:22 - 14:44
SPLASH FARM
Software-defined declarative synthesizer live-coding in a jupyter notebook
14:44 - 15:07
x
Sun 26 Oct 07:12