[isabelle] Invitation to attend the Summer Schools in Logic and Learning



[Apologies for cross posting.]

--
An Open Invitation to attend the

Summer Schools in Logic and Learning

26 January to 6 February 2009

Australian National University, Canberra, Australia
_______________________________________________

One of the grand challenges in science and engineering is to build
computer systems that are trustworthy and intelligent. While achieving
this goal could be many decades away, computer systems are clearly
getting smarter and more reliable year by year and human society is
becoming more reliant on exploiting their increasing intelligence.
Logic and machine learning are two indispensable parts of the efforts to
meet this challenge.

Join us for a new summer school experience where you have a unique two
week opportunity to combine the solid foundations of logic and machine
learning, with an introductory track in artificial intelligence in the
second week.

Courses are taught by some of the world’s leading computer scientists
and blend practical and theoretical short courses with lectures and
demonstrations in state-of-the-art computer facilities at ANU.


Courses and Speakers

Artificial Intelligence Courses
http://ssll.cecs.anu.edu.au/speakers/ai

Logic Courses
http://ssll.cecs.anu.edu.au/speakers/lss

Machine Learning Courses
http://ssll.cecs.anu.edu.au/speakers/mlss

________________________________________________

Fees and Registration
http://ssll.cecs.anu.edu.au/registration

________________________________________________

More information
http://ssll.cecs.anu.edu.au/

If you would like to discuss this invitation in more detail,
including advice on suitable candidacy, please go to:
http://ssll.cecs.anu.edu.au/about/contact

The Summer Schools in Logic and Learning are supported by
ANU and NICTA.

Committee
Dr Tiberio Caetano, Convener
Professor John Slaney, Convener
Dr Alwen Tiu (Acting Convener)
Diane Kossatz
Michelle Moravec









This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.