Teaching Logic and Set Theory with Dafny (Dafny 2024) - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Who

Ran Ettinger, Hezi Daniel

Track

Time Zone

The program is currently displayed in (GMT) London.

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

Sun 14 Jan 2024 11:36 - 11:54 at Turing Lecture - Testing and Teaching / Comparison Chair(s): Joseph Tassarotti

Abstract

In this talk we report on the adoption of Dafny for teaching a second-year course on Logic and Set Theory to computer science students.

Ran Ettinger

NVIDIA and Ben-Gurion University of the Negev and Israel Academic College in Ramat Gan

Hezi Daniel

Israel Academic College in Ramat Gan

Time Zone

The program is currently displayed in (GMT) London.

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

Sun 14 Jan
Displayed time zone: London change

	11:00 - 12:30	Testing and Teaching / ComparisonDafny at Turing Lecture Chair(s): Joseph Tassarotti NYU

	11:00 18m Talk		Dafny Test Generationremote Dafny Aleksandr Fedchin Tufts University, Jeffrey S. Foster Tufts University, Zvonimir Rakamaric Amazon Web Services, Aaron Tomb Amazon Web Services
	11:18 18m Talk		Randomised Testing of the Dafny Compiler Dafny Alastair F. Donaldson Imperial College London, Dilan Sheth Imperial College London, Jean-Baptiste Tristan Amazon Web Services, Alex Usher Imperial College London
	11:36 18m Talk		Teaching Logic and Set Theory with Dafny Dafny Ran Ettinger NVIDIA and Ben-Gurion University of the Negev and Israel Academic College in Ramat Gan, Hezi Daniel Israel Academic College in Ramat Gan
	11:54 18m Talk		Learn 'em Dafny Dafny James Noble Creative Research & Programming Pre-print
	12:12 18m Talk		Colouring Flags with Dafny & Idris Dafny Jan de Muijnck-Hughes University of Strathclyde, James Noble Creative Research & Programming