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 8 days from July
31 to August 07, 2007.
The participation fee is Euro 50 (to be paid in cash at the school). Registration is requested before May 31, 2007; please send your registration form 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 June 15, 2007.
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 June 15, 2007.
Courses
These courses will be taught by lecturers from German, Portugal, Indonesia, and Vietnam. These lectures have been decided as follows:
|
Lecturer
|
Topic
|
| Steffen Hölldobler (TU Dresden) | Satisfiability Testing |
| Michael Posegga (TU Dresden) | Interactive Theorem Proving: Program and System Development |
| Pedro Barahona (University of Lisbon) | Constraint Logic Programming and Bioinformatics Applications |
| Antonio Porto (University of Lisbon) | Compositionality, context and defaults |
| Yohanes Stefanus (University of Indonesia) | Modal Logic |
| Hisar Maruli Manurung (University of Indonesia) | Natural Language Semantics |
| Bui Cong Cuong (Visiting Professor, Hanoi University of Technology) | Fuzzy logic connectives and application to softcomputing |
| Ta Tuan Anh (Hanoi University of Technology) | Web semantics |
| Joao Leite(University of Lisbon) | Answer-Set Programming |
Timetable
|
Time
|
Courses
|
|||||
|
Tuesday
31/7 |
Wednesday |
Thursday |
Friday |
Monday
6/8 |
Tuesday |
|
|
8:15 - 9:30
|
OC
|
YS
|
PB
|
PB
|
TA
|
MM
|
|
9:30 - 9:45
|
b
|
b
|
b
|
b
|
b
|
b
|
|
9:45 - 11:00
|
SH
|
SH
|
YS
|
MM
|
TA
|
AP
|
|
11:00 - 11:15
|
b
|
b
|
b
|
b
|
b
|
b
|
|
11:15 - 12:30
|
YS
|
PB
|
SH
|
AP
|
BC
|
AP
|
|
12:30 - 14:00
|
lunch
|
lunch
|
lunch
|
lunch
|
lunch
|
lunch
|
|
14:00 - 15:15
|
BC
|
JL
|
BC
|
MP
|
MP
|
MP
|
|
15:15 - 15:30
|
b
|
b
|
b
|
b
|
b
|
b
|
|
15:30 - 16:45
|
JL
|
PB
|
JL
|
TA
|
MM
|
SH
|
| SH: lecture by Steffen Hoelldobler MP: lecture by Michael Posegga PB: lecture by Pedro Barahona AP: lecture by Antonio Porto |
YS: lecture by Yohanes Stefanus MM: Hisar Maruli Manurung BC: lecture by Bui Cong Cuong TA: lecture by Ta Tuan Anh |
| JL: lecture by Joao Leite |
| OC - Opening Ceremony |
b - coffee break
|
Venue
Faculty of Information Technology
Hanoi University of Technology
1 Dai Co Viet Street,
Hanoi, Vietnam
Cultural Program
Three different cultural events will be held:
1 - Trip to Maichau (paid by yourself): 2 days, 2 nights (from Friday
3/8/07 to Sunday 5/8/07)
| Detailed schedule: | ||
| · Friday night: Departure from Hanoi to Hoabinh. · Saturday: Visit Maichau and then transfer to NinhBinh. Sunset boat trip in Thaoson. · Sunday: Boat trip to visit Tamcoc, Hoalu. · Sunday afternoon: Back to Hanoi |
||
2 - Water pupet (free for all participants): Evening Wednesday (August 1, 2007)
3 - Tour of Hanoi and the surroundings: one afternoon after the lectures, the exact time and visiting places will be decided later.
4 - Trip to Ninhbinh: (paid by yourself) Sunday, August 5 2007
- Boat trip to visit Tamcoc, Hoalu