Конференции

SMT 2019: 17th International Workshop on Satisfiability Modulo Theories

Мультидисциплинарный раздел
Информационные технологии, Молодые ученые, Профессиональное образование
Португалия, Лиссабон

7 июля–8 июля 2019

Форма участия: Очная

Срок подачи заявок: 19.04.2019

Организаторы: Scientists group

Контактное лицо: Prof. Natasha Sharygina

emal: [email protected]

Страница события

Повысить рейтинг

Повышение рейтинга дает возможность оставаться объявлению в топе на главной странице, а также на страницах городов, тематик, связанных с объявлением.

Текущее значение: 0

Determining the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be an enabling technology for verification, synthesis, test generation, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each background theory (e.g., linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These ingredients together make SMT techniques well-suited for use in larger automated reasoning and verification efforts.

Aims and Scope

The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to:

  • Decision procedures and theories of interest
  • Combinations of decision procedures
  • Novel implementation techniques
  • Applications and case studies
  • Benchmarks and evaluation methodologies
  • Theoretical results

Papers on pragmatic aspects of implementing and using SMT tools, as well as novel applications of SMT, in particular in the areas of machine learning and statistical reasoning, are especially encouraged.

Подать заявку на участие в мероприятии
No items found

Смотреть похожие мероприятия

XXII-ая Международная научно-практическая конференция «СОВРЕМЕННЫЙ МИР: ПРИРОДА И ЧЕЛОВЕК» к 160-летию со дня рождения академика В.И. Вернадского

Глубокоуважаемые коллеги!   Приглашаем принять участие в  XXII-ой Международной научно-практической конференции «СОВРЕМЕННЫЙ МИР: ПРИРОДА И ЧЕЛОВЕК» к 160-летию  со дня рождения  академика В.И.Вернадского. К  участию в конференции приглашаются  преподаватели высших...

Коуч-завтрак “Знакомство”

Коуч-завтрак «Знакомство» По статистике от 20 до 80% обращений клиентов к специалистам помогающих профессий поступают от знакомых коллег - коучей, психологов и бизнес-тренеров. Сегодня клиенты выбирают специалистов в основном по...

Как перейти на внутренний ЭДО госучреждению за 10 дней с помощью СБИС

С 1 января 2023 года все госучреждения должны перевести документооборот первичных бухгалтерских документов в электронный формат согласно Приказу Минфина России №61н. Приглашаем бухгалтеров государственных учреждений на бесплатный вебинар 18 июля,...
Корзина для покупок