Researchers in Taiwan who are interested in the foundational aspects of computing science have founded a number of research teams and worked together in some joint projects. As in any discipline, a student will have to go through a series of courses to be prepared for further research in this field. Being affiliated to different institutes, however, the researchers often find it difficult to lecture all these courses alone. It is thus desirable to bring together those who share a common interest and give lectures together.

The aim of this summer school is to give a collection of course modules that would prepare the students for carrying on research in foundational computing science. The course modules in the even years cover advanced topics in programming languages, those in the odd years on model checking and program verification. The theme of this year is “Logic and Formal Verification”. FLOLAC started in 2007 and was held consecutively in 2008, 2009, and 2010.

The summer school this year consists of 54 hours of lectures and 3 hours of exam, plus tentatively a 3-hour research seminar. Students who pass the exam will be awarded 3 credit-hours from the School of Professional and Continuing Studies, National Taiwan University.

June 27 (Monday) to July 8 (Friday), at School of Professional and Continuing Studies, National Taiwan University.

54 hours plus a 3-hour exam (57 hours in total); an additional seminar of about 3 hours is also being planned.

Click here to download a PDF version of the syllabus; the print version may not reflect all updates to this site.

Please see the Chinese language page.

The summer school is jointly organised by Institute of Information Science, Academia Sinica, Department of Information Management, National Taiwan University, and Department of Computer Science, National Chengchi University with assistance from School of Professional and Continuing Studies, National Taiwan University .

• Kung Chen (陳恭), National Chengchi University.
• Tyng-Ruey Chuang (莊庭瑞), Academia Sinica and National Taiwan University.
• Shin-Cheng Mu (穆信成), Academia Sinica and National Taiwan University.
• Yih-Kuen Tsay (蔡益坤), National Taiwan University.
• Bow-Yaw Wang (王柏堯), Academia Sinica and National Taiwan University.

• Ming-Hsien Tsai (蔡明憲), National Taiwan University.
• Shao-Chuan Chang (張少娟), Academia Sinica.