ACSD
DATE
DAC
CHARME/FMCAD
ICCAD  (???)
ICCD  (MAY 13 California Oct)
FSE(FMICS) (May 15)
ASYNC
MEMOCODE
FMGALS
CODES+ISSS
HLDVT

AINT
CHDL
EURO-DAC

(ACiD-WG Workshop; UK Asynchronous Forum)


FM (FME)  (New Castle July)
IFM (May 18 Netherland Dec)
FMOOD (Greece June )
FORTE/PSTV (Taipei Oct)
MPC (bi-yearly)
AMAST (bi-yearly)
MFPS
AVOCS (June 13 Warwick Sept)


TACAS
AVIS

CONCUR
INFINITY
FIT (May 31 California Aug)

CAV
GDV


FMSD
STTT
FAC
IPL
Fund. Inf.
Act. Inf.