[To the Chinese homepage]

Welcome to the draft homepage of 2007 Summer School on Logic, Language, and Computation (2007 邏輯、語言與計算暑期研習營).

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 logic, programming language, type theory, model checking, verification, and program calculi. We hope that this summer school will be the beginning of similar events in subsequent years to come, as well as the beginning of more co-operations among researchers in Taiwan.

The summer school consists of 54 hours of lectures and lab/tutor sessions. 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 2nd July (Monday) to 13th July (Friday), at Institute of Information Science, Academia Sinica.



Mon Tue Wed Thu Fri Mon Tue Wed Thu Fri
09:00 - 10:00 Schaefer ChuangChuang Chen Chen Tsay Tsay Tsay exam
10:00 - 11:00 Schaefer ChuangChuang Chen Chen Tsay Tsay Tsay exam
11:00 - 12:00 L/T L/T L/T L/T L/T L/T L/T L/T exam
12:00 - 2:00 Lunch Lunch
2:00 - 3:00 Schaefer Chuang Mu Mu Talk 1 Schaefer Wang Wang Wang Talk 2
3:00 - 4:00 Schaefer Chuang Mu Mu Talk 1 Schaefer Wang Wang Wang Talk 2
4:00 - 5:00 L/T L/T L/T L/T Talk 1 L/T L/T L/T L/T Talk 2

(L/T = lab/tutor) This programme is up to change later.

Invited Talks

  1. Shih-Ping Tung (董世平), Department of Applied Mathematics, Chung Yuan Christian University.
  2. Yuh-Dauh Lyuu (呂育道), Dep. of Computer Science and Information Engineering, National Taiwan University.
    • Logic, Language, and Computation — a Historic Journey.


Programme Commitee

Local Arrangements

  • Shao-Chuan Chang (張少娟), Academia Sinica
en.txt · Last modified: 2007/07/19 12:24 by scm
Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki