Showing posts with label logic. Show all posts
Showing posts with label logic. Show all posts

Summer Schools in Logic and Learning

. Thursday, December 25, 2008
0 comments

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

ESSLLI 2008 STUDENT SESSION

. Thursday, January 3, 2008
0 comments

2nd Call for Papers

ESSLLI 2008 STUDENT SESSION
4-18 August 2008, Hamburg, Germany

Submission deadline: 15 February 2008
Website: http://staff.science.uva.nl/~kbalogh/StuS13

***********************************************************

We are pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15, 2008.

The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation.


CALL FOR PAPERS

The programme committee invites submissions of papers for oral and poster presentation and
for appearance in the proceedings. We welcome submissions with topics within the areas of
Logic, Language and Computation.

*** Submission deadline: 15 February 2008 ***

The ESSLLI Student Session encourages submissions from students at any level, undergraduates as well as postgraduates. Papers co-authored by non-students will not be accepted. The Student Session papers should describe original, unpublished work, completed or in progress, that demonstrates insight, creativity, and promise. No previously published papers should be submitted.


SUBMISSION

Student authors are invited to submit a full paper up to 7 pages inclusive of references. Note that the length of the final version of the accepted papers will not be allowed to exceed 10 pages.

The preferred formats of submissions are PostScript or PDF, although other formats will also be accepted. More submission details and all relevant information at:

http://staff.science.uva.nl/~kbalogh/StuS13


CONTACT

Kata Balogh
ESSLLI 2008 Student Session chair

email: k.balogh@uva.nl
tel.: +31 20 5254544
fax: +31 20 5254503
postal address:
Department of Philosophy
Universiteit van Amsterdam
Nieuwe Doelenstraat 15
1012 CP Amsterdam
The Netherlands