Call for participation in Vietnamese
Summer School 2005
Computational Logic and Logic Foundations of Computer Science
Hanoi University of Technology, Vietnam
August 22 - September 1, 2005
Call for Participation
We plan the following courses for Post-doc, PhD, and Master students in their final year from South East Asia. We aim at a meeting where people have plenty of time to exchange ideas. The summer school is taken within two weeks from August 22 to September 1, 2005.
The participation fee is Euro 150 (to be paid in cash at the school). Registration is requested before April 30, 2005; please fill in the registration form (either in English or in Vietnamese) and email it to vnss@it-hut.edu.vn, making sure you include a very brief bio (5-10 lines) stating your experience, interests, home page (if available), etc. We select applicants in case of excessive demand. Final decisions will be made on May 15, 2005.
A limited number of grants covering all expenses is available, please indicate in your application if the only possibility for you to participate is via a grant. Applications for grants must include an estimate for travel costs and they should be sent together with the registration. We provide assistance in finding an accommodation in Hanoi. Final decisions will be made on May 15, 2005.
Courses
These courses will be taught by lecturers from German, Indonesia, and Vietnam. These lectures have been decided as follows:
|
Lecturer
|
Topic
|
| Steffen Hölldobler (TU Dresden) | Logic |
| Michael Posegga (TU Dresden) | Interactive Theorem Proving |
| Jose Julio Alferes (New University of Lisbon, Portugal) | Computational Logics for Knowledge Representation |
| Yohannes Stefanus (University of Indonesia) | Constructing Correct Software with the B-method |
| Belawati H. Widjaja (University of Indonesia) | Duration Calculus for Real-time Systems |
| Deborah Lukman (University of Indonesia) | Model Checking |
| Nguyen Cat Ho (Visiting Professor, Hanoi University of Technology) | Hedge Algebras for Approximate Reasoning |
| Tran Dinh Khang (Hanoi University of Technology) | Fuzzy Description Logics |
Timetable
Week 1: August 22 - 26, 2005
|
Time
|
Courses
|
||||
|
Monday
22/8 |
Tuesday
23/8 |
Wednesday |
Thursday |
Friday |
|
|
8:00 - 9:00
|
OC
|
H
|
H
|
H
|
E
|
|
9:00 - 9:30
|
b
|
b
|
b
|
b
|
b
|
|
9:30 - 10:30
|
H
|
B
|
B
|
B
|
B
|
|
10:30 - 11:00
|
b
|
b
|
b
|
b
|
b
|
|
11:00 - 12:00
|
B
|
H
|
C
|
E
|
E
|
|
12:00 - 14:30
|
lunch
|
lunch
|
lunch
|
lunch
|
lunch
|
|
14:30 - 15:30
|
C
|
C
|
Ex
|
C
|
C
|
|
15:30 - 16:00
|
b
|
b
|
b
|
b
|
|
|
16:00 - 17:00
|
E
|
E
|
G
|
G
|
|
|
A - lecture by Tran Dinh Khang and Steffen Hölldobler B - lecture by Nguyen Cat Ho C - lecture by Yohannes Stefanus D - lecture by Belawati H. Widjaja |
E - lecture by Deborah Lukman F - lecture by Jose Julio Alferes G - lecture by Michael Possega H - lecture by Steffen Hölldobler |
| OC - Opening Ceremony CC - Closing Ceremony |
Ex - Excursion b - coffee break |
Week 2: August 29 - September 1, 2005
|
Time
|
Courses
|
|||
|
Monday
29/8 |
Tuesday
30/8 |
Wednesday |
Thursday |
|
|
8:00 - 9:00
|
F
|
F
|
D
|
D
|
|
9:00 - 9:30
|
b
|
b
|
b
|
b
|
|
9:30 - 10:30
|
A
|
A
|
F
|
F
|
|
10:30 - 11:00
|
b
|
b
|
b
|
b
|
|
11:00 - 12:00
|
F
|
D
|
D
|
A
|
|
12:00 - 14:30
|
lunch
|
lunch
|
lunch
|
lunch
|
|
14:30 - 15:30
|
D
|
A
|
A
|
CC
|
|
15:30 - 16:00
|
b
|
b
|
b
|
|
|
16:00 - 17:00
|
G
|
G
|
G
|
|
Venue
Faculty of Information Technology
Hanoi University of Technology
1 Dai Co Viet Street,
Hanoi, Vietnam
Cultural Program
We organize some guide tours of Hanoi and a trip to Halong Bay http://halong.org.vn , one of the most attractive places for tourists in Vietnam during this course.