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]

Organizers

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