[To the Chinese homepage]
Welcome to the draft homepage of 2008 Formosan Summer School on Logic, Language, and Computation (2008 邏輯、語言與計算暑期研習營).
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, semantics, functional programming, type theory, abstract interpretation, and program calculi.
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.
From 30th June (Monday) to 11th July (Friday), at Institute of Information Science, Academia Sinica.
Academia Sinica, National Taiwan University
Oxford University Computing Laboratory
|Semantics of Functional Programming Languages||Sem||2|
|Introduction to Functional Programming and the Hindley-Milner Type System||FP||Kung Chen|
National Chengchi University
|Program Construction and Reasoning||Der||Shin-Cheng Mu|
|Partial Evaluation: Types, Binding Times and Optimal Specialisation||PE|| Neil Jones|
Department of Computer Science, University of Copenhagen (DIKU)
|Interpreting Types as Abstract Values||IT||Oleg Kiselyov|
Fleet Numerical Meteorology and Oceanography Center
Department of Computer Science and Center for Cognitive Science, Rutgers University
17 units in total. Each unit of course consists of 2 hours of lecture and one hour of lab/tutor session.
|09:30 - 10:30||Logic||Logic||FP||FP||Logic||PE||PE||PE||Exam|
|10:30 - 11:30||Logic||Logic||FP||FP||Logic||PE||PE||PE||Exam|
|11:30 - 12:30||L/T||L/T||L/T||L/T||L/T||L/T||L/T||L/T||Exam|
|12:30 - 2:00||Lunch||Lunch|
|2:00 - 3:00||FP||FP||Sem||Sem||Der||Der||Der||IT||IT|
|3:00 - 4:00||FP||FP||Sem||Sem||Der||Der||Der||IT||IT|
|4:00 - 5:00||L/T||L/T||L/T||L/T||L/T||L/T||L/T||L/T||L/T|
(L/T = Lab/Tutor)
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 Universitywith assistance from Division of Continuing Education and Professional Development, National Taiwan University.