Organization

Invited Talks

Call for Papers

Submission

Special sessions

Previous MACIS conf.

Accepted Submissions

Program

Registration

Visa & Travel

Accommodation

Practical Info

Some Places worth visiting

Post proceedings will

appear in LNCS

## Accepted Submissions
53 accepted papers for MACIS 2015 Noah Daleo and Jonathan Hauenstein. Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property Nobit Yamamoto, Kaname Matsue and Tomohiro Hiwaki. Construction of Lyapunov functions by validated computation Kenta Kobayashi. A Recursive Formula for the Circumradius of the n-Simplex Olivier Bournez, Daniel Graça and Amaury Pouly. Rigorous numerical computation of polynomial differential equations over unbounded domains Jordan Ninin. Global Optimization based on Contractor Programming: an Overview of the IBEX library Carlos Amendola, Mathias Drton and Bernd Sturmfels. Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental Katsuhisa Ozaki and Takeshi Ogita. Error-Free Transformation of Matrix Multiplication by A Posteriori Verification Prashant Batra. On the quality of some root-bounds Marc Mörig. Another Classroom Example of Robustness Problems in Planar Convex Hull Computation Marc Mörig and Stefan Schirra. Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions Franz Brauße, Margarita Korovina and Norbert Th.Müller. Using Taylor Models in Exact Real Arithmetic Gleb Pogudin. A ``polynomial shifting'' trick in differential algebra Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro Nakao. H3 and H4 regularities of the Poisson equation on polygonal domains Matthias Schroeder, Florian Steinberg and Martin Ziegler. Average-Case Complexity of Real Functions Rouven Walter, Thore Kübart and Wolfgang Kuechlin. Optimal Coverage in Automotive Configuration Bhagyesh Patil. The Bernstein branch-and-prune algorithm for constrained global optimization of multivariate polynomial MINLPs Ryoya Fukasaku, Hidenao Iwane and Yosuke Sato. Improving a CGS-QE algorithm Ágnes Kiss, Anke Stüber and Juliane Krämer. On the Optimality of Differential Fault Analyses on CLEFIA Richard Gustavson and Omar Leon Sanchez. A new bound for the existence of differential field extensions Daniel Brake, Jonathan Hauenstein and Andrew Sommese. Numerical local irreducible decomposition Peter Günther and Volker Krummel. Implementing Cryptographic Pairings on Accumulator based Smart Card Architectures Waad Bouaguel. A New Approach for Wrapper Feature Selection using Genetic Algorithm for Big Data Waad Bouaguel and Emna Mouelhi. New Method for Instance Feature Selection Using Redundant Features for Biological Data Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo and Shin'Ichi Oishi. Verified computations for solutions to semilinear parabolic equations using the evolution operator Dominique Monnet, Jordan Ninin and Benoit Clement. Global Optimization of $H_\infty$ problem: Application to robust control synthesis under structural constraint Naoya Yamanaka, Tomoaki Okayama and Shin'Ichi Oishi. Verified Error Bounds for the Real Gamma Function using Double Exponential Formula over Semi-infinite Interval James Freitag and Wei Li. Simple differential field extensions and effective bounds Sergei Sidorov. Linear k-Monotonicity Preserving Algorithms and Their Approximation Properties Peter Kutas. Complexity questions concerning the explicit isomorphism problem over number fields Peter Bürgisser, Kathlén Kohn, Pierre Lairez and Bernd Sturmfels. Computing the Chow Variety of Quadratic Space Curves Michael Joswig, Georg Loho, Benjamin Lorenz and Benjamin Schröter. Parametric linear programs and convex hulls Tomasz Kociumaka, Jakub Radoszewski and Bartłomiej Wiśniewski. Subquadratic-Time Algorithms for Abelian Stringology Problems Sergio De Agostino. Compressing Massive Data on a Distributed System Rémi Imbach, Guillaume Moroz and Marc Pouget. Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve Tomoaki Okayama. Explicit error bound for modified numerical iterated integration by means of Sinc methods Alexander Levin. Dimension Polynomials of Intermediate Fields of Inversive Difference Field Extensions Joachim Giesen, Soeren Laue and Jens K.Mueller. Reconstructing a Sparse Solution from a Compressed Support Vector Machine Hugo Férée and Martin Ziegler. On the Computational Complexity of Positive Linear Functionals on C[0;1] Radu Hambasan and Michael Kohlhase. Faceted Search for Mathematics Shizuka Shirai and Tetsuo Fukui. Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method Katsusuke Nabeshima and Shinichi Tajima. Solving extended ideal membership problems in rings of convergent power series via Groebner bases Andreas Beyer, Yu Liu, Hubert Mara and Susanne Krömker. Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features Marko Lange. A new matrix splitting based relaxation for the quadratic assignment problem Jakob Juhnke, Johannes Blömer and Nils Löken. Short Group Signatures with Distributed Traceability Jackie Daykin, Mirka Miller and Joe Ryan. Temporal Reasoning: Constraints and Graphs Wenya An, Xiaoyu Chen and Dongming Wang. Searching for Geometric Theorems Using Features Retrieved from Diagrams Jean-Guillaume Dumas, Burak Ekici, Damien Pous, Jean-Claude Reynaud and Dominique Duval. Relative Hilbert-Post completeness for exceptions Joris van der Hoeven. Certifying trajectories of dynamical systems Daniel Brake, Daniel Bates, Vakhtang Putkaradze and Anthony Maciejewski. Workspace Multiplicity and Fault Tolerance of Cooperating Robots Frank Quedenfeld and Christopher Wolf. Advanced Algebraic Attack on Trivium Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki and Hirokazu Anai. Efficient subformula orders for real quantifier elimination of non-prenex formulas Velislava Stoykova. Using Statistical Search to Discover Semantic Relations of Political Lexica – Evidences from Bulgarian-Slovak EUROPARL 7 Corpu Alessio Langiu, Francesca Marzi, Filippo Mignosi and Giulio Nazzicone. Compressing Big Data: When the Rate of Convergence to the Entropy Matters Accepted short papers are immediately available in the individual pages for the Special Sessions. |