[TYPES/announce] Invitation to attend the Summer Schools in Logic and Learning
Alwen Tiu
Alwen.Tiu at rsise.anu.edu.au
Mon Sep 8 00:47:48 EDT 2008
[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
More information about the Types-announce
mailing list