Events: Informations- och kommunikationsteknik events at Chalmers University of TechnologyMon, 10 Jul 2017 13:17:39 +0200 Conference on Automated Deduction<p>Lindholmen Science Park, science park, Lindholmen</p><p>CADE is the major international forum at which research on all aspects of automated deduction is presented.</p>​<span>​<span></span><span>The conference will take place at the Lindholmen Science Park, which offers a development environment where industry, academia and the public sector runs research and development projects.<span style="display:inline-block"></span></span><span style="display:inline-block"></span><span style="display:inline-block"></span></span> ACM Symposium on Virtual Reality Software and Technology (VRST) 2017<p>Chalmers Lindholmen, Gothenburg</p><p>​VRST will provide an opportunity for VR researchers to interact, share new results, show live demonstrations of their work, and discuss emerging directions for the field.</p>​ <br />The ACM Symposium on Virtual Reality Software and Technology (VRST) is an international forum for the exchange of experience and knowledge among researchers and developers concerned with virtual reality software and technology. <br /><br /><a href="">To conference website:</a><br /><br />