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