ICFP 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
Toggle navigation
Attending
Hotel: The Westin Seattle
Call For Sponsorship
Travel Information
Local Information
Registration
Accessibility
Code of Conduct
Virtual participation
Instructions for Presenters
Diversity and Inclusion
Program
ICFP Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Tracks
ICFP 2023
Artifact Evaluation
ICFP Keynotes
ICFP Papers and Events
ICFP Workshops
Student Research Competition
Diversity, Equity, and Inclusion
Tutorials
- Vehicle - A Specification Language for Neural Network Properties
- Teaching and Learning Compilers Incrementally
- Teaching Functional Programming
- Porting Lwt applications to OCaml 5 and Eio
Volunteers
Workshops
DeclMed
Erlang
Erlang
- Keynote: Code Analysis at WhatsApp
- Invited Talk: Set-theoretic Types for Erlang
- Invited Talk: A Type System for Elixir
FARM
FHPNC
FUNARCH
HIW
HOPE
Higher-order, Typed, Inferred, Strict: ML Family Workshop
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Artifact Evaluation
ICFP Papers and Events
Student Research Competition
Poster Committee
Program Committee
Tutorials
Volunteers
Contributors
People Index
Workshops
DeclMed
Organizing Committee
Program Committee
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
FUNARCH
Program Committee
HIW
Program Committee
HOPE
Program Committee
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Program Committee
Organizing Committee
OCaml
Program Committee
PLMW @ ICFP
Organizing Committee
Scheme
Organizing Committee
Program Committee
TyDe
Organization Committee
Program Committee
miniKanren
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2023
(
series
) /
The Westin Seattle
/
Room information: Vashon 2
Venue
The Westin Seattle
Room name
Vashon 2
Floor
3
Capacity
20
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-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)
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+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 8 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
FARM Session 1
FARM
at
Vashon 2
Chair(s):
John Leo
Halfaya Research
,
Mae Milano
University of California at Berkeley
09:00
30m
Talk
Weighted Refinement Types for Counterpoint Composition
Recorded
FARM
Youyou Cong
Tokyo Institute of Technology
DOI
09:30
30m
Talk
The Beauty and Elegance of Functional Reactive Animation
FARM
Ivan Perez
NASA Ames Research Center
DOI
10:00
30m
Talk
Demo: A functional EDSL for mathematics visualization that compiles to JavaScript
Recorded
FARM
Allister Beharry
University of London
DOI
Pre-print
Media Attached
11:00 - 12:30
FARM Session 2
FARM
at
Vashon 2
Chair(s):
John Leo
Halfaya Research
,
Mae Milano
University of California at Berkeley
11:00
30m
Talk
Exploring Self-Embedded Knitting Programs with Twine
FARM
Amy Zhu
University of Washington
,
Adriana Schulz
University of Washington
,
Zachary Tatlock
University of Washington
DOI
Pre-print
11:30
30m
Talk
Homotopy Type Theory for Sewn Quilts
FARM
Charlotte Clark
Worcester Polytechnic Institute
,
Rose Bohrer
Worcester Polytechnic Institute
DOI
Pre-print
12:00
30m
Talk
Demo: Sonic Catalog of Rare Diseases
FARM
Stephen Taylor
University of Illinois Urbana-Champaign
,
Aditi Kantipuly
Centers for Disease Control and Prevention
DOI
Sat 9 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
DeclMed: Session 1
DeclMed
at
Vashon 2
Chair(s):
Sierra Moxon
Lawrence Berkeley National Laboratory
09:00
5m
Day opening
Welcome and Opening Remarks
DeclMed
Stephen Ramsey
Oregon State University
09:05
25m
Talk
Towards Higher-level Abstractions for Molecular Programming
DeclMed
Peter-Michael Osera
Grinnell College
09:30
55m
Keynote
Strange loops: journeys in declarative logic programming in genomics and beyond
DeclMed
Christopher Mungall
Lawrence Berkeley National Laboratory
Media Attached
11:00 - 12:30
DeclMed: Session 2
DeclMed
at
Vashon 2
Chair(s):
Sierra Moxon
Lawrence Berkeley National Laboratory
10:50
25m
Talk
Modeling Graph-Based Morphology of the Synaptic Spine Head
DeclMed
Matthew Hur
University of California, Irvine
11:15
25m
Talk
Why code in Python+C if you can code in Lisp+Zig?
DeclMed
Pjotr Prins
University of Tennessee Health Science Center
File Attached
11:40
25m
Talk
Propagator networks for degenerate computation
DeclMed
Arun Isaac
University College London (UCL)
File Attached
12:05
25m
Talk
Functional Pearl: Signature Memoization for Drug Repurposing
DeclMed
Jeff Henrikson
Media Attached
File Attached
14:00 - 15:30
DeclMed: Session 3
DeclMed
at
Vashon 2
Chair(s):
Arun Isaac
University College London (UCL)
13:45
20m
Talk
Declarative Programming for Designing Neuro-Symbolic Learning Models
Remote
DeclMed
Parisa Kordjamshidi
Michigan State University
File Attached
14:05
25m
Talk
Biolink Model: a Universal Schema for Knowledge Graphs in Clinical, Biomedical, and Translational Science
DeclMed
Sierra Moxon
Lawrence Berkeley National Laboratory
14:30
55m
Keynote
NCATS' Biomedical Data Translator - Connecting the Dots
DeclMed
Tyler Beck
National Center for Advancing Translational Sciences
16:00 - 17:30
DeclMed: Session 4
DeclMed
at
Vashon 2
Chair(s):
Arun Isaac
University College London (UCL)
15:45
20m
Talk
Addressing Treatment-Relevance in Biomedical Relation Extraction
Remote
DeclMed
Abdulateef Almudaifer
University of Alabama Birmingham
16:05
25m
Talk
Aggregating combinatorial biomedical graph ranking results for drug repurposing
DeclMed
Daniel Korn
Every Cure
16:30
55m
Keynote
The Algorithm for Precision Medicine
DeclMed
Matthew Might
University of Alabama at Birmingham | Harvard Medical School
17:25
5m
Day closing
Closing Remarks
DeclMed
William E. Byrd
University of Alabama at Birmingham, USA
Fri 8 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
Vashon 2
FARM
FARM Session 1
FARM
FARM Session 2
Sat 9 Sep
Displayed time zone:
Pacific Time (US & Canada)
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
Vashon 2
DeclMed
DeclMed: Session 1
DeclMed
DeclMed: Session 2
DeclMed
DeclMed: Session 3
DeclMed
DeclMed: Session 4
Fri 8 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Vashon 2
FARM
Recorded
Weighted Refinement Types for Counterpoint Composition
09:00 - 09:30
FARM
The Beauty and Elegance of Functional Reactive Animation
09:30 - 10:00
FARM
Recorded
Demo: A functional EDSL for mathematics visualization that compiles to ...
10:00 - 10:30
FARM
Exploring Self-Embedded Knitting Programs with Twine
11:00 - 11:30
FARM
Homotopy Type Theory for Sewn Quilts
11:30 - 12:00
FARM
Demo: Sonic Catalog of Rare Diseases
12:00 - 12:30
Sat 9 Sep
Displayed time zone:
Pacific Time (US & Canada)
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
Vashon 2
DeclMed
Welcome and Opening Remarks
09:00 - 09:05
DeclMed
Towards Higher-level Abstractions for Molecular Programming
09:05 - 09:30
DeclMed
Strange loops: journeys in declarative logic programming in genomics an ...
09:30 - 10:25
DeclMed
Modeling Graph-Based Morphology of the Synaptic Spine Head
10:50 - 11:15
DeclMed
Why code in Python+C if you can code in Lisp+Zig?
11:15 - 11:40
DeclMed
Propagator networks for degenerate computation
11:40 - 12:05
DeclMed
Functional Pearl: Signature Memoization for Drug Repurposing
12:05 - 12:30
DeclMed
Remote
Declarative Programming for Designing Neuro-Symbolic Learning Models
13:45 - 14:05
DeclMed
Biolink Model: a Universal Schema for Knowledge Graphs in Clinical, Bio ...
14:05 - 14:30
DeclMed
NCATS' Biomedical Data Translator - Connecting the Dots
14:30 - 15:25
DeclMed
Remote
Addressing Treatment-Relevance in Biomedical Relation Extraction
15:45 - 16:05
DeclMed
Aggregating combinatorial biomedical graph ranking results for drug rep ...
16:05 - 16:30
DeclMed
The Algorithm for Precision Medicine
16:30 - 17:25
DeclMed
Closing Remarks
17:25 - 17:30
x
Mon 30 Dec 18:18