OVERLAY-20: 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

Страна: Италия

Город: Bozen-Bolzano

Тезисы до: 03.07.2020

Даты: 25.09.20 — 26.09.20

Е-мейл Оргкомитета: overlay@uniud.it

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


The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. AI systems employed in such applications need to provide formal guarantees about their safety, increasing the need for a synergic collaboration between the AI and Formal Methods scientific communities. Despite this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence solutions have received relatively little attention.

Topics of interest include (but are not limited to):

  • automated reasoning
  • automated planning and scheduling
  • controller synthesis
  • formal verification
  • formal specification languages
  • game theory
  • hybrid and discrete systems
  • logics
  • reactive synthesis
  • runtime verification and monitoring
  • specification and verification of machine learning systems
  • timed automata
  • tools and applications

Веб-сайт конференции: https://overlay.uniud.it/workshop/2020/