ICMS 2014 Session: Software for Quantified Reasoning

ICMS 2014: Home, Sessions


Aim and Scope

Deciding satisfiability of quantified formulas has many applications including program verification and synthesis, synthesizing inductive invariants, and optimization. Thus, it is one of the fundamental problems in Computer Science. This session will bring together experts in quantified reasoning and faciliate disseminating new and ongoing results on quantified reasoning.

Topics (including, but not limited to)


Submission Guidelines