based on http://logic.informatics.uii.ac.id/ there is a call of participation for DAAD Summer School 2010 that will be hold by Universitas Islam Indonesia, there is the quote:
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.
Hotel Information click here.
Application
Application is requested no later than 4 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 12 August 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 3 October to 15 October 2010. The time table is described below
First week: 3 – 9 October 2010
Second week: 10 – 15 October 2010
The teachers and the courses:
1. Horst Reichel: A Coalgebraic Approach to Modal Logics
2. Michael Posegga: Interactive Theorem Proving: Program and System Development
3. Anni Turhan: Reasoning in Description Logic
4. Steffen Hölldobler & Ari Saptawijaya: SAT Solving
5. Christoph Wernhard: Projection Computation
6. Josef Schneeberger: XSTL and Logic Programming
7. Johannes Stefanus: Transforming and Completing Logic ProgramsCultural 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.
Summer School Course Names and Abstract
Contact Person
Please do not hesitate to contact:
Irving Vitra Paputungan
(irving@fti.uii.ac.id)
This event is very interesting although there is a selection when we apply and we must pay for follow i but is still very great event to follow.





Recent Comments