<div dir="ltr"><div>(( Apologies for multiple copies ))</div><div><br></div><div>                        ** CALL FOR PARTICIPATION **</div><div><br></div><div>                 ==  Early registration deadline June 8  ==</div>
<div>          ==  Student travel awards applications due by June 8  ==</div><div><br></div><div>IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning</div><div>                       Vienna, Austria, July 19-22, 2014</div>
<div>                         <a href="http://cs.nyu.edu/ijcar2014/">http://cs.nyu.edu/ijcar2014/</a></div><div><br></div><div>               as part of FLoC 2014 - Federated Logic Conference</div><div>                        <a href="http://www.floc-conference.org/">http://www.floc-conference.org/</a></div>
<div><br></div><div>                 as part of VSL 2014 - Vienna Summer of Logic</div><div>                             <a href="http://vsl2014.at/">http://vsl2014.at/</a></div><div><br></div><div>                           Call for Participation</div>
<div>                           ----------------------</div><div><br></div><div>IJCAR is the premier international joint conference on all topics</div><div>in automated reasoning. The IJCAR technical program will consist</div>
<div>of presentations of high-quality original research papers, system</div><div>descriptions, and invited talks.</div><div><br></div><div>IJCAR 2014 is a merger of leading events in automated reasoning:</div><div><br></div>
<div>  CADE (Conference on Automated Deduction),</div><div>  FroCoS (Workshop on Frontiers of Combining Systems) and</div><div>  TABLEAUX (Conference on Analytic Tableaux and Related Methods)</div><div><br></div><div>=== REGISTRATION AND TRAVEL AWARDS ===</div>
<div><br></div><div>  Early registration closes *June 8*, register at</div><div>  <a href="http://vsl2014.at/registration/">http://vsl2014.at/registration/</a></div><div><br></div><div>  Accommodation information for Vienna available there as well.</div>
<div><br></div><div>  Travel awards are available to enable selected students to</div><div>  attend the conference.  Act quickly, the deadline to apply is</div><div>  June 8.  Details at <a href="http://vsl2014.at/floc14-travel-support/">http://vsl2014.at/floc14-travel-support/</a></div>
<div><br></div><div>=== PROGRAM ===</div><div><br></div><div>  The program for the conference is now available at</div><div>  <a href="http://cs.nyu.edu/ijcar2014/">http://cs.nyu.edu/ijcar2014/</a></div><div><br></div><div>
=== INVITED SPEAKERS ===</div><div><br></div><div>* Ken McMillan (Microsoft Research)</div><div>* Rajeev Goré (Australian National University)</div><div><br></div><div>Other speakers during the second week of the Vienna Summer for</div>
<div>Logic, but affiliated with other events, include (in alphabetical</div><div>order) Franz Baader, Edmund Clarke, Veronique Cortier, Orna</div><div>Kupferman, Christos Papadimitriou, and Alex Wilkie.</div><div><br></div>
<div>=== AFFILIATED WORKSHOPS ===</div><div><br></div><div>  76 workshops have been accepted to FLoC 2014, and a number</div><div>  are affiliated to IJCAR.</div><div><br></div><div>  The full list of workshops is available at <a href="http://vsl2014.at/floc-ws/">http://vsl2014.at/floc-ws/</a></div>
<div><br></div>
</div>