FLoC'99 Second Federated Logic Conference
Volume 23, Number 1, 1999
A Tutorial Workshop on Realizability Semantics and Applications
A workshop associated to the 1999 Federated Logic Conference
Trento, Italy, June 30 - July 1, 1999
Sergei N. Artëmov
: Uniform provability realization of intuitionistic logic, modality and lambda-terms.
: Effectivity and Density in Domains: A Survey.
: A type theory which is complete for Kreisel's modified realizability.
: Matching typed and untyped realizability.
: Variations on Realizability: Simple examples realizing axioms of choice.
Volume 23, Number 2, 1999
SMC'99 First International Workshop on Symbolic Model Checking
Trento, Italy, July 6, 1999
: Concurrent Symbolic Verification of Liveness Properties for Interleaved Models.
Volume 23, Number 3, 1999
CALCULEMUS 99 Systems for Integrated Computation and Deduction
Trento, Italy, July 11-12, 1999
: Building up hierarchical mathematical domains using functors in Theorema.
: Automatic derivation of the irrationality of e.