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
Location: Unitobler, F005
53 seats, 74m^2
Date: Tuesday, 09/Jul/2019
10:00am
-
12:00pm
Room free
Location: Unitobler, F005
3:00pm
-
5:00pm
Room free
Location: Unitobler, F005

Date: Wednesday, 10/Jul/2019
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

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


Date: Thursday, 11/Jul/2019
10:00am
-
12:00pm
MS137, part 1: Symbolic Combinatorics
Location: Unitobler, F005
 
10:00am - 12:00pm

Symbolic Combinatorics

Chair(s): Shaoshi Chen (Chinese Academy of Sciences), Manuel Kauers (Johannes Kepler University, Linz, Austria), Stephen Melczer (University of Pennsylvania)

 

(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)

 

Enumeration of walks in three quarters of the plane

Axel Bacher
University Paris 13

 

On the growth of algebras

Jason Bell
University of Waterloo

 

A Gessel way to the diagonal theorem on D-finite power series

Shaoshi Chen
Chinese Academy of Sciences

 

Inhomogeneous Lattice Walks

Manfred Buchacher
Johannes Kepler University Linz

3:00pm
-
5:00pm
MS188: Probability and randomness in commutative algebra and algebraic geometry
Location: Unitobler, F005
 
3:00pm - 5:00pm

Probability and randomness in commutative algebra and algebraic geometry

Chair(s): Dane Wilburne (Brown University, United States of America), Christopher O'Neill (San Diego 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)

 

What can be predicted in algebraic geometry?

Lily Silverstein
UC Davis

 

Degree of Random Monomial Ideals

Jay Yang
University of Minnesota

 

Stochastic Exploration of Real Varieties

David Kahle
Baylor University

 

Random numerical semigroups

Christopher O'Neill
San Diego State University


Date: Friday, 12/Jul/2019
10:00am
-
12:00pm
MS137, part 2: Symbolic Combinatorics
Location: Unitobler, F005
 
10:00am - 12:00pm

Symbolic Combinatorics

Chair(s): Shaoshi Chen (Chinese Academy of Sciences), Manuel Kauers (Johannes Kepler University, Linz, Austria), Stephen Melczer (University of Pennsylvania)

 

(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)

 

Mahlerian analogues of Riccati equations and proofs of hypertranscendence

Frederic Chyzak
INRIA

 

Walk in the quarter plain and differential Galois theory

Thomas Dreyfus
Université de Strasbourg

 

Systems of equations for sets of permutations and limit shapes

Valentin Féray
Universitaet Zuerich

 

The location of variables in lambda-terms with bounded De Bruijn levels

Bernhard Gittenberger
TU Wien

3:00pm
-
5:00pm
MS131, part 1: Computations in algebraic geometry
Location: Unitobler, F005
 
3:00pm - 5:00pm

Computations in algebraic geometry

Chair(s): Diane Maclagan (University of Warwick), Gregory G. Smith (Queen's 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)

 

Regularity of S_n-invariant monomial ideals

Claudiu Raicu
University of Notre Dame

 

A homological approach to numerical Godeaux surfaces

Wolfram Decker
University of Kaiserslautern

 

Asymptotic syzygies for products of projective space

Juliette Bruce
University of Wisconsin

 

Where can toric syzygies live?

Milena Hering
University of Edinburgh


Date: Saturday, 13/Jul/2019
10:00am
-
12:00pm
Room reserved (unless you reserved it, please don't enter)
Location: Unitobler, F005
3:00pm
-
5:00pm
MS131, part 2: Computations in algebraic geometry
Location: Unitobler, F005
 
3:00pm - 5:00pm

Computations in algebraic geometry

Chair(s): Diane Maclagan (University of Warwick), Gregory G. Smith (Queen's 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)

 

The semigroup and cone of effective divisor classes on a hypersurface in a toric variety

Michael Stillman
Cornell University

 

On subring counting and simultaneous monomialization

Anne Frübhis-Krüger
University of Hanover

 

Fröberg-Macaulay conjectures for algebras

Mats Boij
Royal Institute of Technology (KTH)

 

Singular value decomposition for complexes

Frank-Olaf Schreyer
Saarland University