| Abstract: | This volume contains the Proceedings of A Tutorial Workshop on Realizability Semantics and Applications. The workshop was associated to the 1999 Federated Logic Conference, held in Trento, Italy, from June 30 to July 1, 1999.There has been recently a reawaking of interest in many aspects of realizability interpretations---especially as regards semantics of type theories for constructive reasoning and semantics of programming languages. As the details of realizability can be quite technical, it seemed appropriate to have a tutorial workshop, connected to the Federated Logic Conference, aimed at offering presentations of the various aspects of realizability and directed to a wide audience, not necessarily only for the experts in the field.The Tutorial Workshop on Realizability Semantics and Applications was proposed to the 1999 Federated Logic Conference, Trento, June 29-July 12, 1999, was accepted, and is organized around several tutorial lectures on history, basic definitions and results, recent applications, connections to category theory and then offers a few contributed research talks of 30 minutes each.The Tutorial Presenters are: |
