Taming Concurrency for Verification using Multiparty Session Types (OPCT 2019)

Blogs (1) >>

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Track

OPCT 2019

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

Mon 14 Jan 2019 13:50 - 14:15 at Sala VII - Session Types, Graph-Rewriting Chair(s): António Ravara

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

Mon 14 Jan
Displayed time zone: Belfast change

13:50 - 15:30	Session Types, Graph-RewritingOPCT at Sala VII Chair(s): António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS

13:50 25m Talk		Taming Concurrency for Verification using Multiparty Session Types OPCT Kirstin Peters TU Berlin
14:15 25m Talk		From Testing Preorders to Flaky Tests OPCT Giovanni Bernardi Université Paris Diderot File Attached
14:40 25m Talk		Multiparty Reactive Sessions OPCT Cinzia Di Giusto Laboratoire I3S File Attached
15:05 25m Talk		Independence, Concurrency and Abstraction in Graph-Rewriting Processes OPCT Malte Lochau

Taming Concurrency for Verification using Multiparty Session Types

Mon 14 Jan
Displayed time zone: Belfast change

Kirstin Peters

TU Berlin

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Taming Concurrency for Verification using Multiparty Session Types

Program Display Configuration

Program Display Configuration

Mon 14 JanDisplayed time zone: Belfast change

Kirstin Peters

TU Berlin

Mon 14 Jan
Displayed time zone: Belfast change