This summer school is an academic and cultural event sponsored by the German Academic Exchange Service (DAAD – Deutscher Akademischer Austauschdienst) and Technische Universität Dresden, Germany and organized by the Department of Informatics, Faculty of Industrial Technology, Universitas Islam Indonesia.

The Summer School provides a good opportunity to learn an in-depth introduction into computational logic and its applications. The school is primarily intended for graduate students and researchers with interests in logical foundations of intelligent systems and related issues. The courses are conducted in English. The number of participants is limited.

Additionally, the participants will be joining LPAR 17, which will be held at the Hyatt hotel, Yogyakarta. LPAR is a prestigious international conference on Logic for Programming, Artificial Intelligence and Reasoning. This provides an unique opportunity to engage with leading researchers in the field.

School site

The school will take place in the Department of Informatics, Faculty of Industrial Technology, Universitas Islam Indonesia, Jl. Kaliurang Km 14.5, Yogyakarta and the Hyatt hotel, Yogyakarta.

Course Program

The courses are scheduled over two weeks from 4 October to 15 October 2010. In the first week, 04-09 October 2010, the following courses will take place at the Department of Informatics, Faculty of Industrial Technology, Universitas Islam Indonesia, Yogyakarta:

• Anni Turhan: Reasoning in Description Logics
• Steffen Hölldobler: SAT Solving
• Lim Yohanes Stefanus: Transforming and Completing Logic Programs
• Michael Posegga: Interactive Theorem Proving: Program and System Development
• Horst Reichel: A Coalgebraic Approach to Modal Logics
• Josef Schneeberger: XSTL and Logic Programming
• Christoph Wernhard: Projection Computation in Knowledge Representation

Course Abstracts and CVs of the Lecturers

In the second week, the summer school participants will join LPAR 17, the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, which takes place at the Hyatt hotel in Yogyakarta.

The program of LPAR 17 includes:

1. Invited Talks by:
   • Krishnendu Chatterjee, Institute of Science and Technology, Austria: “The Complexity of Partial-Observation Parity Games (joint work with Laurent Doyen)“
   • Joseph Y. Halpern, Cornell University, USA: “Awareness in Logic, Awareness in Games“
   • Michael Maher, National ICT, Australia: “Human and Unhuman Commonsense Reasoning“
2. An Invited Tutorial by:
   • Norbert Preining, JAIST/Kanazawa: “Gödel Logics – A Survey“
3. The presentations of 41 Research Papers that have been accepted by the program committee.
   • Accepted Papers of LPAR 17
   • Abstracts of the Accepted Papers of LPAR 17
4. The presentations of a number of Short Papers. Notice that until 30 August it is still possible to submit such a short paper (see Call for LPAR 17 Short Papers)
5. Two Workshops:
   • APS 5 – 5th International Workshop on Analytic Proof Systems
   • IWIL 2010 – The 8th International Workshop on the Implementation of Logics

First Week Schedule: 3 – 9 October 2010
Second Week Schedule: 10 – 15 October 2010

Cultural Program

All students who join LPAR will have the tour program. This tour program will visit the Borobudur temple, the Prambanan temple, and City Sightseeing. Yogyakarta is a tourism destination in Indonesia. The city offers many interesting tourism objects.

Beside the tour program, such students will also join two dinners with the teachers and the participants of LPAR. The dinner will be held on 10 October 2010 at Warung Pecel Solo and 13 October 2010 at Ndalem Ngabean/Kaneman. It is big chance for the students to meet with LPAR participants, who are the great researchers from around the world.

Application

Application is requested no later than 25 August 2010; please fill in the registration form and send to informatika@fti.uii.ac.id. This is a very firm deadline, and applications submitted prior to this date will be much appreciated. Please make sure that you include a brief biography (not exceeding one page) stating your experiences, interests, personal home page (if available), etc. We select applicants in case of excessive demand. Admissions decision will be announced by 2 September 2010.

The participation is charged ($ 250 for local participants and $ 700 for Foreigner participants), but there will be limited number of grants that covers either fee or travel cost or accommodation; please indicate in your application if the only possibility for you to participate is by a grant. Applications for grants must include an estimate for economic travel costs and they should be sent together with the registration form. We also provide assistance in finding an accommodation in Yogyakarta.

Please remarks that the number of grants is limited and only applicable to Indonesian workers/students at University.

Accommodations

The host organizes a hotel during the summer school. The hotel is in Yogyakarta city such that it makes the participants easy to reach some tourism places. Because of the distance, we provide bus as transportation from the hotel to the school site and the Hyatt hotel.

However, each participant may organize their accommodation and transportation by them selves.

Hotel Information: Information1, Information2, Information3