[DL] IJCAR 2014 - Call for Participation

Morgan Deters mdeters at cs.nyu.edu
Mon Jun 2 18:37:41 CEST 2014

(( 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)


  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
  June 8.  Details at http://vsl2014.at/floc14-travel-support/

=== PROGRAM ===

  The program for the conference is now available at


* 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.


  76 workshops have been accepted to FLoC 2014, and a number
  are affiliated to IJCAR.

  The full list of workshops is available at http://vsl2014.at/floc-ws/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20140602/abb0ea26/attachment-0001.html>

More information about the dl mailing list