|
|
|
Lou van den Dries (University of Illinois
at Urbana-Champaign, USA) Talks I-II |
|
Ali Enayat (American
University, Washington, DC, USA) Talk I
Talk II |
|
Yuri L. Ershov
(Sobolev
Institute of Mathematics, Russia)
Talk I
Talk II |
|
Iraj Kalantari (Western
Illinois University, Ill., USA)
Talk I
Talk II (Gen.)
Talk III |
|
Franz-Viktor Kuhlmann
(University
of Saskatchewan, Canada) Talk I (Gen.)
Talk II |
|
Salma
Kuhlmann
(University of Saskatchewan, Canada)
Talks I-II |
|
Angus Macintyre
(University of Edinburgh, UK)
Talks I-II |
|
Anand Pillay
(University
of Illinois at Urbana-Champaign, USA)
Talk I Talk II |
|
Albert Visser
(Universiteit Utrecht, the Netherlands)
Talk I
Talk II |
Mohammad Ardeshir (Sharif University of Technology, IRAN)
Seyed Mohammad Bagheri
(IPM and Tarbiat Modarres University, IRAN)
Ali Enayat (American University, Washington,
DC, USA)
Iraj Kalantari (Western Illinois University, Ill.,
USA)
Mohammad Javad A. Larijani (IPM, IRAN)
Mojtaba Moniri (IPM and Tarbiat Modarres
University, IRAN)
Morteza Moniri (IPM and Shahid Beheshti
University, IRAN), Coordinator
Massoud Pourmahdian (IPM
and Amir Kabir University of Technology, IRAN)
The Workshop Proceedings will
be published after the papers are refereed. We are seeking an agreement with Association for Symbolic Logic
(ASL).
- Contact Info.
Morteza Moniri
School of Mathematics
Institute for Studies in Theoretical Physics and Mathematics
(IPM)
P. O. Box 19395-5746
Tehran, Iran
Tel: +98 21 2290928
Fax: +98 21 2290648
E-mail:
ezmoniri@ipm.ir
|
©
Copyright 1999-2006
Institute for Studies in Theoretical Physics and
Mathematics (IPM)
All rights reserved.
Please submit your comments or questions
here,
or contact Webmaster. |
|
|
