FHPNC 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
co-located with
ICFP 2023
Toggle navigation
Attending
Hotel: The Westin Seattle
Program
FHPNC Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Track/Call
Organization
FHPNC 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
FHPNC 2023
FHPNC 2022
FHPNC 2021
FHPNC 2020
FHPNC 2019
FHPC 2018
FHPC 2017
FHPC 2016
Sign in
Sign up
ICFP 2023
(
series
) /
FHPNC 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
Thu 21 Nov 15:48