text_combined: alan hu ejwcsubcca apologies receive multiple copies please reply email address corrections deletions thanks alan call participation fmcad 2004 formal methods computeraided design 5th international conference 1417 november 2004 austin texas usa early registration deadline october 15 2004 information advance program online registration see httpwwwfmcadorg2004 29 topquality refereed papers httpwwwfmcadorg2004acceptedadvproghtml invited speakers greg spirakis vicepresident intel corporation higherlevel refinementbased design wayne wolf princeton university challenges systemlevel design invited tutorials specification verification shared memory protocols consistency models chingtsun chou intel steven german ibm tj watson research center ganesh gopalakrishnan university utah challenge soc verification ken albin freescale semiconductor alan hunter arm eric sherk ibm tue 05 aug 2008 171130 0700 uai fmcad call participation