Avocor create solutions for the modern workspace, unifying in-room and remote collaboration experiences by offering our customers flexible display solutions for every application and budget. Our affordable solutions are designed to enhance the workspace, from huddle rooms to conference spaces, our technology enables our customers to build the exact meeting system that integrates seemlessly with whatever collaboration hardware and software you prefer. Flexible and affordable, our.

Broadcast, Corporate, Web and Live Events! Call today to get started. Over 25 Years of Experience in Video Production! Partner with the experts on your next project. Professional Video Production in Huntsville, AL. Turn to AVO Communications for quality videos for your business. Want to film a commercial to market your business to your target audience? AVO Communications provides professional video production services. To ensure that your next production is top quality work.

Photos of the whole event can be found here. The technical program will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion. Is available in PDF format here. Automatic and Interactive Theorem Proving.