**Apologies
for cross-postings. Please send to interested colleagues and
students**
Call
for Participation
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.
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.
Application
Application is requested no later than 25
August 2010; please fill in the registration form and send to
[email protected].
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.
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
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:
…..a.
Invited Talks by:
….…...-
Krishnendu Chatterjee, Institute of Science and Technology
Austria
…..…..- Joseph Y.
Halpern, Cornell University, USA
….…...-
Michael Maher, National ICT Australia
…..b.
An Invited Tutorial by:
….…...-
Norbert Preining, JAIST/Kanzawa
…..c.
The presentations of 41 Research Papers that have been accepted by
the program committee.
…..d. The
presentations of a number of Short Papers. Notice that until 30
August it is still possible to submit such a …..short
paper (see
http://www.computational-logic.org/lpar-17/Call_for_Short_Papers.html)
…..e.
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
See Course
Name and Abstract
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
the Pring Sewu. It is big chance for the students to meet with LPAR
participants, who are the great researchers from around the world.
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
Contact Person
Please do not hesitate to contact:
Irving Vitra Paputungan ([email protected])
Department
of Informatics, universitas Islam Indonesia
Prof. Steffen Hölldobler ([email protected])
Secretary:Julia
Koppenhagen ([email protected])
Technische
Universität Dresden
International Center fo Computational Logic
Website
http://logic.informatics.uii.ac.id/
