расширенный поиск
]]>

 

 

 

 

]]>

 

 

 


Добавить «Золотую ленточку»

27 июня 2011 г. — 1 июля 2011 г., срок заявок: 7 февраля 2011 г.

The Ershov Informatics Conference

Россия, Новосибирск

Язык информации: Русский

[AIMS AND SCOPE]

The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area.

[ORGANIZERS]

- A.P. Ershov Institute of Informatics Systems, Siberian Branch of RAS
- Novosibirsk State University

[CONFERENCE CHAIR]

Alexander Marchuk
A.P. Ershov Institute of Informatics Systems &
Novosibirsk State University, Novosibirsk, Russia

[STEERING COMMITTEE]

Dines Bjorner
Technical University of Denmark, Denmark

Manfred Broy
Institut fuer Informatik, Technische Universitaet Muenchen, Germany

Victor Ivannikov
Institute for System Programming RAS, Moscow, Russia

Bertrand Meyer
ETH Zurich, Switzerland, and Eiffel Software, USA

Leonid Libkin
University of Edinburgh, UK

[HONORARY MEMBER]

Tony Hoare
Microsoft Research, Cambridge, UK

[PROGRAMME COMMITTEE CHAIRS]

Edmund Clarke
Carnegie Mellon University, Pittsburgh, USA

Irina Virbitskaite
A.P. Ershov Institute of Informatics Systems & Novosibirsk State
University, Novosibirsk, Russia

Andrei Voronkov
The University of Manchester, UK

[CONFERENCE SECRETARY]

Natalia Cheremnykh
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
6, Acad. Lavrentiev av.
630090 Novosibirsk, Russia
tel.: +7 383 3307352
fax: +7 383 3323494
эл. почта: psi2011@iis.nsk.su, cher@iis.nsk.su

[CONFERENCE TOPICS]

1. Foundations of Program and System Development and Analysis

- specification, validation, and verification techniques,
- program analysis, transformation and synthesis,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, abstract interpretation,
compiler construction,
- theorem proving and model checking,
- concurrency theory,
- modeling and analysis of real-time and hybrid systems,
- computer models and algorithms for bioinformatics.

2. Programming Methodology and Software Engineering

- object-oriented, aspect-oriented, component-based and generic
programming,
- programming by contract,
- program and system construction for parallel and distributed computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- model-driven system/software development,
- agile software development,
- software engineering methods and tools,
- program understanding and visualization.

3. Information Technologies

- data models,
- database and information systems,
- knowledge-based systems and knowledge engineering,
- bioinformatics engineering,
- ontologies and semantic Web,
- digital libraries, collections and archives, Web publishing,
- peer-to-peer data management.

In addition to papers in the above list of topics, papers both bridging
the gap between different directions and promoting mutual understanding of
researchers are welcome. Papers defining the general prospects in
computer, software and information sciences are also encouraged.

[CONFIRMED INVITED SPEAKERS]

Eike Best
Peter Buneman
Rupak Majumdar
Ugo Montanari
Joseph Sifakis

[SUBMISSIONS]

There are three categories of submissions:

- regular papers describing fully developed work and complete results (12 pages / 30 minute talks);
- short papers reporting on interesting work in progress and/or
preliminary results (7 pages / 15 minute talks);
- system and experimental papers describing implementation or evaluation of experimental systems and containing a link to a working system (4 pages / 10 minute presentation).

Submissions should:

- contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference;
- clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other works;
- be in PS or PDF and formatted according to Springer LNCS Instructions for authors: http://www.springeronline.com;
- be in English and in a form that can be immediately included in the proceedings without major revision;
- be attached (if necessary) by an appendix that contains proofs etc. However, the paper must be self-contained without the appendix in that reviewers may not read the appendix;
- be sent electronically (as a PostScript or PDF file) through the submissions link to the conference website: http://www.easychair.org/conferences/?conf=psi11 not later than February 15, 2011.

Submitted regular papers that are judged to have limited merit may be accepted as short papers, with up to seven pages in the proceedings. At the time of submission, authors should indicate if they wish to have their submission considered as a short paper in the case it is not accepted as a regular one.

At least one author of each accepted paper must register, attend the conference and present the paper.

[CONFERENCE PROCEEDINGS]

A preliminary book of tutorial, invited and accepted contributions will be handed out at the conference. The final versions of the invited, regular and short papers presented at the conference will be published by Springer-Verlag in the Lecture Notes in Computer Science series after the conference. One can find the proceedings of the previous six conferences in LNCS, Vol. 1181, 1755, 2244, 2890, 4378 and 5947, respectively.

[LOCATION]

The conference will be held in Akademgorodok which is located in a picturesque place near the Ob lake, 30 km South from Novosibirsk, the largest city of Siberia. Silence, beautiful landscape, and pure air are the factors promoting scientific activity and creativity during the
conference.

[TRAVELLING]

You can fly to Novosibirsk via Moscow by Aeroflot, Transaero or S7.
Direct S7 flights will bring you from Frankfurt, Hannover, Seoul or Beijing to Novosibirsk and back. Now you can buy electronic tickets on Aeroflot, S7 and Transaero flights via the websites and pay by VISA and other popular cards. All participants will be met at the Novosibirsk airport and brought to Akademgorodok by a special transport.

[WEATHER]

The weather in Novosibirsk at the end of June is normally quite warm and sunny with the temperatures in the range of 25-30 C.

[SATELLITE WORKSHOPS]

N.B. Three satellite workshops will be held in conjunction with PSI'11:

- Program Understanding,
- Educational Informatics,
- Science Intensive Applied Software.

[IMPORTANT DATES]

February 7, 2011: abstract submission
February 15, 2011: submission deadline
April 2, 2011: notification of acceptance
June 27 – July 1, 2011: the conference dates
September 1, 2011: camera ready papers due

See for more information http://psi.nsc.ru

При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.

Последний день подачи заявки: 7 февраля 2011 г. (приём заявок закончен)

Организаторы: Институт Систем Информатики СО РАН http://www.iis.nsk.su Новосибирский Государственный Университет http://www.nsu.ru

Контактная информация: Natalia Cheremnykh A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia, 6, Acad. Lavrentiev av. 630090 Novosibirsk, Russia, tel.: +7 383 3307352, fax: +7 383 3323494, эл. почта: psi2011@iis.nsk.su, cher@iis.nsk.su

Эл. почта: psi2011@iis.nsk.su

Поделитесь информацией о мероприятии со знакомыми:

 

 

Нашли ошибку? Выделите ее, нажмите Ctrl и Enter одновременно.

Для отправления сообщения оргкомитету Вы должны быть зарегистрированы и авторизованы на сайте


Сообщение об ошибке отправлено администратору,
спасибо что пользуетесь нашим сервисом!

закроется через 2 секунды