FoCM 2014 conference

Venue

Edificio Polifuncional Jose Luis Massera
Facultad de Ingenieria, Universidad de la República
Av. Julio Herrera y Reissig 565, Montevideo 11300, Uruguay
Map

 

Schedule

			Dec 11, Thursday A workshops - Day 1	Dec 12, Friday A workshops - Day 2	Dec 13, Saturday A workshops - Day 3
Dec 15, Monday B workshops - Day 1	Dec 16, Tuesday B workshops - Day 2	Dec 17, Wednesday B workshops - Day 3	Dec 18, Thursday C workshops - Day 1	Dec 19, Friday C workshops - Day 2	Dec 20, Saturday C workshops - Day 3

 

December 11, Thursday

Morning - Salón de actos (Auditorium)

From 7:30	Registration
9:00 ~ 9:30	Opening Ceremony
9:30 ~ 10:25	On subset sums Endre Szemeredi Chair: Roberto Markarian
10:30 ~ 11:00	Coffee Break
11:00 ~ 11:55	Some Problems For This Century Michael Shub Chair: Roberto Markarian

Afternoon

		A1  Room B21 Computational Dynamics	A2  Room C21 Computational Harmonic Analysis, Image and Signal Processing	A3  Room A21 Computational Number Theory	A4  Room B11 Graph Theory and Combinatorics	A5  Room B22 Multiresolution and Adaptivity in Numerical PDEs	A6  Room C11 Real Number Complexity
	14:30	A parametrized Newton-Kantorovich method for rigorously computing (un)stable manifolds: non-resonant and resonant spectra C. Reinhardt 14:30 ~ 14:55	Streaming signal reconstruction from generalized measurements J. Romberg 14:35 ~ 15:25	Class invariants for abelian surfaces A. Enge 14:30 ~ 15:10	Improved upper bounds on the crossing number, the 2-page crossing number and the rectilinear crossing number of the hypercube C. Figueiredo 14:30 ~ 15:00	A posteriori error estimation and adaptivity in the maximum norm A. Demlow 14:30 ~ 15:10	Some Results on the Complexity of the Eigenvalue Problem D. Armentano 14:30 ~ 15:00
	15:00	Computing global invariant manifolds of dynamical systems P. Aguirre 15:00 ~ 15:25			On the directed cycle double cover conjecture A. Jiménez 15:00 ~ 15:30		On sparse polynomial solving G. Malajovich 15:00 ~ 15:30
				Aspects of Belyi maps J. Sijsling 15:10 ~ 15:50
	15:30	Coexistence of chaos and hyperchaos D. Wilczak 15:30 ~ 15:55	On exact recovery of signals from the projection onto polynomial spaces S. Dekel 15:30 ~ 15:55		Monochromatic path/cycle partitions M. Stein 15:30 ~ 16:00	Weak convergence analysis for stochastic evolution PDEs S. Larsson 15:35 ~ 16:25	Variational analysis in the light of semi-algebraic geometry A. Daniilidis 15:35 ~ 16:25
				Distribution of traces of genus 3 curves C. Ritzenthaler 15:50 ~ 16:30
	16:00	Computer-assisted analysis of Craik's 3D dynamical system T. Miyaji 16:00 ~ 16:25	Least squares regularized or constrained by $L_0$: relationship between their optimal solutions and properties M. Nikolova 16:00 ~ 16:25		On Connected Identifying Codes for Infinite Lattices V. Campos 16:00 ~ 16:30
	16:30	Coffe break 16:30 ~ 17:00
	17:00	Coexistence of hexagons and rolls J. Lessard 17:00 ~ 17:25	Simultaneous high dynamic range image reconstruction and denoising for non-static scenes P. Musé 17:00 ~ 17:25	Polynomial time computation of Galois representations attached to modular forms B. Edixhoven 17:05 ~ 17:55	Toughness and Kronecker product of graphs D. Jaume 17:00 ~ 17:30	Existence of $p$-Moments for the Weak Space-Time Heat Equation with Random Coefficients and Stability of its Petrov-Galerkin Discretization C. Mollet 17:00 ~ 17:20
	17:30	Golden mean Siegel disks: renormalization hyperbolicity and applications D. Gaidashev 17:30 ~ 17:55	Denoising an Image by Denoising its Curvature S. Levine 17:30 ~ 17:55			Regularity of boundary integral equations in Besov-type spaces based on wavelet expansions M. Weimar 17:30 ~ 17:50	Elementary recursive degree bounds for Positivstellensatz, Hilbert 17th problem and Real Nullstellensatz (part I) D. Perrucci 17:30 ~ 18:00
	18:00	Topological Data Analysis on Amorphous Structures Y. Hiraoka 18:00 ~ 18:25	Recent algorithmic and theoretical advances on graph matching M. Fiori 18:00 ~ 18:25	Computations on a conjecture of BSD type postulated by B. Mazur and J. Tate F. Portillo 18:00 ~ 18:40	Transversals to the convex hulls of $k$-sets L. Montejano 18:00 ~ 18:30		Elementary recursive degree bounds for Positivstellensatz, Hilbert 17th problem and Real Nullstellensatz (part II) M. Roy 18:00 ~ 18:30
	18:30		Matrix recovery from coarse observations M. Davenport 18:30 ~ 18:55		The Li-Yau inequality and the geometry of graphs P. Horn 18:30 ~ 19:00		Towards a Broader View of Theory of Computing -- Part 1 N. Karmarkar 18:30 ~ 19:00

 

December 12, Friday

Morning - Salón de actos (Auditorium)

From 8:00	Registration
9:00 ~ 9:55	The L-functions and modular forms database project John Cremona Chair: Fernando Rodriguez Villegas
10:00 ~ 11:00	Coffee Break and Poster Session
11:00 ~ 11:55	Multipliers and contraints for spline-based methods Annalisa Buffa Chair: Wolfgang Dahmen

Afternoon

		A1  Room B21 Computational Dynamics	A2  Room C21 Computational Harmonic Analysis, Image and Signal Processing	A3  Room A21 Computational Number Theory	A4  Room B11 Graph Theory and Combinatorics	A5  Room B22 Multiresolution and Adaptivity in Numerical PDEs	A6  Room C11 Real Number Complexity
	14:30	Developing a computationally efficient algebraic/combinatorial framework for nonlinear dynamics K. Mischaikow 14:35 ~ 15:25	Fundamentals of dynamical sampling C. Cabrelli 14:30 ~ 14:55	All del Pezzo surfaces of degree two over finite fields are unirational C. Salgado 14:30 ~ 15:10	Homomorphisms, Ramsey Theory and Limits J. Nešetřil 14:35 ~ 15:25	Near-Best hp-Adaptive Approximation P. Binev 14:30 ~ 15:10	De Rham Cohomology and Ordinary Differential Equations P. Scheiblechner 14:30 ~ 15:00
	15:00		On spectrogram local maxima P. Flandrin 15:00 ~ 15:25				Can everything be computed? - On the Solvability Complexity Index and Towers of Algorithms A. Hansen 15:00 ~ 15:30
				Concurrent lines on del Pezzo surfaces of degree one R. van Luijk 15:10 ~ 15:50
	15:30	Detecting Morse decompositions of the global attractor of regulatory networks by time series data H. Oka 15:30 ~ 15:55	High dimensional learning rather than computing in quantum chemistry M. Hirn 15:30 ~ 15:55			convergence and optimality of adaptive boundary element methods J. Melenk 15:30 ~ 16:10	Probabilistically Checkable Proofs over the Reals K. Meer 15:35 ~ 16:25
				Computing twists of Shioda modular surfaces of level 4 related to visibility of Sha N. Bruin 15:50 ~ 16:30
	16:00	Switching networks database as a platform for parameter search in gene regulatory networks T. Gedeon 16:00 ~ 16:25	Estimation of bandlimited stochastic operators using SIC-POVMs G. Pfander 16:00 ~ 16:25		On the Number of Perfect Matchings in Graphs M. Carvalho 16:00 ~ 16:30
	16:30	Coffe break 16:30 ~ 17:00
	17:00	An application of the persistence paradigm to the computation of the Conley index P. Pilarczyk 17:00 ~ 17:25	Consistency of probability measure quantization by means of power repulsion-attraction potentials M. Fornasier 17:00 ~ 17:25	Prime densities for $GL_1$ and $GL_2$ P. Stevenhagen 17:00 ~ 17:40	Forbidden induced subgraph characterizations of subclasses and variations of perfect graphs G. Durán 17:00 ~ 17:30	Adaptive low-rank tensor approximation for high dimensional operator equations W. Dahmen 17:05 ~ 17:55	Geometric Complexity Theory, Tensor Rank, and Representation Theory C. Ikenmeyer 17:00 ~ 17:30
	17:30	Analyzing the dynamics of pattern formation in the space of persistence diagrams M. Kramar 17:30 ~ 17:55			Characterizing and Recognizing Normal Helly Circular-Arc Graphs L. Grippo 17:30 ~ 18:00		On the intersection of a sparse curve and a low-degree curve: A polynomial version of the lost theorem P. Koiran 17:30 ~ 18:00
				Computing tables of elliptic curves A. Pacetti 17:40 ~ 18:20
	18:00		Weighted sparsity for function approximation and interpolation R. Ward 18:05 ~ 18:55		Algorithms and complexity of graph convexity problems V. dos Santos 18:00 ~ 18:30	Polynomial-degree-robust a posteriori estimates in a unified setting M. Vohralik 18:00 ~ 18:40	A polynomial homotopy random walk A. Leykin 18:00 ~ 18:30
	18:30

Evening

20.00 ~ 22.00

Social event

 

December 13, Saturday

Morning - Salón de actos (Auditorium)

From 8:00	Registration
9:00 ~ 9:55	Pursuit of Low-dimensional Structures in High-dimensional Data Yi Ma Chair: Gregory Randall
10:00 ~ 10:40	Coffee Break and Poster Session
10:40 ~ 11:00	Smale Prize Award Ceremony
11:00 ~ 11:55	Heating the sphere Carlos Beltrán Chair: Luis Miguel Pardo

Afternoon

		A1  Room B21 Computational Dynamics	A2  Room A11 Computational Harmonic Analysis, Image and Signal Processing	A3  Room A21 Computational Number Theory	A4  Room B11 Graph Theory and Combinatorics	A5  Room B23 Multiresolution and Adaptivity in Numerical PDEs	A6  Room A22 Real Number Complexity
	14:30	The Dynamics of Nucleation E. Sander 14:35 ~ 15:25	Color Stabilization Along Time and Across Shots of the Same Scene, for One or Several Cameras of Unknown Specifications M. Bertalmío 14:30 ~ 14:55	On the number of points of Jacobians over finite fields: from asymptotic theory to applications A. Zykin 14:30 ~ 15:10	On the applications of counting independent sets in hypergraphs J. Balogh 14:30 ~ 15:00	Adaptive Wavelet Boundary Element Methods H. Harbrecht 14:30 ~ 15:10	Universal components of random algebraic sets D. Gayet 14:30 ~ 15:00
	15:00		Multi-level structured sparse models P. Sprechmann 15:00 ~ 15:25		An Erdős-Lovász-Spencer Theorem for permutations and its consequences for parameter testing C. Hoppen 15:00 ~ 15:30		On the number of zeros of $E$-polynomials G. Jeronimo 15:00 ~ 15:30
				Arithmetic geometry and key exchange : compact Diffie--Hellman with efficient endomorphisms B. Smith 15:10 ~ 15:50
	15:30	Rigorous Continuation of Solutions of PDEs M. Gameiro 15:30 ~ 15:55	On the stability of least-squares approximations. Application in acoustics. A. Cohen 15:35 ~ 16:25		Constructing covering arrays from $m$-sequences D. Panario 15:30 ~ 16:00	A convergent adaptive scheme for hierarchical isogeometric methods C. Giannelli 15:30 ~ 16:10	Quiz Games: A Model for Information Hiding L. Pardo 15:30 ~ 16:00
				Paramodular forms: central values of twisted spin L-functions G. Tornaria 15:50 ~ 16:30
	16:00	Existence of globally attracting solutions of the viscous Burgers equation on the line with periodic boundary conditions and nonautonomous forcing J. Cyranka 16:00 ~ 16:25			A unified approach to linear probing hashing A. Viola 16:00 ~ 16:30		Counting the number of components of random real hypersurfaces A. Lerario 16:00 ~ 16:30
	16:30	Coffe break 16:30 ~ 17:00
	17:00	Persistent homology of self-maps M. Mrozek 17:00 ~ 17:25	Texture aware video inpainting of complex scenes A. Almansa 17:00 ~ 17:25	Hypergeometric Motives F. Rodriguez Villegas 17:00 ~ 17:40	Extremal combinatorics in random discrete structures M. Schacht 17:05 ~ 17:55	Adaptive methods for nonlinear problems: PDEs and Multiscale Modelling C. Makridakis 17:00 ~ 17:40	On the computation of roadmaps of real algebraic sets E. Schost 17:00 ~ 17:30
	17:30	Discrete and classical vector field dynamics T. Kaczynski 17:30 ~ 17:55	Self similarity and spectral correlation adaptive algorithm for image interpolation A. Buades 17:30 ~ 17:55				The Betti numbers of an intersection of random quadrics E. Lundberg 17:30 ~ 18:00
				Torsion structures of elliptic curves over number fields F. Najman 17:40 ~ 18:20
						Instance optimality of the maximum strategy L. Diening 17:50 ~ 18:30
	18:00		A one stage Sigma-Delta decoder for compressed sensing measurements R. Wang 18:00 ~ 18:25		Towards a Broader View of Theory of Computing -- Part 2 N. Karmarkar 18:05 ~ 18:55
	18:30		Orthonormal Bases Generated by Cuntz Algebras M. Song 18:30 ~ 18:55

 

December 15, Monday

Morning - Salón de actos (Auditorium)

From 8:00	Registration
9:20 ~ 9:30	Opening Remarks
9:30 ~ 10:25	The joy and pain of skew symmetry Arieh Iserles Chair: Antonella Zanna
10:30 ~ 11:00	Coffee Break
11:00 ~ 11:55	Stochastic Asynchronous Parallel Methods in Optimization Stephen Wright Chair: Katya Scheinberg

Afternoon

		B1  Room A12 Approximation Theory	B2  Room A22 Computational Topology and Geometry	B3  Room A21 Continuous Optimization	B4  Room B11 Geometric Integration and Computational Mechanics	B5  Room B23 Information Based Complexity	B6  Room B12 Random Matrices	B7  Room A11 Symbolic Analysis
	14:30	Greedy approximation of a solution manifold W. Dahmen 14:35 ~ 15:25	Measuring the geometric similarities of genus-zero surfaces P. Koehl 14:35 ~ 15:25	Randomized Methods for Zeroth-Order Optimization A. Rakhlin 14:30 ~ 15:00	Post-Lie algebras in differential geometry and applications H. Munthe-Kaas 14:30 ~ 14:55	The ANOVA decomposition of a non-smooth function of an infinite number of variables I. Sloan 14:30 ~ 15:00	Asymptotic Degrees of Freedom for Combining Regression with Factor Analysis P. Perry 14:30 ~ 14:55	A decision method for integrability of partial differential algebraic Pfaffian systems. L. D'Alfonso 14:30 ~ 14:55
	15:00			A Trust Region Algorithm with a Worst-Case Global Function Evaluation Complexity of ${\cal O}(\epsilon^{-3/2})$ for Nonconvex Smooth Optimization F. Curtis 15:00 ~ 15:30	The Butcher group is a Lie group G. Bogfjellmo 15:00 ~ 15:25	On equivalence of anchored and ANOVA spaces of multivariate functions M. Hefter 15:00 ~ 15:30	Deformed smallest singular value laws B. Rider 15:00 ~ 15:25	Higher order integrable Lagrangians R. Hernández Heredero 15:00 ~ 15:25
	15:30	Approximation of freeform surfaces with polyhedral patterns H. Pottmann 15:30 ~ 15:55	Induced Matchings of Barcodes and the Algebraic Stability of Persistence U. Bauer 15:30 ~ 15:55	Classical unconstrained optimization based on "occasionally accurate" random models K. Scheinberg 15:35 ~ 16:25	Discrete inequalities for central-difference type operators T. Matsuo 15:30 ~ 15:55	$L_p$-spaces in the anchored and ANOVA setting A. Hinrichs 15:30 ~ 16:00	Random Matrices and the Melting Polar Ice Caps K. Golden 15:35 ~ 16:25	Symmetry classification of curvature evolutions P. van der Kamp 15:30 ~ 15:55
	16:00	Convolution operations in curve and surface modeling T. Grandine 16:00 ~ 16:25				Integration w.r.t. the Standard Gaussian Measure on the Sequence Space M. Hefter 16:00 ~ 16:30		Configuration and differential invariants D. Blazquez-Sanz 16:00 ~ 16:25
	16:30	Coffe break 16:30 ~ 17:00
	17:00	Linear Differential Operators on Spline Spaces and Spline Vector Fields T. Sorokina 17:05 ~ 17:55	Configuration spaces of hard disks in an infinite strip M. Kahle 17:00 ~ 17:25	Lipschitzean Piecewise Smooth Minimization (LiPSMin) A. Griewank 17:00 ~ 17:30	Symplectic Runge-Kutta methods for nonsymplectic problems J. Sanz-Serna 17:05 ~ 17:55	Tractability of the Approximation of High-Dimensional Rank One Tensors E. Novak 17:00 ~ 17:30	Hypergeometric Functions of Matrix Arguments and Linear Statistics of Multi-Spiked Hermitian Matrix Models M. McKay 17:05 ~ 17:30	Discrete moving frames with applications E. Mansfield 17:05 ~ 17:55
	17:30		Random 3-manifolds J. Maher 17:30 ~ 17:55	Geodesic distance maximization via convex optimization M. Fazel 17:30 ~ 18:00		On the complexity of scalar first order PDEs S. Heinrich 17:30 ~ 18:00	Large Complex Correlated Wishart Matrices: Fluctuations and Asymptotic Independence at the Edges J. Najim 17:30 ~ 17:55
	18:00	Algebraic tools for the study of spline spaces N. Villamizar 18:00 ~ 18:25	Variations on Topological Complexity H. Colman 18:00 ~ 18:25	Relative Entropy Relaxations for Signomial Optimization V. Chandrasekaran 18:00 ~ 18:30	Algebra and structure-preserving integrators C. Curry 18:00 ~ 18:25	Tractability of approximation of ridge functions J. Vybiral 18:00 ~ 18:30		Nonlocal symmetries and formal integrability E. Reyes 18:00 ~ 18:25
	18:30					Automatic bounding of cross--derivatives H. Leovey 18:30 ~ 19:00

 

December 16, Tuesday

Morning - Salón de actos (Auditorium)

From 8:30	Registration
9:00 ~ 9:55	Architectural Geometry Helmut Pottmann Chair: Gita Kutyniok
10:00 ~ 10:50	Coffee Break and Poster Session
10:50 ~ 11:00	JofC & IBC Award Ceremony
11:00 ~ 11:55	Liberating the Dimension - Quasi Monte Carlo Methods for High Dimensional Integration Frances Kuo Chair: Ian Sloan

Afternoon

		B1  Room B21 Approximation Theory	B2  Room C11 Computational Topology and Geometry	B3  Room A21 Continuous Optimization	B4  Room B11 Geometric Integration and Computational Mechanics	B5  Room B23 Information Based Complexity	B6  Room B22 Random Matrices	B7  Room C21 Symbolic Analysis
	14:30	Wavelet decompositions of Random Forests S. Dekel 14:35 ~ 15:25	Distributed Computation of Persistent Homology using the Blowup Complex D. Morozov 14:30 ~ 14:55	Analysis and Design of Optimization Algorithms via Integral Quadratic Constraints B. Recht 14:35 ~ 15:25	The exact discrete Lagrangian function on the Lie algebroid of a Lie groupoid J. Marrero 14:30 ~ 14:55	Numerical Integration J. Dick 14:35 ~ 15:25	Dysonian dynamics of the Ginibre ensemble M. Nowak 14:30 ~ 14:55	Fast algorithms for the $p$-curvature of differential operators A. Bostan 14:30 ~ 14:55
	15:00		Algebraic Morse-Forman-Conley theory M. Mrozek 15:00 ~ 15:25		Reduction by stages of discrete mechanical systems: a discrete Lagrange-Poincare approach J. Fernandez 15:00 ~ 15:25		Finite N corrections to the Tracy-Widom distribution at the hard edge of the Laguerre-Wishart ensemble of complex random matrices G. Schehr 15:00 ~ 15:25	Computations with Nested Integrals in Particle Physics C. Raab 15:00 ~ 15:25
	15:30	Tree Algorithms for Classification P. Binev 15:30 ~ 15:55	Persistent Objects A. Patel 15:30 ~ 15:55	On the graphical derivative of solution maps to parameterized equilibria with conic constraints H. Ramírez 15:30 ~ 16:00	Geometric Numerical Integration and Computational Geometric Mechanics M. Leok 15:35 ~ 16:25	The weighted star discrepancy of Korobov's $p$-sets F. Pillichshammer 15:30 ~ 16:00	Non-backtracking spectrum of random graphs C. Bordenave 15:35 ~ 16:25	Equivalence and Invariants: an Overview P. Olver 15:35 ~ 16:25
	16:00	Using Semidefinite Programming in Approximation Theory S. Foucart 16:00 ~ 16:25	Beyond Convexity: New Perspectives in Computational Optimization N. Karmarkar 16:00 ~ 16:25	Integral Geometry and Phase Transitions in Conic Optimization M. Lotz 16:00 ~ 16:30		Numerical integration of functions with mixed smoothness M. Ullrich 16:00 ~ 16:30
	16:30	Coffe break 16:30 ~ 17:00
	17:00	Weighted D-T moduli revisited and applied D. Leviatan 17:05 ~ 17:55	Topology and Geometry of Amorphous Structures Y. Hiraoka 17:00 ~ 17:50	Communication-Efficient Distributed Dual Coordinate Ascent M. Takac 17:00 ~ 17:30	Solvability of Geometric Integrators for Multi-body Systems M. Kobilarov 17:00 ~ 17:25	Preasymptotic estimates for approximation of multivariate Sobolev functions T. Kühn 17:00 ~ 17:30	A Rice method proof of the NSP property for a Random matrix J. Azais 17:00 ~ 17:25	$q$-shift operators in knot theory C. Koutschan 17:00 ~ 17:25
	17:30			Stochastic Dual Coordinate Ascent with Arbitrary Sampling of Coordinates P. Richtarik 17:30 ~ 18:00	Structure preserving integration of hybrid dynamical systems and optimal control S. Leyendecker 17:30 ~ 17:55	Optimal Approximation of Sobolev Functions in the $L_2$ and in the Supremum Norm W. Sickel 17:30 ~ 18:00
	18:00	Estimating the $n$-width of solution manifolds of parametric PDE's A. Cohen 18:00 ~ 18:25	The Classification of Homotopy Classes of Bounded Curvature Paths J. Ayala 18:00 ~ 18:25	A short proof of infeasibility and generating all infeasible semidefinite programs G. Pataki 18:00 ~ 18:30	Higher order variational integrators in the optimal control of mechanical systems S. Ober-Blöbaum 18:00 ~ 18:25	BMO and exponential Orlicz space estimate of the discrepancy function in arbitrary dimension L. Markhasin 18:00 ~ 18:30		Combinatorics, Number Theory, and Symbolic Analysis P. Paule 18:00 ~ 18:25

Evening

19.00 ~ 21.30

Social event

 

December 17, Wednesday

Morning - Salón de actos (Auditorium)

From 8:30	Registration
9:00 ~ 9:55	On the characterization of approximation spaces in Nonlinear Approximation Pencho Petrushev Chair: Nira Dyn
10:00 ~ 11:00	Coffee Break and Poster Session
11:00 ~ 11:55	Differential Groups and the Gamma Function Michael F. Singer Chair: Alicia Dickenstein

Afternoon

		B1  Room A12 Approximation Theory	B2  Room A22 Computational Topology and Geometry	B3  Room A21 Continuous Optimization	B4  Room B11 Geometric Integration and Computational Mechanics	B5  Room B23 Information Based Complexity	B6  Room B12 Random Matrices	B7  Room A11 Symbolic Analysis
	14:30	Stable reconstruction from Fourier samples A. Shadrin 14:35 ~ 15:25		Projection: A Unified Approach to Semi-Infinite Linear Programs with applications to Convex Optimization A. Basu 14:30 ~ 15:00	Geometric Integration for High Fidelity Visual Computing Applications D. Michels 14:30 ~ 14:55	Tractability of Analytic Multivariate Problems H. Woźniakowski 14:30 ~ 15:00	Sampling unitary ensembles S. Olver 14:30 ~ 14:55	Multiple binomial sums B. Salvy 14:35 ~ 15:25
	15:00			Toward a Broader View of Theory of Computing -- Part 3 N. Karmarkar 15:00 ~ 15:30	On a problem in quantum control with unknown initial conditions A. Zanna 15:00 ~ 15:25	High-dimensional algorithms in weighted Hermite spaces of analytic functions P. Kritzer 15:00 ~ 15:30	Gap probabilities and applications to geometry and random topology A. Lerario 15:00 ~ 15:25
	15:30	$\alpha$-Molecules: Wavelets, Shearlets, and beyond G. Kutyniok 15:35 ~ 16:25	Inducing a map on homology from a correspondence P. Pilarczyk 15:30 ~ 15:55	A New Primal-Dual Predictor-Corrector Interior-Point Method D. Robinson 15:30 ~ 16:00	Simulation of Wind Instruments and a Geometric Invariance of the Discrete Gradient Method T. Yaguchi 15:30 ~ 15:55	A refined classification of problems with (sub)exponential information complexity M. Weimar 15:30 ~ 16:00	Random Matrix Laws and Jacobi Operators A. Edelman 15:30 ~ 15:55	Desingularization of Ore Operators M. Kauers 15:30 ~ 15:55
	16:00		Practical efficiency of persistent homology computations H. Wagner 16:00 ~ 16:25	Gordon's Inequality and condition numbers in conic optimization D. Amelunxen 16:00 ~ 16:30		Linear Tensor Product Problems and New Notions of Tractability P. Siedlecki 16:00 ~ 16:30	New applications of random matrices R. Nadakuditi 16:00 ~ 16:25	Computing the parameterized differential Galois group of a second-order linear differential equation with parameters C. Arreche 16:00 ~ 16:25
	16:30	Coffe break 16:30 ~ 17:00
	17:00	Recent progress on boundary effects in kernel approximation T. Hangelbroek 17:05 ~ 17:55	Embeddings of Simplicial Complexes $- $ Algorithms $\&$ Combinatorics U. Wagner 17:00 ~ 17:25	Stable polynomials, matroids, and sums of squares C. Vinzant 17:00 ~ 17:30	Energy preservation for moving mesh PDEs B. Owren 17:00 ~ 17:25	Integration problems with a large or infinite number of variables M. Gnewuch 17:05 ~ 17:55	New Formulae Relating Finite GOE and LUE --- from Numerical Experiments to Proofs F. Bornemann 17:05 ~ 17:55	Algebraic bivariate hypergeometric Laurent series A. Dickenstein 17:00 ~ 17:25
	17:30		Parameterised complexity in 3-manifold topology B. Burton 17:30 ~ 17:55	A certificate for non-negativity of polynomials over unbounded sets J. Vera 17:30 ~ 18:00	Geometric data assimilation: a thermostat-based particle filter J. Frank 17:30 ~ 17:55			Invariants of Finite Abelian Groups and their use in Symmetry Reduction of Dynamical Systems G. Labahn 17:30 ~ 17:55
	18:00	Series kernels for high dimensional reconstruction problems C. Rieger 18:00 ~ 18:25		Nonnegative polynomials and sums of squares on real projective varieties M. Velasco 18:00 ~ 18:30	Collocation method for solving singular ODEs and higher index DAEs E. Weinmüller 18:00 ~ 18:25	Approximation of piecewise Hölder classes from inexact information L. Plaskota 18:00 ~ 18:30		Section, Invariants and Symmetrization E. Hubert 18:00 ~ 18:25
	18:30				Modified trigonometric integrators A. Stern 18:30 ~ 18:55	Detecting singularities of piecewise smooth functions P. Morkisz 18:30 ~ 19:00

 

December 18, Thursday

Morning - Salón de actos (Auditorium)

From 8:00	Registration
9:20 ~ 9:30	Opening Remarks
9:30 ~ 10:25	Models of tumor growth and therapy Benoit Perthame Chair: Randall LeVeque
10:30 ~ 11:00	Coffee Break
11:00 ~ 11:55	On Adaptive Multilevel Monte Carlo and Multi-Index Monte Carlo Raul Tempone Chair: Ernesto Mordecki

Afternoon

		C1  Room B12 Computational Algebraic Geometry	C2  Room A22 Foundation of Numerical PDE's	C3  Room B23 Learning Theory	C4  Room B11 Numerical Linear Algebra	C5  Room A21 Special Functions and Orthogonal Polynomials	C6  Room A12 Stochastic Computation
	14:30	Cactus varieties of cubic forms K. Ranestad 14:35 ~ 15:25	Numerical approximation of the time-harmonic Maxwell system using H1-conforming finite elements A. Bonito 14:30 ~ 15:05	A Tale of Three Regression Problems A. Rakhlin 14:30 ~ 15:00	A practical framework for infinite-dimensional linear algebra S. Olver 14:35 ~ 15:25	Extending Askey tableau by the inclusion of Krall and exceptional polynomials A. Durán 14:30 ~ 15:00	Multi-Index Monte Carlo: When Sparsity Meets Sampling A. Haji Ali 14:30 ~ 15:00
	15:00			Stochastic proximal methods for online learning S. Villa 15:00 ~ 15:30		Orthogonal and para-orthogonal polynomials on the unit circle A. Ranga 15:00 ~ 15:30	Multilevel Monte Carlo for the simulation of dilute polymers M. Giles 15:00 ~ 15:30
			Scattering of transient waves by penetrable obstacles F. Sayas 15:10 ~ 15:45
	15:30	An algebraic approach to phase retrieval C. Vinzant 15:30 ~ 15:50		Efficient minimax strategies for online prediction P. Bartlett 15:35 ~ 16:25	Applications of the GSVD Y. Wang 15:30 ~ 16:00	On orthogonal polynomials associated with perturbations of Hankel matrices L. Garza 15:30 ~ 16:00	Multi Level Monte Carlo for Coulomb Collisions in a Plasma R. Caflisch 15:35 ~ 16:25
			A posteriori error estimators for weighted norms. Adaptivity for point sources and local errors P. Morin 15:50 ~ 16:25
	16:00	Cellular Binomial Ideals L. Matusevich 16:00 ~ 16:20			Julia: A Fresh Approach to Technical Computing A. Edelman 16:00 ~ 16:30	Kissing polynomials A. Iserles 16:00 ~ 16:30
	16:30	Coffe break 16:30 ~ 17:00
	17:00	Applications of computational algebraic geometry to vacuum moduli spaces of supersymmetric models in physics M. Stillman 17:00 ~ 17:20	Finite element spectral approximation of the curl operator in multiply connected domains R. Rodriguez 17:05 ~ 17:55	Simultaneous Model Selection and Learning through Parameter-free Stochastic Gradient Descent F. Orabona 17:00 ~ 17:30	Factoring arbitrary matrices into products of structured matrices L. Lim 17:05 ~ 17:55	Orthogonal polynomials and integral transforms A. Loureiro 17:00 ~ 17:30	Weak approximation of stochastic differential equations by a multilevel Monte Carlo method using mean square adaptive numerical integration H. Hoel 17:00 ~ 17:30
	17:30	Effective computations on Grassmann, Flag, and Stiefel varieties with applications C. Peterson 17:30 ~ 17:50		Trivial Pursuit: A Shallow Learning Retrospective B. Recht 17:30 ~ 18:00		Explicit formulas for OPUC and para-orthogonal polynomials for measures which are modifications of Lebesque measure C. Bracciali 17:30 ~ 18:00	Higher order QMC Galerkin Discretization for parametric operator equations J. Dick 17:30 ~ 18:00
	18:00	Generalized barycentric coordinates and algebraic geometry H. Schenck 18:00 ~ 18:20		The Wasserstein Barycenter Problem: Formulation, Computation and Applications M. Cuturi 18:00 ~ 18:30	Applications of the Cauchon Algorithm J. Garloff 18:00 ~ 18:30	Spectral Orthogonal Polynomals and Differential Galois Theory P. Acosta-Humánez 18:00 ~ 18:30	Optimal mesh hierarchies in Multilevel Monte Carlo methods E. Schwerin 18:00 ~ 18:30
	18:30	Plethysm and lattice point counting T. Kahle 18:30 ~ 18:50

 

December 19, Friday

Morning - Salón de actos (Auditorium)

From 8:30	Registration
9:00 ~ 9:55	AFEM for the Laplace-Beltrami Operator: Convergence Rates Ricardo H. Nochetto Chair: Pedro Morin
10:00 ~ 11:00	Coffee Break and Poster Session
11:00 ~ 11:55	Solving high-dimensional PDEs by tensor product approximation Reinhold Schneider Chair: Angela Kunoth

Afternoon

		C1  Room B12 Computational Algebraic Geometry	C2  Room A22 Foundation of Numerical PDE's	C3  Room B23 Learning Theory	C4  Room B11 Numerical Linear Algebra	C5  Room A21 Special Functions and Orthogonal Polynomials	C6  Room A12 Stochastic Computation
	14:30	Partitioning on varieties and point-hypersurface incidences M. Sombra 14:30 ~ 14:50	Stability of an upwind Petrov-Galerkin discretization of convection diffusion equations S. Christiansen 14:30 ~ 15:05	Learning a Hidden Basis through Imperfect Measurements: Why and How M. Belkin 14:30 ~ 15:00	Complexity of homotopy methods for the eigenvalue problem I F. Cucker 14:30 ~ 15:00	Semi-classical orthogonal polynomials and the Painlev\'e equations P. Clarkson 14:30 ~ 15:20	Quadrature for self-affine distributions on $\mathbf R^d$ T. Mueller-Gronbach 14:30 ~ 15:00
	15:00	Schubert varieties and distances between subspaces of different dimensions L. Lim 15:00 ~ 15:20		Tensor decomposition, convex optimization, and multitask learning R. Tomioka 15:00 ~ 15:30	Complexity of homotopy methods for the eigenvalue problem II D. Armentano 15:05 ~ 15:55		A multilevel stochastic collocation method for PDEs with random inputs A. Teckentrup 15:00 ~ 15:30
			Norms in the analysis of the DPG method with optimal test functions N. Heuer 15:10 ~ 15:45
	15:30	Algorithmic and Geometric Aspects of Sparse Decomposition B. Mourrain 15:30 ~ 15:50		Democratic Learning: Learning to Represent Data for Everybody G. Sapiro 15:30 ~ 16:00		Bispectrality, the Darboux process and time-band limiting M. Castro Smirnova 15:30 ~ 16:00	Multilevel Monte-Carlo Methods for hyperbolic PDEs with random input data C. Schwab 15:35 ~ 16:25
			Numerical analysis of electrorheological fluids L. Diening 15:50 ~ 16:25
	16:00	A numerical algorithm for zero counting T. Krick 16:00 ~ 16:20		Stability and statistical properties of topological information inferred from data F. Chazal 16:00 ~ 16:30	Low-rank tensor completion by Riemannian optimization D. Kressner 16:00 ~ 16:30	Orthogonal Rational Functions and non-stationary stochastic processes L. Baratchart 16:00 ~ 16:30
	16:30	Coffe break 16:30 ~ 17:00
	17:00	Probabilistic method for toric ideals S. Petrovic 17:00 ~ 17:20	The f-wave propagation algorithm for hyperbolic PDEs R. LeVeque 17:05 ~ 17:55	Algebraic Combinatorial Single-Entry Low-Rank Matrix Completion F. Kiraly 17:00 ~ 17:30	On low-rank approximability of solutions to Kronecker-structured operator equations A. Uschmajew 17:05 ~ 17:55	Multiple orthogonal polynomials associated with an exponential cubic weight W. Van Assche 17:00 ~ 17:30	Analytical approximations of BSDEs with non-smooth driver E. Gobet 17:00 ~ 17:30
	17:30	Dual toric codes and polytopes of degree one M. Velasco 17:30 ~ 17:50		Neurally Plausible Algorithms Find Globally Optimal Sparse Codes A. Moitra 17:30 ~ 18:00		Quadratic Algebras of Orthogonal Polynomials S. Post 17:30 ~ 18:00	Simulation of forward-reverse stochastic representations for conditional diffusions C. Bayer 17:30 ~ 18:00
	18:00	Computing global vector fields on varieties with torus actions N. Ilten 18:00 ~ 18:20			Approximation with cross-kernel matrices, and Ideal PCA F. Király 18:00 ~ 18:30	$G$-function of Meijer and generalized hypergeometric function: interplay of new facts D. Karp 18:00 ~ 18:30	Customized fully implementable numerical schemes for FBSDEs L. Szpruch 18:00 ~ 18:30

Evening

20.00 ~ 23.00

Social event

 

December 20, Saturday

Morning - Salón de actos (Auditorium)

From 8:30	Registration
9:00 ~ 9:55	Zeros (of some polynomials) prefer curves Andrei Martínez-Finkelshtein Chair: Kerstin Jordaan
10:00 ~ 11:00	Coffee Break and Poster Session
11:00 ~ 11:55	Combinatorial Algebraic Geometry David Cox Chair: Peter Olver

Afternoon

		C1  Room B11 Computational Algebraic Geometry	C2  Room B21 Foundation of Numerical PDE's	C3  Room B23 Learning Theory	C4  Room B22 Numerical Linear Algebra	C5  Room A21 Special Functions and Orthogonal Polynomials	C6  Room C11 Stochastic Computation
	14:30	The Maximum Likelihood Threshold of a Graph S. Sullivant 14:30 ~ 14:50	Quadrilateral $Q_k$ elements and the regular decomposition property G. Acosta 14:30 ~ 15:05	Kernel-based learning methods I. Steinwart 14:35 ~ 15:25		Applications of infinite matrices in the theories of orthogonal polynomials and operational calculus L. Verde-Star 14:30 ~ 15:00	On a SDE with no polynomial convergence rate for strong approximation at the final time L. Yaroslavtseva 14:30 ~ 15:00
	15:00	Computing tropical curves via homotopy continuation J. Yu 15:00 ~ 15:20				Branching formula for Macdonald-Koornwinder polynomials J. van Diejen 15:00 ~ 15:30	Explicit numerical schemes for SDEs driven by Levy noise and for Stochastic Evolution Equations S. Sabanis 15:00 ~ 15:30
			Multi-dimensional polynomial interpolation on arbitrary nodes D. Xiu 15:10 ~ 15:45
	15:30	From chemical reaction networks to Descartes' rule of signs A. Dickenstein 15:35 ~ 16:25		Sparse Estimation with Strongly Correlated Variables R. Nowak 15:30 ~ 16:00		Hermite-Padé Approximants for Angelesco Systems M. Yattselev 15:30 ~ 16:00	A perturbation formula as universal tool for strong approximations of stochastic differential equations M. Hutzenthaler 15:30 ~ 16:00
			Asymptotic-preserving and well-balanced uncertainty quantification for kinetic and hyperbolic equations S. Jin 15:50 ~ 16:25
	16:00			Learning Theory and Adaptive Partitioning in High Dimensions P. Binev 16:00 ~ 16:30		A $q$-generalization of the Bannai--Ito polynomials and the quantum superalgebra $\mathfrak{osp}_{q}(1|2)$ L. Vinet 16:00 ~ 16:30	How to simulate stochastic differential equations without discretizing time N. Bou-Rabee 16:00 ~ 16:30
	16:30	Coffe break 16:30 ~ 17:00
	17:00	Newton homotopies and certification J. Hauenstein 17:00 ~ 17:20				Lifting $q$-difference operators in the Askey scheme of basic hypergeometric polynomials N. Atakishiyev 17:00 ~ 17:50	Weak approximation of the Heston model: non-smooth payoffs A. Neuenkirch 17:00 ~ 17:30
	17:30	Computing with noncommutative algebras in Macaulay2 F. Moore 17:30 ~ 17:50		Iterative Regularization for Computational Learning L. Rosasco 17:30 ~ 18:00			On a mild Ito formula for stochastic partial differential equations (SPDEs) and on weak convergence rates for SPDEs with nonlinear diffusion coefficients A. Jentzen 17:30 ~ 18:00
	18:00	Degree Bounds in Rational Sums of Squares Representations on Curves G. Blekherman 18:00 ~ 18:20				Quasi-orthogonality of some $_pF_q$ hypergeometric polynomials K. Jordaan 18:00 ~ 18:30