2016 Formosan Summer School on Logic, Language, and Computation

Aim and Scope

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 courses that would prepare the students with enough knowledge to carry on research in foundational computing science. The courses on the even years cover advanced topics in programming languages, those on the odd years on model checking and program verification. The theme of this year is “Advanced Programming Languages and Type Systems”.

FLOLAC was held in 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, and

The summer school consists of 54 hours of lectures and lab/tutor sessions. In addition, there is a 3-hour exam and a 3-hour research seminar. Students who passed the exam will be awarded 3 credits from National Taiwan University.

Date and Venue

From 04th July (Monday) to 15th July (Friday) in National Taiwan University. The exact venue is to be announced.


Courses Abbr. Hours Lecturer
Functional Programming FP 12 陳恭 Kung Chen
穆信成 Shin-Cheng Mu
Lambda Calculus and Types LCT 09 陳亮廷 Liang-Ting Chen
Elementary Logic EmL 06 柯向上 Hsiang-Shang Ko
Martin-Löf Type Theory MLT 06 柯向上 Hsiang-Shang Ko
Dependently Typed Programming DTP 09 穆信成 Shin-Cheng Mu
The taste of probabilistic programming and modeling SL 09 Oleg Kiselyov
Pragmatics of Programming Language Design Talk 03 Robby Findler


The summer school is jointly organised by

It is an official summer course offered by National Taiwan University.

Organising Commitee

Local Arrangements