АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Scientific Committee

Читайте также:
  1. A few hints for more scientifically minded readers.
  2. D. SCIENTIFIC PROSE STYLE
  3. Formulas of Scientific Communication
  4. Functional styles of the English language (the belles-lettres style, scientific prose, newspapers).
  5. INTERNATIONAL SCIENTIFIC AND PRACTICAL SUMMIT
  6. The Divine Matrix- Scientific View
  7. The Technical Assistance Committee,

NATIONAL RESEARCH UNIVERSITY

MOSCOW STATE UNIVERSITY OF CIVIL ENGINEERING

RUSSIAN ACADEMY OF ARCHITECTURE AND CONSTRUCTION SCIENCES

INTERNATIONAL ASSOCIATION OF CONSTRUCTION

AND HIGHER EDUCATION

TRAINING ASSOCIATION HIGHER EDUCATIONAL INSTITUTIONS

OF THE RUSSIAN FEDERATION IN THE FIELD OF CONSTRUCTION

RUSSIAN UNION OF BUILDERS

International Scientific Seminar

"Theoretical and experimental bases of software verification"

JUNE 28-29, 2014

Yaroslavskoe sh. 26, MGSU, Mosocow

INFORMATIONAL MESSAGE

On 28-29 of June 2014 the Moscow State University of Civil Engineering will hold the International Scientific Seminar «Theoretical and Experimental bases of the software verification». The seminar will take place at the Science Educational Center of Computer Simulation of Unique Building, Structures and Facilities of MGSU (SEC CS MGSU), and also at the Department of the Computer Science and Applied Mathematics (CSAM) and at the Department of the Structural Mechanics in MGSU.

 

Organirators:

· Russian Academy of Architecture and Construction Sciences (RAACS)

· International Association of Construction and Higher Education

· Training Association higher educational institutions of the Russian Federation in the field of construction

· Russian Union of Builders

· State Educational Institution of Higher Professional Education Moscow State University of Civil Engineering

Subject and purposes.

Subject of reports and the purposes of the Scientific Seminar "Theoretical and experimental bases of software verification" include scientific discussion and formation of methodological bases of development and realization of theoretical and experimental approaches to software verification for safety analysis of installing, operated buildings and constructions during the periods of their construction, operation, reconstruction and utilization.

 

Scientific Committee

Committee chairman: P.A. Akimov (Russia)

Vice chairman: A.M. Belostotskiy (Russia),V.N. Sidorov (Russia)

Committee members: V.I. Andreev (Russia), V.N. Varapaev (Russia), P.P. Gaydjurov (Russia), A.S. Gorodetskiy (Ukraine), G.G. Kashevarova (Russia),O.A. Kovalchuk (Russia), V.I. Kolchunov (Russia), E.B. Koreneva (Russia), A.V. Korgin (Russia), S.B. Kositsin (Russia), L.S. Lyakhovich (Russia), V.L. Mondrus (Russia), N.P. Osmolovskiy (Russia), V.V. Petrov (Russia), A.V. Perelmuter (Ukraine), V.A. Semeno (Russia), A.N. Suprun (Russia), Z.G. Ter-Martirosyan (Russia), D.V. Filatova (Ukraine), G.E. Shablinskiy (Russia), Jan Buynak (Slovakia), Vitaly Bulgakov (США), Jerzy Hoła (Poland), Zbigniew Wójcicki (Poland) Josef Vičan (Slovakia), Artur Zbiciak (Poland).


Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.004 сек.)