[SMT-LIB] ICMS 2014 Special Session on Quantified Reasoning: call for abstracts

Nikolaj Bjorner nbjorner at microsoft.com
Tue Feb 25 22:14:49 EST 2014


-----------------------------------------------------------------------------------------------------------------------------
                                         Call for abstracts
 
                 Special Session on Software for Quantified Reasoning at 
     The 4th International Congress of Mathematical Software (ICMS 2014)

                    A satellite conference of International Congress of
                                Mathematicians (ICM 2014)

        August 5(Tue) - 9(Sat), 2014, Hanyang University, Seoul, Korea

Session web site: http://www.andrew.cmu.edu/user/arieg/icms2014/ICMS2014_Qr_Session.html
ICMS 2014 web site: http://voronoi.hanyang.ac.kr/icms2014/
ICM 2014 web site: http://www.icm2014.org/
----------------------------------------------------------------------------------------------------------------------------------

The 4th edition of the International Congress of Mathematical Software
will take place in August at Seoul, South Korea, co-located with the
International Congress of Mathematicians.

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. The aim of the Special Session on
Software for Quantified Reasoning is to bring together experts in
quantified reasoning to facilitate dissemination of new and ongoing
results on quantified reasoning.

TOPICS (including, but not limited to)

  *  Quantifier elimination
  *  Quantified Boolean Satisfiability (QBF)
  *  Approximate and Lazy quantifier elimination procedures
     *  e.g., consequence inference, interpolation
  *  Finite model finding
  *  Quantified reasoning in Satisfiability Modulo Theory
  *  Efficient algorithms and tools for quantified reasoning
  *  Solving quantified Horn clauses

ORGANIZERS

  Nikolaj Bjorner (Microsoft Research, USA)
  Arie Gurfinkel (SEI/CMU)
  David Monniaux (Verimag)

IMPORTANT DATES
 
  * Submission deadline for a short (200 words) abstract: March 31, 2014
  * Submission deadline for an extended (2 pages) abstract: April 30, 2014
  * ICMS 2014: August 5-9, 2014
  * Submission deadline for a journal special issue: After August 2014

Full details on the submission process are at 
http://voronoi.hanyang.ac.kr/icms2014/Submission.html



More information about the SMT-LIB mailing list