Menu
calendar icon Jan 26, 2009 videos icon 24 videos
Summer Schools in Logic and Learning, Canberra 2009

Summer Schools in Logic and Learning, Canberra 2009

The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning:

  • the Logic Summer School
  • the Machine Learning Summer School

The summer schools are hosted by the Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University, from the 26 January to 6 February 2009.

#The Logic courses will consist of short courses on aspects of pure and applied logic. #The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. #The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning.

MACHINE LEARNING COURSES

video-img
05:09:59

Reinforcement learning

Scott Sanner

calendar icon Apr 1, 2009 14804 views

video-img
02:55:52

Game Theory & Clustering

Marcello Pelillo

calendar icon Apr 1, 2009 14792 views

video-img
02:55:43

Computer vision

Richard Hartley

calendar icon Apr 1, 2009 36123 views

video-img
02:24:41

Introduction to logic

Alwen Tiu

calendar icon Apr 1, 2009 38159 views

video-img
05:31:24

Document Analysis

Wray Buntine

calendar icon Apr 1, 2009 5571 views

video-img
02:44:23

Learning Theory

Mark Reid

calendar icon Apr 1, 2009 8054 views

video-img
05:31:22

Graphical models

Tibério Caetano

calendar icon Apr 1, 2009 12633 views

video-img
02:49:18

Group Theory in Machine Learning

Marconi Barbosa

calendar icon Apr 1, 2009 11654 views

video-img
03:07:01

Data Mining

Rao Kotagiri

calendar icon Apr 1, 2009 15083 views

video-img
05:25:39

Unsupervised learning

Dale Schuurmans

calendar icon Apr 1, 2009 11515 views

LOGIC COURSES

video-img
03:42:49

Computability And Incompleteness

Errol Martin

calendar icon Apr 1, 2009 20069 views

video-img
05:42:14

Fundamentals Of Metalogic

John K. Slaney

calendar icon Apr 16, 2009 17167 views

video-img
04:23:14

Non-classical Logic

Edwin Mares

calendar icon Apr 1, 2009 11545 views

video-img
02:52:25

Introduction To Statistical Machine Learning

Marcus Hutter

calendar icon Apr 1, 2009 7871 views

video-img
04:53:03

Dynamical Logic

Peter H. Schmitt

calendar icon Apr 16, 2009 7433 views

video-img
03:17:03

Overview of Automated Reasoning

Peter Baumgartner

calendar icon Apr 1, 2009 8508 views

video-img
05:24:16

Logic, Automata & Games

Sophie Pinchinat

calendar icon Apr 1, 2009 17308 views

video-img
01:26:37

Overview of Automated Reasoning

Michael Norrish

calendar icon Apr 1, 2009 5191 views

video-img
05:26:53

Introduction to Modal Logic

Rajeev P. Goré

calendar icon Apr 1, 2009 51667 views

AI COURSES

video-img
02:50:49

Artificial Intelligence Planning

Jussi Rintanen

calendar icon Apr 1, 2009 10888 views

video-img
01:59:59

Search and Games

Adi Botea

calendar icon Apr 1, 2009 7182 views

video-img
02:43:42

Universal Artificial Intelligence

Marcus Hutter

calendar icon Apr 1, 2009 8670 views

video-img
02:30:09

Intelligent Agents

John Lloyd

calendar icon Apr 1, 2009 21561 views

video-img
02:59:50

Knowledge Representation and Reasoning

Maurice Pagnucco

calendar icon Apr 1, 2009 14119 views

Except where otherwise noted, content on this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 International license.