DeclMed 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
co-located with ICFP 2023
VenueThe Westin Seattle
Room nameVashon 2
Floor3
Capacity20
Room InformationNo extra information available
Program

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 1FARM 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 CompositionRecorded
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 JavaScriptRecorded
FARM
Allister Beharry University of London
DOI Pre-print Media Attached
11:00 - 12:30
FARM Session 2FARM 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 1DeclMed 2023 at Vashon 2
Chair(s): Sierra Moxon Lawrence Berkeley National Laboratory
09:00
5m
Day opening
Welcome and Opening Remarks
DeclMed 2023
Stephen Ramsey Oregon State University
09:05
25m
Talk
Towards Higher-level Abstractions for Molecular Programming
DeclMed 2023
Peter-Michael Osera Grinnell College
09:30
55m
Keynote
Strange loops: journeys in declarative logic programming in genomics and beyondKeynote
DeclMed 2023
Christopher Mungall Lawrence Berkeley National Laboratory
Media Attached
11:00 - 12:30
DeclMed: Session 2DeclMed 2023 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 2023
Matthew Hur University of California, Irvine
11:15
25m
Talk
Why code in Python+C if you can code in Lisp+Zig?
DeclMed 2023
Pjotr Prins University of Tennessee Health Science Center
File Attached
11:40
25m
Talk
Propagator networks for degenerate computation
DeclMed 2023
Arun Isaac University College London (UCL)
File Attached
12:05
25m
Talk
Functional Pearl: Signature Memoization for Drug Repurposing
DeclMed 2023
Media Attached File Attached
14:00 - 15:30
DeclMed: Session 3DeclMed 2023 at Vashon 2
Chair(s): Arun Isaac University College London (UCL)
13:45
20m
Talk
Declarative Programming for Designing Neuro-Symbolic Learning ModelsRemote
DeclMed 2023
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 2023
Sierra Moxon Lawrence Berkeley National Laboratory
14:30
55m
Keynote
NCATS' Biomedical Data Translator - Connecting the DotsKeynote
DeclMed 2023
Tyler Beck National Center for Advancing Translational Sciences
16:00 - 17:30
DeclMed: Session 4DeclMed 2023 at Vashon 2
Chair(s): Arun Isaac University College London (UCL)
15:45
20m
Talk
Addressing Treatment-Relevance in Biomedical Relation ExtractionRemote
DeclMed 2023
Abdulateef Almudaifer University of Alabama Birmingham
16:05
25m
Talk
Aggregating combinatorial biomedical graph ranking results for drug repurposing
DeclMed 2023
Daniel Korn Every Cure
16:30
55m
Keynote
The Algorithm for Precision MedicineKeynote
DeclMed 2023
Matthew Might University of Alabama at Birmingham | Harvard Medical School
17:25
5m
Day closing
Closing Remarks
DeclMed 2023
William E. Byrd University of Alabama at Birmingham, USA

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:0030
Vashon 2

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change