panagiotis manolios tzixnsdvccgatechedu acl2 2006 international workshop acl2 theorem prover applications httpwwwccgatechedumanoliosacl206 call papers august 1516 2006 seattle washington part floc 2006 httpresearchmicrosoftcomfloc06 hosted cav 2006 ijcar 2006 important dates submission deadline april 12 2006 acceptance notification june 9 2006 final version due july 24 2006 scope conference acl2 2006 sixth series workshops occur every 18 months acl2 2006 hosted cav ijcar conferences part floc 2006 federated logic conference acl2 workshop major technical forum users acl2 theorem proving system addition reflected program committee encourage participation users theorem provers persons interested application theorem proving technology invite papers acl2related topic including limited applications theorem prover proposals acl2 theorem prover improvements especially illustrated experimental extensions systems comparisons theorem provers programming languages specification languages solved unsolved challenge problems implementations connecting acl2 systems paper submissions submissions must made electronically pdf format following instructions acl2 2006 web site submissions must use acm sig proceedings format lettersize paper see httpwwwacmorgsigspubsproceedtemplatehtml two categories papers accepted long 10 pages short 4 pages authors assume workshop audience working knowledge acl2s syntax basic commands modeling techniques papers contain short abstract approximately 150 words clearly stating contribution submission authors accepted papers required give presentation workshop papers selfcontained case traditionally applicable strongly encourage authors provide acl2 books script files provide full details along instructions process books acl2 accepted papers books mirrored acl2 home page included future acl2 distributions expect provide workshop proceedings include proceedings acm digital library organization chairs panagiotis manolios georgia institute technology matthew wilding rockwell collins inc publications ruben gamboa university wyoming webmasters sudarshan srinivasan georgia tech daron vroon georgia tech program committee ruben gamboa university wyoming usa david greve rockwell collins inc usa warren hunt university texas austin usa deepak kapur university new mexico usa matt kaufmann university texas austin usa bill legato nsa usa panagiotis manolios georgia institute technology usa jose meseguer university illinois urbanachampaign usa paul miner nasa langley research center usa j strother moore university texas austin usa lawrence c paulson university cambridge uk jose luis ruizreina university seville spain david russinoff advanced micro devices inc usa jun sawada ibm austin research laboratory usa mary sheeran chalmers university technology sweden konrad slind university utah usa matthew wilding rockwell collins inc usa wed 06 aug 2008 192300 0500 uai acl2 2006 call papers