This symposium is organized bij the OzsL, the VvL and the Heyting Foundation. People who worked on this event include Albert Visser, Rosalie Iemhoff, Frank de Haas (coordinatior OzsL) and Coert van Gemeren (student assistent).
The past ten years have been extremely successful for Dutch logic research. Dutch groups play a leading role in fields as different as logical semantics, modal and dynamic logic, algorithmics, complexity theory, proof theory and (more recently) computational logic and quantum computing. Where there is overlap between the different groups, the cooperation has been excellent; both among logicians themselves and between logicians and researchers of related fields like computer science, linguistics, mathematics and philosophy.
In this beautiful landscape, the Research School in Logic OzsL has its proper place. The School has the following goals:
- to improve the coherence of the Dutch logic community by providing a central national forum for Dutch logic researchers
- to provide a curriculum for graduate students which focuses both on topics specific to one of the research sections and on topics which are more foundational of nature
- to optimise the interaction between local and national graduate training
- to enhance the communication with the international logic community, both with respect to research and to graduate training
In order to do justice to the variety of subjects studied within OzsL, the school is divided into four sections: Logic and Mathematics, Logic and Language, Logic and Information, and Logic and Artificial Intelligence. Each of these sections comes with its own research programme. At the same time, however, the sections share a dependence on and interest in new results in the study of fundamental logic.
The School implements the conviction that, if we want logic to flourish, we should do two things at once. We must develop further the use of logic as a methodological paradigm in fields like linguistics, mathematics, philosophy and computer science. At the same time, we should stimulate the development of the field of logic itself. The school will continue to be an invaluable instrument to help us to fulfill these two important tasks!
Albert Visser
Scientific Director OzsL
