Logic List Mailing Archive

Winter School on "Foundations and Trends in Computer Science"

31 January - 10 February 2008
Tehran, Iran

                         Call for Participation

                         1st IPM/UNU Winter School
              Foundations and Trends in Computer Science (FTCS)

           Fundamental Concepts in Sequential and Concurrent Systems

                  31 January - 10 February of 2008, Tehran, Iran

                     IPM School of Computer Science
                       United Nations University


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.


The program is available at the home page



- 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


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


Local participants : 1'000'000 Rls
Participants coming from abroad: 300 Euro

(Limited number of scholarships are available, send your requests to


December 30, 2007
Note: Visa application may take four to eight weeks.

The registration will be possible at


- 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