No.050 Software Contracts for Communication, Monitoring, and Security

Icon

NII Shonan Meeting Seminar 050

Organizers

Participants

Massimo Bartoletti
Stephen Chong
Ilaria Castellani
Christos Dimoulas
Tim Disney
Robby Findler
Cormac Flanagan
Ronald Garcia
Simon Gay
Michael Greenberg
Reiner Hähnle
David Van Horn
Atsushi Igarashi
Naoki Kobayashi
Jay McCarthy
Luca Padovani
Jeremy Siek
T. Stephen Strickland
Martin Sulzmann
Asumu Takikawa
Peter Thiemann
Sam Tobin-Hochstadt
Vasco T. Vasconcelos
Philip Wadler
David Walker
Nobuko Yoshida

Schedule

Shonan Schedule – Schedule