Proceedings

The proceedings will appear in the LNCS series with number 1657.

List of accepted papers:

In total, we had 25 submissions. Consequently, the percentage of accepted papers is 56%.

The expected date of shipping is September 1999.


Back to home-page TYPES'98

Bernhard Reus (30.04.98,30.07.99)