max planck institut
mpii logo Minerva of the Max Planck Society University of Saarland

Workshop in Logic, Algebra and Computation

A satellite workshop of MACIS 2013 in Logic, Algebra and Computation will be held at Beihang University, Beijing, China on December 9, 2013. There will be no registration fees for the workshop.

Workshop Venue

Beihang University, Old Main Building, Meeting Room 321 [Map]


Chenqi Mou (Beihang University, China)
Dongming Wang (University Pierre and Marie Curie – CNRS, France)

Tentative Schedule

Morning Session Chair: Dongming Wang
09:15 – 10:05 Thomas Sturm: Positivity and a Tropical Approach to SMT Solving for the Sciences
10:05 – 10:35 Marek Kosta: Faster Learning in SMT-solving for Non-linear Arithmetic
10:35 – 10:50 Break
10:50 – 11:20 Jingjun Han, Zhi Jin, and Bican Xia: Inequality Proving and Global Optimization via a Simplified CAD Projection
11:20 – 11:50 Willem Hagemann: Computation of the Matrix Exponential
12:00 – 14:00 Lunch
Afternoon Session Chair: Chenqi Mou
14:00 – 14:50 Deepak Kapur: When is a Formula Invariant?
14:50 – 15:05 Break
15:05 – 15:55 Hoon Hong: Synthesis of Optimal Numerical Algorithms by Real Quantifier Elimination (Case Study: Square Root Computation)
15:55 – 16:25 Jing Yang: A Framework for Improving Uniformity of Parameterizations of Curves

List of Registered Workshop Participants

Willem Hagemann, Max Planck Institute for Informatics, Germany
Hoon Hong, North Carolina State University, USA
Deepak Kapur, University of New Mexico, USA
Marek Kosta, Max Planck Institute for Informatics, Germany
Thomas Sturm, Max Planck Institute for Informatics, Germany
Bican Xia, Peking University, China
Jing Yang, Beihang University, China

MACIS 2013