[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