miniKanren 2024
Fri 6 Sep 2024
Milan, Italy
co-located with
ICFP 2024
Toggle navigation
Attending
Venue: Allianz MiCo (Milano Convention Centre)
Program
miniKanren 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 6
Venue
Allianz MiCo (Milano Convention Centre)
Room name
Meeting 6
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
Fri 6 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:30 - 10:30
FUNARCH Keynote
FUNARCH
at
Meeting 6
Chair(s):
Michael Sperber
Active Group GmbH
09:30
60m
Keynote
Architecting Functional Programs
FUNARCH
Marco Sampellegrini
11:00 - 12:30
FUNARCH Talks #1
FUNARCH
at
Meeting 6
Chair(s):
Perdita Stevens
University of Edinburgh
11:00
45m
Research paper
F3: A Compiler For Feature Engineering
FUNARCH
Weixi Ma
Meta
,
Arnaud Venet
Facebook
,
Junhua Gu
Meta
,
Subbu Subramanian
Meta
,
Siyu Wang
Meta
,
Rocky Liu
Meta
,
Daniel Friedman
Indiana University
,
Yafei Yang
11:45
45m
Experience report
Design and implementation of a verified interpreter for additive manufacturing programs
FUNARCH
Matthew Sottle
Lawrence Livermore National Laboratory
,
Mohit Tekriwal
Lawrence Livermore National Laboratory
14:00 - 15:30
FUNARCH Talks #2
FUNARCH
at
Meeting 6
Chair(s):
Michael Sperber
Active Group GmbH
14:00
45m
Experience report
Applying Continuous Formal Methods to Cardano
FUNARCH
James Chapman
Input Output
,
Arnaud Bailly
IOHK
,
Polina Vinogradova
IOHK
14:45
45m
Experience report
Continuations: what have they ever done for us?
FUNARCH
Marc Kaufman
Central European University
,
Bogdan Popa
16:00 - 17:30
FUNARCH Talks #3
FUNARCH
at
Meeting 6
Chair(s):
Perdita Stevens
University of Edinburgh
16:00
45m
Experience report
Bidirectional Data Transformations
FUNARCH
Marcus Crestani
Active Group GmbH
,
Markus Schlegel
Active Group GmbH
,
Marco Schneider
Active Group GmbH
16:45
45m
Panel
Future of FUNARCH
FUNARCH
Michael Sperber
Active Group GmbH
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 6
FUNARCH
FUNARCH Keynote
FUNARCH
FUNARCH Talks #1
FUNARCH
FUNARCH Talks #2
FUNARCH
FUNARCH Talks #3
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
17:00
15
30
45
Meeting 6
FUNARCH
Architecting Functional Programs
09:30 - 10:30
FUNARCH
F3: A Compiler For Feature Engineering
11:00 - 11:45
FUNARCH
Design and implementation of a verified interpreter for additive manufa ...
11:45 - 12:30
FUNARCH
Applying Continuous Formal Methods to Cardano
14:00 - 14:45
FUNARCH
Continuations: what have they ever done for us?
14:45 - 15:30
FUNARCH
Bidirectional Data Transformations
16:00 - 16:45
FUNARCH
Future of FUNARCH
16:45 - 17:30
x
Wed 4 Dec 09:28