Using Functional Reactive Programming to Define Safe Actor Systems (FTfJP 2022 - Workshop on Formal Techniques for Java-like Programs) - ECOOP 2022

Mon 6 June - Thu 7 July 2022 Berlin, Germany

Who

Nick Webster, Marco Servetto, Michael Homer

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

When

Tue 7 Jun 2022 10:00 - 10:30 at Stockholm 2 - FTfJP 2022 A Chair(s): Gary T. Leavens

File attachments

Using Functional Reactive Programming to Define Safe Actor Systems (FTfJP_2022_paper_0382.pdf)	478KiB

Nick WebsterAuthor

Victoria University of Wellington

Marco ServettoAuthor

Victoria University Wellington, New Zealand

Michael HomerAuthor

Victoria University of Wellington

New Zealand

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Session Program

Tue 7 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 10:30	FTfJP 2022 AFTfJP at Stockholm 2 Chair(s): Gary T. Leavens University of Central Florida

	09:00 30m Meeting		Welcome to FTfJP 22 FTfJP
	09:30 30m Paper		Rusty Links in Local Chains FTfJP A: James Noble Creative Research & Programming, A: Julian Mackay Victoria University of Wellington, A: Tobias Wrigstad Uppsala University File Attached
	10:00 30m Paper		Using Functional Reactive Programming to Define Safe Actor Systems FTfJP A: Nick Webster Victoria University of Wellington , A: Marco Servetto Victoria University Wellington, New Zealand, A: Michael Homer Victoria University of Wellington File Attached