Formal Methods in Software Practice

FMSP 2000: Portland, Oregon, USA

FMSP 1998: Clearwater Beach, Florida, USA

maintained by Schloss Dagstuhl LZI, founded at University of Trier