[Caml-list] IJCAR Calls and Awards

-------------------------------------------------------------------------------
IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
Sydney, Australia, 10th - 15th August, 2008

http://2008.IJCAR.org

Calls for Participation, Calls for Workshop Papers, Student Travel Awards
-------------------------------------------------------------------------------
Call for Participation
----------------------
Information about IJCAR's astounding program of invited speakers, technical
papers, workshops, tutorials, competitions, and social events, is available
from the IJCAR WWW pages - 2008.IJCAR.org. There are 101 reasons to attend
IJCAR, which are enumerated on the WWW site. Registration, accomodation, and
travel/visa information is there too. Book your flight to Sydney today!
-------------------------------------------------------------------------------
Calls for Workshop Papers, Tutorial Participation
-------------------------------------------------
There will be six workshops and four tutorials before IJCAR, 10th and 11th
August. See their individual WWW pages, linked from the IJCAR WWW pages, for
submission and participation information.
+ Workshops
- The 5th International Verification Workshop (VERIFY'08)
- Practical Aspects of Automated Reasoning (PAAR-2008)
- Evaluation of Systems for Higher Order Logic (ESHOL)
- Complexity, Expressibility, & Decidability in Automated Reasoning (CEDAR'08)
- Constraints in Formal Verification
- Combining Systems for Efficient and Scalable Reasoning (CoSyScaRe 08)
+ Tutorials
- Introduction to Nominal Isabelle - Christian Urban
- Formal Methods in Use at Galois, Inc. - Joe Hurd
- SMT Solvers in Program Analysis and Verification - Nikolaj Bjorner and
Leonardo de Moura
- Coalgebraic Logics and Applications (COALA) - Dirk Pattinson
-------------------------------------------------------------------------------
Student Travel Awards
---------------------
Two award schemes that provide sponsorhips to support student attendance at
IJCAR are available. See the IJCAR WWW pages for details.
-------------------------------------------------------------------------------

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs