[To the Chinese homepage]

2009 Formosan Summer School on Logic, Language, and Computation (FLOLAC 2009)

Welcome to the homepage of 2009 Formosan Summer School on Logic, Language, and Computation (FLOLAC 2009).

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 this year cover logics, automata, model checking, satisfiability, and hardware verification.

The summer school consists of 54 hours of lectures and lab/tutor sessions plus 3 hours of examination. Students who passed the exam will be awarded 3 credits from the Division of Continuing Education and Professional Development, National Taiwan University.

Date and Venue

From 29th June (Mon) to 10th July (Fri), at Institute of Information Science, Academia Sinica.



6/29 6/30 7/1 7/2 7/3 7/6 7/7 7/8 7/9 7/10
Mon Tue Wed Thu Fri Mon Tue Wed Thu Fri
09:00 - 12:00 SAT L L ML EC EC MC TL EX
12:00 - 14:00 Lunch Lunch
14:00 - 17:00 SAT SAT L ML ML EC MC MC TL TL

EX = Examination


Organising Committee

Local Arrangements

  • Shao-Chuan Chang (張少娟), Academia Sinica

en.txt · Last modified: 2010/03/21 19:01 by tsay
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki