Microsoft Research: Engage, Verify, Open (POPL 2019 - Research Papers)

Blogs (1) >>

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Track

POPL 2019 Research Papers

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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

Wed 16 Jan 2019 18:00 - 18:30 at Sala I - Wednesday Evening Program I

Abstract

I will give a brief overview of Microsoft Research (MSR), focusing on opportunities to engage with MSR on problems and projects in programming languages, distributed systems and verification.

YouTube Video

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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

Wed 16 Jan
Displayed time zone: Belfast change

18:00 - 18:30	Wednesday Evening Program IResearch Papers at Sala I

18:00 30m Talk		Microsoft Research: Engage, Verify, Open Research Papers Thomas Ball Microsoft Research Media Attached

Microsoft Research: Engage, Verify, Open

Wed 16 Jan
Displayed time zone: Belfast change

Thomas Ball

Microsoft Research

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Microsoft Research: Engage, Verify, Open

Program Display Configuration

Program Display Configuration

Wed 16 JanDisplayed time zone: Belfast change

Thomas Ball

Microsoft Research

Wed 16 Jan
Displayed time zone: Belfast change