31 January - 10 February 2008
Tehran, Iran
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Call for Participation
1st IPM/UNU Winter School
on
Foundations and Trends in Computer Science (FTCS)
Fundamental Concepts in Sequential and Concurrent Systems
31 January - 10 February of 2008, Tehran, Iran
http://cs.ipm.ac.ir/FTCS08/
IPM School of Computer Science
United Nations University
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
GENERAL INFORMATION
This is the first international Winter School on Foundations and Trends
in Computer Science (FTCS), organized jointly and funded by the
International Institute for Software Technology of the United Nations
University (UNU/IIST), and the IPM School of Computer Science. The theme
of this edition of the FTCS school covers fundamental topics in
sequential and concurrent systems.
This FTCS school lasts 2 weeks and consists of four courses covering both
foundations and current trends in concurrent and sequential
systems. The advanced courses familiarize the participants with the state
of the art in concurrency, while the foundation courses provide the
fundamental knowledge and skills that students need to know about this
rapidly changing scientific area. The courses have been designed with
careful consideration for the balance between foundations and trends, and
the theme of the school. The lecturers have been chosen for their
international expertise and teaching experience.
The aim of the school is to provide a forum for young professors,
lecturers, researchers, and postgraduates (advanced Masters and PhD
students) working in computer science as well as engineers from
industry with a practical background in the development of information
systems. The long-term goal of FTCS is to improve and enhance education
and research in computer science in Iran and its neighboring countries.
In addition to the formal lectures, the school will supply participants
with relevant exercises and will provide an informal atmosphere in which
solutions and other work can be discussed.
Participation is open to all, however some previous exposure to the
fundamentals of computer science is required. Participants will be
selected according to their [UTF-8?]CV?~B~Ds which should be submitted
to the organizing committee.
SCHOOL PROGRAM
The program is available at the home page
http://cs.ipm.ac.ir/FTCS08/
LECTURES
- The Spirit of Distributed Computing
Wan Fokkink, Vrije Universiteit Amsterdam & CWI
- The Foundations of Computation: sequential systems and parallel systems
Zhiming Liu (UNU-IIST) and Jeff Sanders (UNU-IIST)
1. Relational methods for sequential systems
Zhiming Liu, UNU-IIST
2. The Foundations of Parallel Systems
Jeff Sanders, UNU-IIST
- Logics In Computer Science
Saeed Salehi, IASBS
VENUE
Institute for Studies in Theoretical Physics and Mathematics (IPM),
Tehran. The IPM building is located in Niavaran, the north eastern part
of Tehran, Iran. Niavaran is one of the most beautiful places of Tehran.
The Niavaran park, palace, and museum are among the city's major tourist
attractions.
REGISTRATION FEES
Local participants : 1'000'000 Rls
Participants coming from abroad: 300 Euro
(Limited number of scholarships are available, send your requests to
unschool08@ipm.ir)
REGISTRATION DEADLINE
December 30, 2007
Note: Visa application may take four to eight weeks.
The registration will be possible at
http://cs.ipm.ac.ir/FTCS08/
ORGANISATION
- Farhad Arbab, CWI & Leiden University, The Netherlands
- Zhiming Liu, UNU-IIST, China
- Hamid Sarbazi Azad, IPM, Iran
- Hamid Reza Shahrabi, IPM, Iran
- Marjan Sirjani, University of Tehran & IPM, Iran