Career Panel (PLMW @ ICFP/SPLASH 2025)

Sun 12 - Sat 18 October 2025 Singapore

Who

Jens Palsberg, Robert Bruce Findler, Philippa Gardner, Daan Leijen, Richard A. Eisenberg

Track

PLMW @ ICFP/SPLASH 2025

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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

Sun 12 Oct 2025 14:00 - 14:40 at Seminar Room 1 - Session 3

Jens Palsberg

University of California, Los Angeles (UCLA)

United States

Robert Bruce Findler

Northwestern University

United States

Philippa Gardner

Imperial College London

United Kingdom

Daan Leijen

Microsoft Research

United States

Richard A. Eisenberg

Jane Street

United States

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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

Sun 12 Oct
Displayed time zone: Perth change

14:00 - 15:30	Session 3PLMW @ ICFP/SPLASH at Seminar Room 1

14:00 40m Panel		Career Panel PLMW @ ICFP/SPLASH Jens Palsberg University of California, Los Angeles (UCLA), Robert Bruce Findler Northwestern University, Philippa Gardner Imperial College London, Daan Leijen Microsoft Research, Richard A. Eisenberg Jane Street
14:45 45m Talk		Verified Software at Scale PLMW @ ICFP/SPLASH Philippa Gardner Imperial College London