Провідний український лабораторний портал

Міжнародний семінар "Семантика, специфікація і верифікація програм: теорія і застосування"

Повернутися до списку

1 березня 2010

16-20 червня 2010 року в Казані у рамках п'ятого міжнародного симпозіуму по комп'ютерних науках в Росії відбудеться міжнародний семінар "Семантика, специфікація і верифікація програм: теорія і застосування".

Важливі дати:

Представлення доповідей по електронній пошті: 10 березня 2010 року.
Повідомлення про включення доповіді в програму семінару: 31 березня 2010 року.
Робочі мови і мови публікації доповідей: російська і англійська.

Тематика семінару:

- формалізми для опису семантики (наприклад, машини абстрактних станів Гуревича);
- формальні моделі і семантики програм і систем (наприклад, помічені системи переходів);
- семантика мов програмування і мов специфікацій (наприклад, денотаційна або аксіоматична семантика);
- мови формальної специфікації програм і систем (наприклад, мова SDL);
- логіки для формальної специфікації і верифікації (наприклад, темпоральні логіки);
- дедуктивна верифікація програм (наприклад, генерація і автоматичний доказ умов коректності);
- верифікація моделей програм і систем;
- формальний підхід до тестування і валідації (наприклад, метод абстрактної інтерпретації);
- експериментальні системи та інструментальні засоби тестування і верифікації.

Контактна інформація:

Адреса: 630090, м. Новосибірськ, пр. Лаврентьєва, буд. 6, Інститут систем інформатики ім. А. П. Єршова.
Email: promsky@iis.nsk.su
Тел: (383) 330 63 60
Факс: (383) 332 34 94
Ресурс: http://conference.scholar.ru/conference/1016/