LICS'98 Affiliated Workshops Pre-LICS workshops (June 19-20) Probabilistic methods in verification Real Number Computation Post-LICS workshops (June 25) Logic & Diagrammatical Information Model checking & security protocols Game semantics