Multiparty Reactive Sessions (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 14:40 - 15:05 at Sala VII - Session Types, Graph-Rewriting Chair(s): Antonio Ravara

File attachments

Slides (opct19-mrs.pdf)	1.63MiB

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): Antonio 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

Multiparty Reactive Sessions

Mon 14 Jan
Displayed time zone: Belfast change

Cinzia Di Giusto

Laboratoire I3S

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Multiparty Reactive Sessions

Program Display Configuration

Program Display Configuration

Mon 14 JanDisplayed time zone: Belfast change

Cinzia Di Giusto

Laboratoire I3S

Mon 14 Jan
Displayed time zone: Belfast change