Conference Agenda

Overview and details of the sessions of this conference. Please select a date or location to show only sessions at that day or location. Please select a single session for detailed view (with abstracts and downloads if available).

 
Session Overview
Date: Wednesday, 10/Jul/2019
8:25am
-
8:30am
Announcements
Location: vonRoll, Fabrikstr. 6, 001
8:30am
-
9:30am
IP03: Lauren K. Williams: Cluster algebras and applications to geometry
Location: vonRoll, Fabrikstr. 6, 001
 
8:30am - 9:30am

Cluster algebras and applications to geometry

Lauren K. Williams

Harvard University, United States of America

IP03-streamed from 001: Lauren K. Williams: Cluster algebras and applications to geometry
Location: vonRoll, Fabrikstr. 6, 004
 
9:30am
-
10:00am
Coffee break
Location: Unitobler, F wing, floors 0 and -1
10:00am
-
12:00pm
MS147, part 1: SC-square 2019 workshop on satisfiability checking and symbolic computation
Location: Unitobler, F005
 
10:00am - 12:00pm

SC-square 2019 workshop on satisfiability checking and symbolic computation

Chair(s): John Abbott (Universitaet Passau, Germany), Alberto Griggio (Fondazione Bruno Kessler, Italy)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Invited Talk of SC-Square: SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks---Part I: Background and and basic methods

Andreas Weber
Universität Bonn

 

Invited Talk of SC-Square: SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks---Part II: Advanced methods for chemical reaction networks

Andreas Weber
Universität Bonn

 

Regular Paper 1 of SC-Square: Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving

Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
BTC Embedded Systems

 

Regular Paper 2 of SC-Square: On the proof complexity of MCSAT

Gereon Kremer1, Erika Abraham1, Vijay Ganesh2
1RWTH Aachen, 2University of Waterloo

MS143, part 2: Algebraic geometry in topological data analysis
Location: Unitobler, F006
 
10:00am - 12:00pm

Algebraic geometry in topological data analysis

Chair(s): Nina Otter (UCLA, United States of America)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

High-throughput topological screening of nanoporous materials

Kathryn Hess
EPFL, Switzerland

 

Sampling real algebraic varieties for topological data analysis

Parker Edwards1, Emilie Dufresne2, Heather Harrington3, Jonathan D. Hauenstein4
1University of Florida, United States of America, 2University of York, 3University of Oxford, 4University of Notre Dame

 

How wild is the homological clustering problem?

Ulrich Bauer
TU Munich, Germany

 

Learning elliptic curves

Daniele Agostini
Humboldt-Universitaet zu Berlin

MS200, part 1: From algebraic geometry to geometric topology: Crossroads on applications
Location: Unitobler, F007
 
10:00am - 12:00pm

From algebraic geometry to geometric topology: crossroads on applications

Chair(s): Jose Carlos Gomez Larrañaga (CIMAT), Renzo Ricca (University of Milano-Bicocca), De Witt Sumners (Florida State University)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Momentum of vortex tangles by weighted area information

Renzo L. Ricca
University of Milano-Bicocca,

 

Alexandrov spaces and topological data analysis

Fernando Galaz-García
KIT

 

Geometrical and topological analysis of chromosome conformation capture data

Javier Arsuaga
University of California, Davis

 

Asymptotic behavior of the homology of random polyominoes

Érika Roldán-Roa
The Ohio State University

MS177, part 2: Algebraic and combinatorial phylogenetics
Location: Unitobler, F011
 
10:00am - 12:00pm

Algebraic and combinatorial phylogenetics

Chair(s): Marta Casanellas (Universitat Politècnica de Catalunya), Jane Coons (North Carolina State University), Seth Sullivant (North Carolina State University)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Weighting the Coalescent

Joseph Rusinko
Hobart and William Smith Colleges

 

Identifiability of 2-tree mixtures for the Kimura 3ST model

Jesús Fernández-Sánchez1, Marta Casanellas1, Alessandro Oneto2
1Universitat Politècnica de Catalunya, 2BGSMath and Universitat Politècnica de Catalunya

 

Markov association schemes

Jeremy Sumner
University of Tasmania

 

Existence of maximally probable ranked gene tree topologies with a matching unranked topology

Filippo Disanto1, Pasquale Miglionico2, Guido Narduzzi2
1University of Pisa, 2Scuola Normale Superiore, Pisa

Room free
Location: Unitobler, F012
MS156: Tropical geometry in statistics
Location: Unitobler, F013
 
10:00am - 12:00pm

Tropical geometry in statistics

Chair(s): Carlos Améndola (TU Munich), Anthea Monod (Columbia University), Ruriko Yoshida (Naval Postgraduate School)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Tropical principal component analysis

Leon Zhang
UC Berkeley

 

Tropical Foundations for Probability and Statistics on Phylogenetic Tree Spaces

Bo Lin
Georgia Tech

 

Tropical Gaussians

Ngoc Tran
University of Texas, Austin

 

Tropical hardware for data intensive applications: DNA sequence alignment to machine learning

Advait Madhavan
University of Maryland College Park, NIST

MS182, part 2: Matrix and tensor optimization
Location: Unitobler, F021
 
10:00am - 12:00pm

Matrix and tensor optimization

Chair(s): Max Pfeffer (Max Planck Institute MiS, Leipzig, Germany), André Uschmajew (Max Planck Institute MiS, Leipzig, Germany)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Matrix and Tensor Factorizations with Nonnegativity

Eugene Tyrtyshnikov1, Elena Scherbakova2
1Institute of Numerical Mathematics of Russian Academy of Sciences, Lomonosov Moscow State University, 2Lomonosov Moscow State University

 

Decompositions and optimizations of conjugate symmetric complex tensors

Zhening Li
University of Portsmouth, UK

 

Chebyshev polynomials and best rank-one approximation ratio

Khazhgali Kozhasov
Max Planck Institute MiS, Leipzig, Germany

 

Optimization methods for computing low rank eigenspaces

André Uschmajew
Max Planck Institute MiS, Leipzig, Germany

MS130, part 1: Polynomial optimization and its applications
Location: Unitobler, F022
 
10:00am - 12:00pm

Polynomial optimization and its applications

Chair(s): Timo de Wolff (Technische Universität Berlin, Germany), Simone Naldi (Université de Limoges, France), João Gouveia (Universidade de Coimbra, Portugal)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

The Geometry of SDP-Exactness in Quadratic Optimization

Diego Cifuentes1, Corey Harris2, Bernd Sturmfels3
1MIT, Cambridge, MA, USA, 2University of Oslo, Norway, 3MPI Leipzig, Germany

 

Semidefinite representations of the set of separable states

Hamza Fawzi
Cambridge University, United Kingdom

 

Noncommutative polynomial optimization and quantum graph parameters

Sander Gribling1, David de Laat2, Monique Laurent1
1CWI, Amsterdam, The Netherlands, 2Emory University, Atlanta, GA, USA

 

On Convexity of Polynomials over a Box

Georgina Hall1, Amir Ali Ahmadi2, Mihaela Curmei3
1INSEAD, Paris, France, 2Princeton University, NJ, USA, 3Microsoft

MS163: Theory and methods for tensor decomposition
Location: Unitobler, F023
 
10:00am - 12:00pm

Theory and methods for tensor decomposition

Chair(s): Tamara Kolda (Sandia National Laboratories), Elina Robeva (MIT)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

A nearly optimal algorithm to decompose binary forms

Elias Tsigaridas
Inria Paris

 

On convergence of matrix and tensor approximate diagonalization algorithms by unitary transformations

Konstantin Usevich1, Jianze Li2, Pierre Comon3
1CNRS and University of Lorraine, 2No affiliation, 3CNRS, Université Grenoble Alpes

 

Non-linear singular value decomposition

Mariya Ishteva1, Philippe Dreesen2
1Free University Brussels, 2Vrije Universiteit Brussel (VUB)

 

A symmetrization approach to hypermatrix {SVD}

Edinah Gnang
Johns Hopkins University

MS148, part 2: Algebraic neural coding
Location: Unitobler, F-105
 
10:00am - 12:00pm

Algebraic Neural Coding

Chair(s): Nora Youngs (Colby College), Zvi Rosen (Florida Atlantic University, United States of America)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Sunflowers of Convex Sets and New Obstructions to Convexity

R. Amzi Jeffs
University of Washington

 

Convex Codes and Oriented Matroids

Caitlin Lienkaemper
The Pennsylvania State University

 

Sufficient Conditions for 1- and 2- Inductively Pierced Codes

Nida Obatake
Texas A&M University

 

Progress Toward a Classification of Inductively Pierced Codes via Polyhedra

Robert Davis
Harvey Mudd College

MS151, part 2: Cluster algebras and positivity
Location: Unitobler, F-106
 
10:00am - 12:00pm

Cluster algebras and positivity

Chair(s): Lisa Lamberti (ETHZ, Switzerland), Khrystyna Serhiyenko (University of California, Berkeley, USA / University of Kentucky, Lexington), Lauren Williams (Harvard, USA)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Combinatorics of cluster structures in Schubert varieties

Khrystyna Serhiyenko1, Melissa Sherman-Bennett2, Lauren Williams3
1University of California, Berkeley, USA / University of Kentucky, Lexington, 2University of California, Berkeley, USA, 3Harvard, USA

 

Cluster tilting modules for mesh algebras

Karin Erdmann1, Sira Gratz2, Lisa Lamberti3
1University of Oxford, UK, 2University of Glasgow, UK, 3ETHZ, Switzerland

 

Strings, snake graphs and the cluster expansion formulas

Ilke Canakci1, Vincent Pilaud2, Nathan Reading3, Sibylle Schroll4
1Newcastle University, 2École polytechnique, 3NCSU Campus, 4University of Leicester, UK

 

Friezes and Grassmannian cluster structures

Karin Baur1, Eleonore Faber2, Sira Gratz3, Khrystyna Serhiyenko4, Gordana Todorov5
1Universität Graz / University of Leeds, Austria / UK, 2University of Leeds, UK, 3University of Glasgow, UK, 4University of California, Berkeley, USA / University of Kentucky, Lexington, 5Northeastern University, Boston, USA

MS140, part 2: Multivariate spline approximation and algebraic geometry
Location: Unitobler, F-107
 
10:00am - 12:00pm

Multivariate spline approximation and algebraic geometry

Chair(s): Michael DiPasquale (Colorado State University, United States of America), Nelly Villamizar (Swansea University)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Bounds on the dimension of spline spaces on polyhedral cells

Nelly Villamizar1, Michael DiPasquale2
1Swansea University, 2Colorado State University

 

On the gradient conjecture for homogeneous polynomials

Boris Shekhtman
University of South Florida

 

Ambient Spline Approximation of Functions on Submanifolds

Lars Maier
TU Darmstadt

 

Watertight Trimmed NURBS Surfaces

Ulrich Reif
TU Darmstadt

MS149, part 2: Stability of moment problems and super-resolution imaging
Location: Unitobler, F-111
 
10:00am - 12:00pm

Stability of moment problems and super-resolution imaging

Chair(s): Stefan Kunis (University Osnabrueck, Germany), Dmitry Batenkov (MIT Boston)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

The condition number of Vandermonde matrices with clustered nodes

Dominik Nagel
University Osnabrueck

 

Prony's problem and the hyperbolic cross

Benedikt Diederichs
University Passau

 

Reconstruction of generalized exponential sums

Markus Wageringel
University Osnabrueck

 

Phase retrieval of sparse continuous-time signals by Prony's method

Robert Beinert
University Graz

Room free
Location: Unitobler, F-112
MS166, part 1: Computational aspects of finite groups and their representations
Location: Unitobler, F-113
 
10:00am - 12:00pm

Computational aspects of finite groups and their representations

Chair(s): Armin Jamshidpey (University of Waterloo, Canada), Eric Schost (University of Waterloo, Canada), Mark Giesbrecht (University of Waterloo, Canada)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Construction and enumeration of finite groups

Bettina Eick
Technische Universität Braunschweig

 

Linear Time Fourier Transforms of $S_{n-k}$-invariant Functions on the Symmetric Group $S_n$

Michael Clausen
University of Bonn

 

Quadratic Probabilistic Algorithms for Normal Bases

Armin Jamshidpey
University of Waterloo

MS172, part 2: Algebraic statistics
Location: Unitobler, F-121
 
10:00am - 12:00pm

Algebraic Statistics

Chair(s): Jose Israel Rodriguez (UW Madison), Elizabeth Gross (University of Hawaiʻi at Mānoa)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Geometry of Exponential Graph Models

Ha Khanh Nguyen
The Ohio State University

 

Moment Varieties of Measures on Polytopes

Kathlén Kohn
University of Oslo

 

The stratification of the maximum likelihood degree for toric varieties

Serkan Hosten
SFSU

 

Nested Determinantal Constraints in Linear Structural Equation Models

Elina Robeva
MIT

MS134, part 3: Coding theory and cryptography
Location: Unitobler, F-122
 
10:00am - 12:00pm

Coding theory and cryptography

Chair(s): Alessio Caminata (University of Neuchâtel, Switzerland), Alberto Ravagnani (University College Dublin, Ireland)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Linear Complementary Pair of Codes and Some Results on Boolean Functions

Ferruh Özbudak
Middle East Technical University, Ankara

 

Optimal Locally Recoverable Codes via Chebotarev Density Theorem

Giacomo Micheli
EPFL

 

Explicit optimal-length locally repairable codes of small distances

Hiram H. Lopez Valdez
Cleveland State University

 

Fast Computation of the Roots of Polynomials Over the Ring of Power Series

Eric Schost
University of Waterloo

MS145, part 1: Isogenies in Cryptography
Location: Unitobler, F-123
 
10:00am - 12:00pm

Isogenies in Cryptography

Chair(s): Tanja Lange (Eindhoven University of Technology, Netherlands, The), Chloe Martindale (Eindhoven University of Technology, Netherlands, The), Lorenz Panny (Eindhoven University of Technology, Netherlands, The)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Overview of isogenies in cryptography (Part I)

Chloe Martindale1, Lorenz Panny2
1Eindhoven University of Techonology, 2Eindhoven University of Technology

 

Overview of isogenies in cryptography (Part II)

Lorenz Panny, Chloe Martindale
Eindhoven University of Technology

 

Quantum attacks against isogenies

Daniel J. Bernstein
University of Illinois at Chicago

 

Pre- and post-quantum Diffie-Hellman

Benjamin Smith
INRIA & LIX - Ecole Polytechnique

1:30pm
-
2:30pm
IP04: Helmut Pottman: Applications of sphere geometries in computational design
Location: vonRoll, Fabrikstr. 6, 001
 
1:30pm - 2:30pm

Applications of sphere geometries in computational design

Helmut Pottmann

KAUST, Saudi Arabia

IP04-streamed from 001: Helmut Pottman: Applications of sphere geometries in computational design
Location: vonRoll, Fabrikstr. 6, 004
 
2:30pm
-
3:00pm
Coffee break
Location: Unitobler, F wing, floors 0 and -1
3:00pm
-
5:00pm
MS165, part 2: Multiparameter persistence: algebra, algorithms, and applications
Location: Unitobler, F006
 
3:00pm - 5:00pm

Multiparameter persistence: algebra, algorithms, and applications

Chair(s): Matthew Wright (St. Olaf College, United States of America)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Algebraic distances for persistent homology

Peter Bubenik
Florida

 

Multiparameter persistence landscapes

Oliver Vipond
Oxford

 

Geometric perspectives on multiparameter persistence

Michael Catanzaro
Iowa State University

 

Persistent homology of noise

Ryan Budney
University of Victoria

MS200, part 2: From algebraic geometry to geometric topology: Crossroads on applications
Location: Unitobler, F007
 
3:00pm - 5:00pm

From algebraic geometry to geometric topology: crossroads on applications

Chair(s): Jose Carlos Gomez Larrañaga (CIMAT), Renzo Ricca (University of Milano-Bicocca), De Witt Sumners (Florida State University)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Privileged topologies of self-assembling molecular knots

Cristian Micheletti
SISSA

 

Why are there knots in proteins?

Sophie Jackson
University Of Cambridge

 

The study of 2-stratifolds as models for applications (Part 1)

Jose Carlos Gomez Larrañaga1, Wofgang Heil2, Francisco Gonzalez Acuña3
1CIMAT, 2FSU, 3UNAM and CIMAT

 

The study of 2-stratifolds as models for applications (Part 2)

Jose Carlos Gomez Larrañaga1, Wolfgang Heil2, Francisco Gonzalez Acuña3
1CIMAT, 2FSU, 3UNAM

MS199, part 1: Applications of topology in neuroscience
Location: Unitobler, F011
 
3:00pm - 5:00pm

Applications of topology in neuroscience

Chair(s): Kathryn Hess Bellwald (Laboratory for topology and neuroscience, EPFL, Switzerland), Ran Levi (University of Aberdeen, UK)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Understanding neuronal shapes with algebraic topology

Lida Kanari
Blue Brain Project, EPFl, Switzerland

 

Computing homotopy types of directed flag complexes

Dejan Govc
University of Aberdeen, UK

 

Applications of persistent homology to stroke therapy

Philip Egger
Hummel Lab, EPFL. Switzerland

 

Neural decoding using TDA

Erik Rybakken
NTNU, Norway

MS160, part 2: Numerical methods for structured polynomial system solving
Location: Unitobler, F012
 
3:00pm - 5:00pm

Numerical methods for structured polynomial system solving

Chair(s): Alperen Ergur (TU Berlin), Pierre Lairez (INRIA), Gregorio Malajovich (Universidade Federal do Rio de Janeiro, Brazil), Josue Tonelli-Cueto (TU Berlin)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Polyhedral Real Homotopy Continuation

Timo de Wolff, Alperen Ergür
TU Berlin

 

Root counts of structured algebraic systems

Ioannis Z. Emiris1, Raimundas Vidunas2, Evangelos Bartzos3, Josef Schicho4
1National and Kapodistrian University of Athens, 2U.Vilnius, Lithuania, 3NKU Athens, 4JKU Linz, Austria

 

A local complexity theory

Teresa Krick1, Felipe Cucker2
1Universidad de Buenos Aires, 2City University of Hong Kong

 

Low-degree approximation of real singularities

Antonio Lerario1, Paul Breiding2, Daouda Niang Diatta3, Hanieh Keneshlou2
1SISSA, 2MPI-MSI Leipzig, 3Université Assane SECK de Ziguinchor

MS167, part 1: Computational tropical geometry
Location: Unitobler, F013
 
3:00pm - 5:00pm

Computational tropical geometry

Chair(s): Kalina Mincheva (Yale University), Yue Ren (Max Planck Institute for Mathematics in the Sciences, Germany)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

The tropical geometry of shortest paths

Michael Joswig1, Benjamin Schroeter2
1Technische Universität Berlin, 2Binghamton University

 

Tropicalization of semialgebraic sets arising in convex optimization

Xavier Allamigeon1, Stephane Gaubert1, Mateusz Skomra2
1INRIA & CMAP, 2École normale supérieure de Lyon

 

Linear algebra and convexity over symmetrized semirings, hyperfields and systems

Marianne Akian1, Stephane Gaubert1, Lois Rowen2
1INRIA & CMAP, 2Bar-Ilan University

 

Linear algebra and convexity over symmetrized semirings, hyperfields and systems.

Marianne Akian, Xavier Allamigeon, Stephane Gaubert, Marin Boyet
INRIA & CMAP

MS191, part 2: Algebraic and geometric methods in optimization.
Location: Unitobler, F021
 
3:00pm - 5:00pm

Algebraic and geometric methods in optimization.

Chair(s): Jesus A. De Loera (University of California, Davis, United States of America), Rekha Thomas (University of Washington)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Convergence analysis of measure-based bounds for polynomial optimization on the box, ball and sphere

Monique Laurent
CWI, Netherlands

 

Dynamic programming algorithms for integer programming

Frederich Eisenbrand
EPFL, Switzerland

 

The support of integer optimal solutions

Timm Oertel
Cardiff University, UK

 

New Fourier interpolation formulas and optimization in Euclidean space

Maryna Viazovska
EPFL, Switzerland

MS195, part 2: Algebraic methods for convex sets
Location: Unitobler, F022
 
3:00pm - 5:00pm

Algebraic methods for convex sets

Chair(s): Rainer Sinn (Freie Universität Berlin, Germany), Greg Blekherman (Georgia Institute of Technology), Daniel Plaumann (Technische Universität Dortmund), Yong Sheng Soh (Institute of High Performance Computing, Singapore), Dogyoon Song (Massachusetts Institute of Technology)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Determinantal representations of stable and hyperbolic polynomials

Victor Vinnikov
Ben Gurion University of the Negev

 

Noncommutative polynomials describing convex sets

Jurij Volcic
Texas A&M University

 

Semidefinite Programming and Nash Equilibria in Bimatrix Games

Jeffrey Zhang
Princeton University

 

Low Rank Tensor Methods in High Dimensional Data Analysis

Ming Yuan
Columbia University

MS187, part 2: Signature tensors of paths
Location: Unitobler, F023
 
3:00pm - 5:00pm

Signature tensors of paths

Chair(s): Carlos Améndola (TU Munich), Joscha Diehl (MPI Leipzig), Francesco Galuppi (MPI Leipzig), Anna Seigal (UC Berkeley)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Invariants of the iterated-integral signature

Joscha Diehl
MPI Leipzig

 

The areas of areas problem

Jeremy Reizenstein
University of Warwick

 

Persistence paths and signature features in topological data analysis

Ilya Chevyrev
Oxford University

 

Character groups of Hopf algebras and their applications

Alexander Schmeding
TU Berlin

MS183, part 1: Polyhedral geometry methods for biochemical reaction networks
Location: Unitobler, F-105
 
3:00pm - 5:00pm

Polyhedral geometry methods for biochemical reaction networks

Chair(s): Elisenda Feliu (University of Copenhagen, Denmark), Stefan Müller (University of Vienna)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Endotactic Networks and Toric Differential Inclusions

Gheorghe Craciun, Abhishek Deshpande
University of Wisconsin (Madison)

 

Approximating Convex Hulls of Curves by Polytopes

Nidhi Kaihnsa
MPI Leipzig

 

Multistationarity conditions in a network motif describing ERK activation

Carsten Conradi
HTW Berlin

 

Oscillations in a mixed phosphorylation mechanism

Maya Mincheva
Northern Illinois University

MS154, part 2: New developments in matroid theory
Location: Unitobler, F-106
 
3:00pm - 5:00pm

New developments in matroid theory

Chair(s): Alex FInk (Queen Mary), Ivan Martino (Northeastern University, United States of America), Luca Moci (Bologna)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Cohomology rings of projective models of toric arrangements

Giovanni Gaiffi
PIsa

 

Arithmetic matroids, posets and cohomology of toric arrangements

Roberto Pagaria
Pisa

 

Categories of matroids, Hopf algebras, and Hall algebras

Jaiung Jun
SUNY Binghamton

MS168, part 2: Riemann Surfaces
Location: Unitobler, F-107
 
3:00pm - 5:00pm

Riemann Surfaces

Chair(s): Daniele Agostini (Humboldt-Universität), Türkü Özlüm Çelik (Max Planck Institute for Mathematics in the Sciences), Christian Klein (Institut de Mathématiques de Bourgogne), Emre Can Sertöz (Max Planck Institute for Mathematics in the Sciences)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Computing endomorphism rings of Jacobians

Jeroen Sijsling
Universität Ulm

 

Inverse Jacobian problem for cyclic plane quintic curves

Anna Somoza
Universitat Politècnica de Catalunya, Universiteit Leiden

 

Teichmüller curves, Kobayashi geodesics and Hilbert modular forms

David Torres-Teigell
Goethe-Universität

 

Counting special points on teichmüller curves

Jonathan Zachhuber
Goethe-Universität

MS175, part 1: Algebraic geometry and combinatorics of jammed structures
Location: Unitobler, F-111
 
3:00pm - 5:00pm

Algebraic geometry and combinatorics of jammed structures

Chair(s): Anthony Nixon (Lancaster), Louis Theran (St Andrews)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Flexibility of graphs on the sphere: the case of K_{3,3}

Matteo Gallet
JKU Linz

 

Algebraic Geometry for Counting Realizations of Minimally Rigid Graphs

Georg Grasegger
JKU Linz

 

Pairing symmetry groups for spherical and Euclidean frameworks

Bernd Schulze
Lancaster

MS178: Geometric design for fabrication
Location: Unitobler, F-112
 
3:00pm - 5:00pm

Geometric design for fabrication

Chair(s): Helmut Pottmann (KAUST, Saudi Arabia)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Geometric modeling of flank CNC machining

Michael Barton
BCAM, Bilbao

 

Modeling developable surfaces through orthogonal geodesics

Michael Rabinovich
ETH Zurich

 

Developability of triangle meshes

Oded Stein
Columbia University

 

Statics-aware design of freeform architecture

Johannes Wallner
TU Graz

MS184, part 2: Algebraic geometry for kinematics, mechanism science, and rigidity
Location: Unitobler, F-113
 
3:00pm - 5:00pm

Algebraic geometry for kinematics, mechanism science, and rigidity

Chair(s): Matteo Gallet (SISSA, Trieste, Italy), Josef Schicho (JKU University Linz, Austria), Hans-Peter Schröcker (University of Innsbruck, Austria)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Bond theory and linkages with joints of helical type

Tiago Guerreiro
Loughborough University, United Kingdom

 

Polygon spaces and other compactifications of M_{0,n}: Chow ring, \psi-classes and intersection numbers

Gaiane Panina1, Ilia Nekrasov2
1St. Petersburg Department of Steklov Mathematical Institute, Russia, 2University of Michigan, St. Petersburg State University

 

Distinguishing metal-organic frameworks

Senja Barthel
EPFL

 

Degree Reduction of Rational Motions

Johannes Siegele, Daniel Scharler, Hans-Peter Schröcker
University of Innsbruck

MS157, part 2: Graphical models
Location: Unitobler, F-121
 
3:00pm - 5:00pm

Graphical Models

Chair(s): Elina Robeva (Massachusetts Institute of Technology, United States of America)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Interventional Markov Equivalence for Mixed Graph Models

Liam Solus
KTH Royal Institute of Technology

 

Sequential Monte Carlo-based inference in decomposable graphical models

Jimmy Olsson
KTH Royal Institute of Technology

 

CausalKinetiX: Learning stable structures in kinetic systems

Jonas Peters
University of Copenhagen

 

Autoencoders memorize training images

Caroline Uhler
MIT

MS134, part 4: Coding theory and cryptography
Location: Unitobler, F-122
 
3:00pm - 5:00pm

Coding theory and cryptography

Chair(s): Alessio Caminata (University of Neuchâtel, Switzerland), Alberto Ravagnani (University College Dublin, Ireland)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Pairing-friendly curves in cryptography

Aurore Guillevic
Inria

 

On a question of F.R.K. Chung and its relevance to the discrete logarithm problem in extension fields

Robert Granger
University of Surrey

 

Using the ring structure to solve Ring-Learning-with-Errors

Katherine E. Stange
University of Colorado, Boulder

 

MDP convolutional codes

Julia Lieb
University of Aveiro

MS132, part 3: Polynomial equations in coding theory and cryptography
Location: Unitobler, F-123
 
3:00pm - 5:00pm

Polynomial equations in coding theory and cryptography

Chair(s): Alessio Caminata (University of Neuchâtel, Switzerland), Alberto Ravagnani (University College Dublin, Ireland)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Classical and Quantum Evaluation Codes at the Trace Roots

Diego Ruano
University of Valladolid

 

Optimal curves and codes with locality

Gretchen Matthews
Virginia Tech

 

The Story of Solving Random Quadratic Multivariate Systems of Equations

Bo Yin Yang
Academia Sinica

 

The Zeta Function for Generalized Rank Weights

Eimear Byrne, Giuseppe Cotardo, Alberto Ravagnani
University College Dublin

 
3:00pm
-
5:30pm
MS147, part 2: SC-square 2019 workshop on satisfiability checking and symbolic computation
Location: Unitobler, F005
 

SC-square 2019 workshop on satisfiability checking and symbolic computation

Chair(s): John Abbott (Universitaet Passau, Germany), Alberto Griggio (Fondazione Bruno Kessler, Italy)

 

(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)

 

Regular Paper 3 of SC-Square: Algorithmically generating new algebraic features of polynomial systems for machine learning

Dorian Florescu, Matthew England
Coventry University

 

Extended Abstract 1 of SC-Square: On variable orderings in MCSAT for non-linear real arithmetic

Jasper Nalbach, Gereon Kremer
RWTH Aachen

 

Extended Abstract 2 of SC-Square: On Benefits of Equality Constraints in Lex-Least Invariant CAD

Akshar Nair, James Davenport, Gregory Sankaran
University of Bath

 

Extended Abstract 3 of SC-Square: Evolutionary Virtual Term Substitution in a Quantifier Elimination System

Zak Tonks
University of Bath

 

Extended Abstract 4 of SC-Square: Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization

Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
Fondazione Bruno Kessler

5:15pm
-
6:00pm
SI(AG)^2 Early Career Prize Lecture: Elina Robeva: Orthogonal Tensor Decomposition
Location: vonRoll, Fabrikstr. 6, 001
 

Orthogonal Tensor Decomposition

Elina Robeva

Massachusetts Institute of Technology, United States of America

SI(AG)^2 Early Career Prize Lecture streamed from 001: Elina Robeva: Orthogonal Tensor Decomposition
Location: vonRoll, Fabrikstr. 6, 004