Welcome to the draft homepage of 2010 Formosan Summer School on Logic, Language, and Computation (FLOLAC '10).
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: Semantics, Analyses, and Tools”. FLOLAC started in 2007, and was held in 2008 and 2009 as well.
The summer school consists of 51 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 the School of Professional and Continuing Studies, National Taiwan University.
From 28th June (Monday) to 9th July (Friday), at School of Professional and Continuing Studies, National Taiwan University.
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.