Electronic Notes in Theoretical Computer Science, Volume 23

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

Volume 23, Number 2, 1999

SMC'99 First International Workshop on Symbolic Model Checking
Trento, Italy, July 6, 1999

Volume 23, Number 3, 1999

a service of Schloss Dagstuhl - Leibniz Center for Informatics