hongjun zheng llwepdsemdesignscom 6th international conference formal engineering methods nov 812 2004 seattle usa httpresearchmicrosoftcomconferencesicfem2004 early registration deadline october 1 2004 httpresearchmicrosoftcomconferencesicfem2004registrationhtm conference advance program httpresearchmicrosoftcomconferencesicfem2004agendahtm icfem 2004 aims bring together interested application formal engineering methods computer systems researchers practitioners industry academia government encouraged attend help advance state art interested work incorporated real production systems theoretical work promises bring practical tangible benefit icfem 2004 features one workshop five halfday tutorials 4 invited talks 30 technical papers 9 sessions covering various aspects formal engineering formal specification verfication analysis model checking invited talks adoption formal methods industry acl2 experience j strother moore department computer sciences university texas austin formal methods make real difference peter g neumann principal scientist sri international computer science lab engineering quality software amitabh srivastava corporate vicepresident core windows microsoft corporation clp approach modelling systems joxan jaffar professor dean school computing national university singapore workshop international workshop software verification validation svv httpwwwcompnusedusgabhiksvv04 monday november 8 900am 530pm oneday workshop focus theoretical techniques practical methods well case studies verification conventional embedded software systems goal workshop promote discussion novel combinations different methodologies verifying validating software systems well study individual contribution thes methodologies halfday tutorials tutorial 1 modelbased development combining engineering approaches formal techniques bernhard schatz fakultat fur informatik tu munchen monday november 8 830am 1200pm tutorial 2 tutorial raise language method tools chris george unuiist monday november 8 130pm 500pm tutorial 3 modelbased testing spec jonathan jacky university washington tuesday november 9 830am 1200pm tutorial 4 formal engineering industrial software development introduction sofl specification language method shaoying liu hosei university tuesday november 9 130pm 500pm tutorial 5 software model checking e clarke kroening carnegiemellon university tuesday november 9 130pm 500pm conference chair dines bjørner national university singapore sg program cochairs jim davies oxford university uk wolfram schulte microsoft research us local organization mike barnett microsoft research us satellite event chair hongjun zheng semantic designs us program committee adnan aziz university texas us richard banach university manchester uk egon börger university pisa jonathan bowen london south bank university uk manfred broy university munich ge michael butler university southampton uk ana cavalcanti university kent uk dan craigen ora ca jin song dong national university singapore sg matthew dwyer kansas state university us john fitzgerald university newcastle upon tyne uk david garlan carnegie mellon university pittsburgh us thomas jensen irisacnrs campus de beaulieu rennes fr jim larus microsoft research us mark lawford mcmaster university ca huimin lin chinese academy sciences bejing ch peter lindsay university queensland au shaoying liu hosei university jp zhiming liu unuiist macau sar china brendan mahony department defense au marc frappier université de sherbrooke québec ca william bradley martin national security agency us david notkin university washington us jeff offutt george mason university us harald ruess computer science laboratory sri us augusto sampaio universidade federal de pernambuco br thomas santen technical university berlin ge doug smith kestrel institute us graeme smith university queensland au paul swatman stuttgart inst man tech ge sofiene tahar concordia university ca th tse university hong kong hong kong yi wang uppsala university se farn wang national taiwan university taiwan jeannette wing university carnegie mellon us jim woodcock university kent uk tue 05 aug 2008 165118 0700 uai icfem 2004 call participation seattle usa nov 812 2004