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 SC-square 2019 workshop on satisfiability checking and symbolic computation (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 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 Regular Paper 1 of SC-Square: Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving Regular Paper 2 of SC-Square: On the proof complexity of MCSAT |
| 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 (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 Extended Abstract 1 of SC-Square: On variable orderings in MCSAT for non-linear real arithmetic Extended Abstract 2 of SC-Square: On Benefits of Equality Constraints in Lex-Least Invariant CAD Extended Abstract 3 of SC-Square: Evolutionary Virtual Term Substitution in a Quantifier Elimination System Extended Abstract 4 of SC-Square: Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization |
| Date: Thursday, 11/Jul/2019 | |
| 10:00am - 12:00pm |
MS137, part 1: Symbolic Combinatorics Location: Unitobler, F005 Symbolic Combinatorics (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 On the growth of algebras A Gessel way to the diagonal theorem on D-finite power series Inhomogeneous Lattice Walks |
| 3:00pm - 5:00pm |
MS188: Probability and randomness in commutative algebra and algebraic geometry Location: Unitobler, F005 Probability and randomness in commutative algebra and algebraic geometry (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? Degree of Random Monomial Ideals Stochastic Exploration of Real Varieties Random numerical semigroups |
| Date: Friday, 12/Jul/2019 | |
| 10:00am - 12:00pm |
MS137, part 2: Symbolic Combinatorics Location: Unitobler, F005 Symbolic Combinatorics (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 Walk in the quarter plain and differential Galois theory Systems of equations for sets of permutations and limit shapes The location of variables in lambda-terms with bounded De Bruijn levels |
| 3:00pm - 5:00pm |
MS131, part 1: Computations in algebraic geometry Location: Unitobler, F005 Computations in algebraic geometry (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 A homological approach to numerical Godeaux surfaces Asymptotic syzygies for products of projective space Where can toric syzygies live? |
| 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 Computations in algebraic geometry (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 On subring counting and simultaneous monomialization Fröberg-Macaulay conjectures for algebras Singular value decomposition for complexes |
