Logic Summer School Invitation 7-14 December 2009 - Australian National University
|
View:
New views
1 Messages
—
Rating Filter:
Alert me
|
 |
Logic Summer School Invitation 7-14 December 2009 - Australian National University
by Margaret Donnelly
::
Rate this Message:
An Open Invitation to attend the
Logic Summer School The Australian National University 7 to 18 December 2009 As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic. The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators and students to enhance their logic and reasoning skills for the work-force, for teaching, or for higher degree by research study, in a two-week intensive summer school at the ANU. The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the ANU. Presenters: Professor John Slaney The Australian National University Dr. Rajeev Goré The Australian National University Dr Peter Baumgartner NICTA Dr Michael Norrish NICTA Dr Andreas Bauer NICTA Dr Alwen Tiu The Australian National University Professor Torsten Schaub University of Potsdam, Germany Dr Patrik Haslum NICTA Dr Errol Martin EP Martin Consulting Program Topics: * Fundamentals of metalogic * Introduction to modal logic * Overview of automated reasoning * Computability and incompleteness * Logic and complexity * Programming in higher order logic * Answer set programming * Reasoning about discrete event systems * Non-classical logic Is It For You? The Summer School is for you if you want to expand your knowledge and understanding of information technology for the workplace or classroom, or for your studies if you want to take the next step towards a research degree. It is intended for: * Students from about the third year of undergraduate studies up to beginning PhD level who are considering specialising in a logic-related field * Teachers who teach logic in computer science, mathematics or philosophy * IT professionals who use formal methods or who want to know more about logic-based technology * Anyone who finds the idea of two weeks of wall-to-wall logic enticing! Fees: Professionals: $1,650 per person; discounts are available for multiple registrations from individual companies and institutions. Students in full-time education: $120 per person; scholarships are available and are assessed on a case-by-case basis. The web site has more details. Registrations after Friday, 6 November 2009, are subject to a 20% surcharge. To register or for more information visit our web site at: http://lss.rsise.anu.edu.au If you would like to discuss this invitation in more detail, including advice on suitable candidacy, please contact Professor John Slaney by email: John.Slaney@... The Logic Summer School is supported by: NICTA, Canberra Research Laboratory and the ANU, College of Engineering and Computer Science General enquiries: lss@... Phone: +61 2 6125 4043 Fax: +61 2 6125 0010 http://lss.rsise.anu.edu.au To view the electronic copy of LSS Brochure go to: http://lss.rsise.anu.edu.au/files/Brochure_2009.pdf Professor John Slaney Convenor The Logic Summer School _________________________________________________________________________________________________ -- Margaret Donnelly Project Officer Support Computer Science Building 108 The Australian National University Canberra ACT 0200 Australia Telephone: +61 2 6125 8192 Fax: +21 2 6125 1110 Email : Margaret.Donnelly@... _______________________________________________ Lprolog mailing list Lprolog@... https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog |
| Free embeddable forum powered by Nabble | Forum Help |
