[Caml-list] IJCAR 2012 Participation and Travel Awards

-------------------------------------------------------------------------
IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning
http://ijcar.cs.man.ac.uk/

Call for Participation and
Woody Bledsoe Student Travel Award Applications

-------------------------------------------------------------------------
IJCAR 2012 is a merger of leading events in automated reasoning:

* CADE (International Conference on Automated Deduction)
* FroCoS (International Symposium on Frontiers of Combining Systems)
* FTP (International Workshop on First-order Theorem Proving)
* TABLEAUX (International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods)

IJCAR 2012 will be held at the University of Manchester, UK, from June 26th
to July 1st, 2012.

-------------------------------------------------------------------------
Deadlines:

* Early registration will end on May 25th,
* Late registration will end on June 11th
* Very late and on-site registration will never end

To register, please follow the registration page on
http://ijcar.cs.man.ac.uk/?page_id=40

Please register now!

-------------------------------------------------------------------------
Scientific Programme:

* 4 Invited Speakers:
-- Nikolaj Bjorner, Microsoft Research Redmond, WA, USA
-- Yuri Matiyasevich, Steklov Institute of Mathematics, St. Petersburg, Russia
-- Robert Nieuwenhuis, Technical University of Catalonia, Barcelona, Spain
-- Nicole Schweikardt, University of Frankfurt, Germany

* 3 Evening Lectures by the following pioneers of automated reasoning:
-- Peter Andrews, Carnegie Mellon University, USA
-- Martin Davis, New York University, USA
-- John Alan Robinson, Syracuse University, New York, USA

* Herbrand Award Presentation

* 32 full papers

* 9 system descriptions

-------------------------------------------------------------------------
Satellite Events (June 30th - July 1st)

Workshops:
* Workshop on Automated Theory Exploration (ATX 2012)
* Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM 2012)
joint with The 7th International Verification Workshop (VERIFY 2012)
* Satisfiability Modulo Theories (SMT 2012)
* Practical Aspects of Automated Reasoning (PAAR 2012)
* Proof eXchange for Theorem Proving (PxTP 2012)
* The 4th International Workshop on Invariant Generation (WING 2012)
* Uncertainty in Description Logics (UniDL 2012)
* The 1st International Workshop on Comparative Empirical Evaluation
of Reasoning Systems (COMPARE 2012)
* The 2nd Joint International Workshop on Strategies in Rewriting,
Proving and Programming (IWS 2012)
* Workshop on Logics for Resources, Processes, and Programs (LRPP 2012)
* The 26th International Workshop on Unification (UNIF 2012)
* StarExec
* OWL Reasoner Evaluation Workshop
* Automated Reasoning for Enterprise Information Systems (AREIS 2012)

Competitions:
* CADE ATP System Competition (CASC-J6)
* SMT Competition (SMT-COMP 2012)
* Termination Competition 2012
* OWL Reasoner Evaluation

-------------------------------------------------------------------------
Woody Bledsoe Student Travel Awards

Important Dates:
* Application deadline May 14th
* Notification May 21st

For application details please follow Woody Bledsoe Student Travel Awards
page on
http://ijcar.cs.man.ac.uk/?page_id=375

-------------------------------------------------------------------------
We take this opportunity to remind you that IJCAR 2012 is part of the
Alan Turing Year, and is held immediately after

The Alan Turing Centenary Conference
http://www.turing100.manchester.ac.uk/

It is expected that Manchester will be a busy place during these meetings,
so please try to register and book your hotels early. You will find some
accommodation suggestions at the IJCAR website.

We are grateful to generous sponsors of IJCAR 2012
* The University of Manchester
* Artificial Intelligence Journal
* Microsoft Research

-------------------------------------------------------------------------
We are looking forward to seeing you in Manchester,
Andrei, Bernhard, Birte, Dale, Geoff, Konstantin, and Uli
-------------------------------------------------------------------------

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs