Asia Link - Activities

Sandwich Master

MSc Program at TUD

Doan Trung Son from HUT April 2007 - August 2007
Rakhmad Azhari from UI April 2006 - September 2006
Dinh Khac Dung from HUT March 2005 - August 2005
Adila Alfa Krisnadhi from UI October 2006 - January 2007
October 2005 - March 2006
October 2004 - March 2005
Nguyen Anh Tuan from HUT October 2004 - March 2005

MSc Program at UNL

Carroline Dewi Puspa from UI February 2007 - July 2007
Nguyen Van Hau from HUT May 2006 - October 2006
Nguyen Thanh Tu from HUT March 2006 - August 2006
Indra Adnyana from UI February 2005 - July 2005

Sandwich PhD

PhD Program at TUD

Nguyen Hoang Nga from HUT December 2006 - May 2007
Ade Azurat from UI May 2006 - October 2006
Petrus Mursanto from UI January 2006 - June 2006

PhD Program at UNL

Ari Saptawijaya from UI February 2007 - July 2007
Nguyen Phuong Nga from HUT January 2006 - June 2006
Nguyen Ngoc Hieu from HUT September 2005 - March 2006
Dewi Mairiza from UI May 2005 - October 2005

Joint Teaching

MSc Program at TUD

Lecturer: Dr. Tran Dinh Khang from HUT
Period: June 2007 - July 2007
  • Course on Type-2 Fuzzy Sets
Lecturer: Dr. Huong LeThanh from HUT
Period: May 2006 - July 2006
  • Course on Machine Learning
  • Course on Natural Language Processing
Lecturer: Dr. Stefanus Yohanes from UI
Period: October 2004 - January 2005
  • Courses on Provable Program Correctness and Logic
  • Talk on A Cellular View of B-Spline Curves on 5th January 2005
  • Talk on The B-Method and its Mathematical Foundation on 11th January 2005

MSc Program at UNL

Lecturer: Dr. Stefanus Yohanes from UI
Period: February 2007 - April 2007
  • Course on Advanced Logics
Lecturer: Dr. Stefanus Yohanes from UI
Period: January 2006 - April 2006
  • Lecture on Advanced Logics - Type Theory
Lecturer: Prof. Nguyen Thanh Thuy from HUT
Period: July 2005 - August 2005
  • Seminar on Interval-Valued Probability Reasoning
  • Joint research activities within the research group KRRLP, IIS and SCC-Centria

Courses

Courses at HUT

Lecturer: Prof. Jose Julio Alferes from UNL
Period: March 2007 - April 2007
  • Course on Introduction to Semantic Web
Lecturer: Prof. Steffen Hölldobler from TUD
Period: February 2006
  • Lecture on Neural-Symbolic Integration
Lecturer: Prof. Luis Pereira from UNL
Period: January 2005 - February 2005
  • Course on Knowledge Representation and Reasoning with Logic Programming

Courses at UI

Lecturer: Dr. Axel Großmann from TUD
Period: August 2007
  • Course on Probabilistic Robotics
Lecturer: Prof. Steffen Hölldobler from TUD
Period: March 2007
  • Course on Satisfiability Testing with Application to Sudoku Puzzles
Lecturer: Prof. Steffen Hölldobler from TUD
Period: 8th February 2006
  • Talk on Fuzzy Description Logics
Lecturer: Prof. Luis Pereira from UNL
Period: January 2006 - February 2006
  • Lecture on Computational Logic Agents
Lecturer: Prof. Steffen Hölldobler from TUD
Period: April 2005 - May 2005
  • Course on Computational Logic
  • Seminar on Combining Logic and Connectionist Systems

Summer schools

EA Summer School 2007 on Computational Logic and Logic Foundations of Computer Science

Date: 31st July - 7th August 2007
Place: Hanoi University of Technology (Vietnam)

EA Summer School 2006 on Logic Foundations of Intelligent Systems

Date: 31st July - 11th August 2006
Place: University of Indonesia (Indonesia)

ICCL Summer School 2006 on Knowledge Structures

Date: 24th June - 8th July 2006
Place: Technische Universität Dresden (Germany)

EA Summer School 2005 on Computational Logic and Logic Foundations of Computer Science

Date: 22nd August - 1st September 2005
Place: Hanoi University of Technology (Vietnam)

ICCL Summer School 2005 on Logic-based Knowledge Representation

Date: 2nd July - 17th July 2005
Place: Technische Universität Dresden (Germany)

Project meetings

Project meeting 14th August 2005 Hanoi (Vietnam)
Kick-off meeting 29th September - 3rd October 2004 Lisbon (Portugal)

Disclaimer

This document has been produced with the financial assistance of the European Union. The contents of this document are the sole responsibility of the International Center for Computational Logic (ICCL) and can under no circumstances be regarded as reflecting the position of the European Union.

Asia Link Logo

The Asia Link Program
A program dedicated to higher education networking
between Europe and Asia.