Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cs.cmu.edu/afs/cs/user/birkedal/www/realizability-workshop/
Email: wr@athena.disi.unige.it
Organizers: Dana Scott, Giuseppe Rosolini, Andrew M. Pitts, Alex Simpson, Jaap van Oosten, Giuseppe Longo, Bernhard Reus, Dag Normann, Lars Birkedal
Deadline for abstracts: April 15, 1999
Description:
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. But, the details of realizability can be quite technical, and so the aim of the workshop is to have several tutorial
lectures on history, basic definitions and results, recent applications, connections to category theory, and then leave room for contributed research talks of 30 minutes
each. Beside the topics mentioned above, we solicit contributions on applications of realizability to topics such as: Recursive Definitions of Types, Connections with
Synthetic/Axiomatic Domain Theory, Applications to Normalization, Modal Logics, Logical Relations, Uses for Specification and Verification, Automated
Deduction, and Extraction of Algorithms. Reports on work in progress are encouraged.
The plan for the workshop is to have three tutorial sessions on various aspects of realizability, and four sessions devoted to technical contributions, but adjustments may take place when the final list of papers is available.
Speakers: Jaap van Oosten, Andrew Pitts, Aurelio Carboni, Luke Ong, Dag Normann, Ulrich Berger, Bernhard Reus
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.