CSIT-2005 CONFERENCE PROGRAM
|
|
Monday, SEPTEMBER 19, 2005 |
| 900-1600
|
Conference
REGISTRATION |
| 1000-1030 |
OPENING SESSION
F. Sargsian,
President of the National Academy of Sciences of Armenia
Welcome messages |
| 1030-1100
|
Coffee
Break |
| 1100-1200
|
PLENARY SESSION
Chair: F.Sargsian |
| 1100
|
Yu.Shoukourian (NAS RA, Armenia)
Environment for Scientific Computing in Armenia |
| 1130 |
Yu.Zhuravlev (RAS, Russia)
Algebraic Algorithms for Solving Poorly Formulated Problems
|
| 1200-1400
|
Lunch |
|
1400-1600 |
Session 1A |
Session 1B |
| 1600-1615
|
Coffee
Break |
| 1615-1815 |
Session 2A |
Session 2B |
| 2000
|
WELCOME
RECEPTION |
|
| |
Tuesday,
SEPTEMBER 20, 2005 |
| 930-1050 |
PLENARY SESSION
Chair: A. Letichevsky (Glushkov IC, Ukraine) |
Workshop “Design & Test”
Chairs: S.Shoukourian (YSU), Y.Zorian (VLC, USA)
| 900-920 |
Opening
Y.Zorian (VLC, USA) |
| 920-1100 |
Invited talk
Testing Viability of Gate Oxide Short Defects
Michel Renovell (LIRMM, France) |
| 1100-1115 |
Coffee
Break |
| 1115-1230 |
Session
3B |
| 1230-1300 |
Discussion |
|
| 930 |
M.Dayde, A.Hurault, M.Pantel (IRIT, France)
Gridification of scientific application using software components: the grid-TLSE project as an illustration |
| 1010 |
A.Adzhemov, V.Shakhgildyan (MTUCI, Russia)
International Network for Distance Learning (DL) in the CIS Countries:
Development Prospects and Integration into the Global Educational Space |
| 1050-1100 |
Coffee
Break |
| 1100-1300 |
Session 3A |
| 1300-1400 |
Lunch |
| 1400-1600 |
ROUND
TABLE 1
Chairs: I.Mkrtoumian (AUA), Yu.Shoukourian (NAS RA)
Bridging the Gaps between Education, Science and Technology
|
| 1600-1615 |
Coffee
Break |
| 1615-1830 |
Session
4A |
Session
4B |
|
|
|
Wednesday, SEPTEMBER 21, 2005
Workshop “Armcluster”
(Within the framework of the ISTC A823 Project “Armcluster”)
Chairs:Yu.Shoukourian (NAS RA), M.Dayde (IRIT, France)
|
| 900-930 |
OPENING SESSION
Welcome messages:
Yu. Shoukourian (NAS RA)
V.Ivannikov (ISP RAS)
M.Dayde (IRIT, France)
H.Navasardyan (ISTC)
|
| 930-1245 |
Session 5 |
| 1300-1400
|
Lunch |
| 1400-1515 |
Session 6 |
| 1530-1600 |
Discussion,
Closing |
|
| |
Thursday,
SEPTEMBER 22, 2005 |
| 930-1050 |
PLENARY SESSION
Chair: A. Slissenko (UP-12, France) |
Workshop
“Design & Test”
Chairs: S.Shoukourian (YSU), Y.Zorian (VLC,USA)
| 900-1030 |
Tutorial
Advanced Verilog for Hardware Design and Modeling
Zainalabedin Navabi (Northeastern University, USA) |
| 1030-1045 |
Coffee Break |
| 1045-1245 |
Session
7B |
| 1245-1300 |
Discussion,
Closing |
|
| 930 |
A.Letichevsky (Glushkov IC, NAS of Ukraine)
Abstract and Concrete Models of Distributed Systems Specified by Means of Basic Protocols |
| 1010 |
Y.Zorian
(VLC, USA)
Choosing flows and methodologies for SoC design and test |
| 1050-1100 |
Coffee
Break |
| 1100-1300 |
Session
7A |
| 1300-1400 |
Lunch |
| 1400-1600 |
ROUND TABLE 2
Chair: B.Yengibaryan (EIF),
Open Source Program in Armenia |
| 1600-1615 |
Coffee
Break |
| 1615-1830 |
Session
8A |
Session
8B |
|
|
|
Friday, SEPTEMBER 23, 2005 |
| 930-1050 |
PLENARY SESSION
Chair: P. Ciegelski (UP-12, France) |
| 930
|
Kaushik Roy (Purdue University, USA)
Design in nano-scale regime: from devices to system architecture |
| 1010
|
J.Cohen,
A.Slissenko (UP-12, France)
Implementation of Reactive Real-time Abstract State Machines by Machines with Delayed Actions |
| 1050-1100
|
Coffee
Break |
| 1100-1300 |
Session 9A |
Session
9B |
| 1300-1400
|
Lunch |
| 1400-1600 |
FINAL
SESSION |
|
|
List of abbreviated organizations |
|
AAIU
|
All
Armenian Internet University
|
|
AUA
|
American University of Armenia
|
|
CC RAS
|
Computing
Cener of Russian Academy of Sciences
|
|
CECIP
|
Center of Excellence for
Control and Intelligent Processing
|
|
GU
|
G’oteborg
University
|
|
IC
|
Institute of Cybernetics
|
|
IE
|
Institute of Energy
|
|
EIF
|
Enterprise Incubator foundation
|
|
IHPCIS
|
Institute
for High Performance Computing and Information Systems
|
|
IIAP
|
Institute of Applied Problems of Physics of NAS RA
|
|
IIAP
|
Institute
for Informatics and Automation Problems of NAS RA
|
|
IIC
|
Institute
for Information and Communication
|
|
IL
|
Institute
of Linguistic of NAS RA
|
|
IM
|
Institute of Mathematics of NAS RA
|
|
IPhR
|
Institute
for Physical Research of NAS RA
|
|
IRIT
|
Institute of Research and Informatics of Toulouse
|
|
ISEC
|
The
Scientific Education Center of NAS RA
|
|
ISP RAS
|
Institute
for System Programming, Russian Academy of Sciences
|
|
IUST
|
Iran University of Science and Technology
|
|
KNTShU
|
Kyiv National Taras Shevchenko University
|
|
LACL
|
Laboratory
for Algorithmic, Complexity and Logic
|
|
MF
|
Ministry
of Finance of the Republic of Armenia
|
|
MTUCI
|
Moscow Technical University of Communication and Informatics
|
|
NAS RA
|
National Academy of Sciences of Republic of Armenia
|
|
NASU
|
National Academy of Sciences of Ukraine
|
|
|
NFSAT
|
National
Foundation of Science and Advanced Technologies
|
|
NRC
|
Nokia Research Center
|
|
RASU
|
Russian
–Armenian State University
|
|
SEUA
|
State Engineering University of Armenia
|
|
ShBUK
|
Shahid Bahonar University of Kerman
|
|
SRB
|
Science
and Research Branch
|
|
St.PSEU
|
St.Peterburg State Electrotechnical University
|
|
Steklov IM
|
Steklov
Institute of Mathematics
|
|
STPhM
|
Institute
for studies in theoretical Physics and Mathematics
|
|
StPSPU
|
St.Peterburg State Polytechnical University
|
|
TICSP
|
Tampere International Center of Signal Processing, Finland
|
|
TSU
|
Tbilisi State University
|
|
TUT
|
Tamper
University of Technology, Finland
|
|
UA
|
University
of d’Auvergne
|
|
UB
|
University
of Bielefeld, Germany
|
|
UP
|
University of Paris
|
|
UT
|
University of Tehran
|
|
UTA
|
The
University of Texas at Austin
|
|
UTSA
|
University of Texas at San – Antonio
|
|
VLC
|
Virage
Logic Corporation, USA
|
|
YCRDI
|
Yerevan Computer
Research and Development Institute
|
|
YeTRI
|
Yerevan Telecommunication Research Institute
|
|
YPhI
|
Yerevan
Physics Institute
|
|
YrACSSRI
|
Yerevan Automated Control Systems Scientific Research Institute
|
|
YSU
|
Yerevan State University
|
|