ICMS 2014 Session: Software for Quantified Reasoning

ICMS 2014: Home, Sessions

Organizers

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)

Publications

Submission Guidelines

Talks/Abstracts