Semantics of Effects, Resources, and Applications


NII Shonan Meeting Seminar 103


Programs are dynamic entities that interact with their environment in a complex way. Understanding and controlling this behaviour is one of the central themes in programming language research. Several approaches have been proposed with the aim of representing the  behavior of a program as some abstract mathematical structure that is manageable to program analysis. Formal semantics has provided the needed tools in the forms of effects and resources to make this abstraction effective and useful. The advantage of this approach is that program can be statically analyzed in order to verify that their behavior meet given specifications.

The goal of the school is to share the cutting-edge techniques and various research problems in the semantic study of effects and resources in programming languages.


  • Marco Gaboardi –
    University at Buffalo, The State University of New York.
  • Shin-ya Katsumata –
    Research Institute for Mathematical Sciences, Kyoto University.


  • Chung-Kil Hur  – Seoul National University
  • Deepak Garg  – Max Planck Institute for Software Systems
  • Sam Lindley  – The University of Edinburgh
  • Paul-André Melliès – University Paris Diderot
  • Ulrich Schöpp – Ludwig-Maximilians-Universtät München
  • Niki Vazou – University of Maryland




The participation fee including full board, meeting fees and applicable taxes is 12,500 JPY per day.

  • Participants need to share a twin room (two participants per room).
  • Excursion fee, around 5,000 JPY, is not included in the participation fee.
  • NII Shonan School will NOT support travel for any participants.

We suggest students to bring their own personal computer at the School.