Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper) (PADL 2023 - : The 25th International Symposium on Practical Aspects of Declarative Languages)

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Who

Birthe van den Berg, Tom Schrijvers, Peter Dedecker

Track

PADL 2023

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

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 programSpecify a time band

Save

When

Mon 16 Jan 2023 11:00 - 11:30 at The Loft - Domain Specific Languages Chair(s): Sarat Chandra Varanasi

Birthe van den Berg

KU Leuven

Belgium

Tom Schrijvers

KU Leuven

Belgium

Peter Dedecker

KU Leuven

Belgium

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 16 Jan
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	Domain Specific LanguagesPADL at The Loft Chair(s): Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research

11:00 30m Talk		Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper) PADL Birthe van den Berg KU Leuven, Tom Schrijvers KU Leuven, Peter Dedecker KU Leuven
11:30 30m Talk		SwitchLog: A Logic Programming Language for Network Switches PADL Vaibhav Mehta Princeton University, Devon Loehr Princeton University, John Sonchack University of Pennsylvania, USA, David Walker Princeton University
12:00 30m Talk		Formalizing and Reasoning about Contracts between Agents PADL Dylan Flynn , Chasity Nadeau , Jeannine Shantz , Marcello Balduccini Saint Joseph's University, USA, Tran Cao Son New Mexico State University, Edward Griffor