Final Program and Abstracts

Sponsored by the SIAM Activity Group on Algebraic Geometry The purpose of the SIAM Activity Group in Algebraic Geometry is to bring together researchers who use algebraic geometry in industrial and applied mathematics. “Algebraic geometry” is interpreted broadly to include at least: algebraic geometry, commutative algebra, noncommutative algebra, symbolic and numeric computation, algebraic and geometric combinatorics, representation theory, and algebraic topology. These methods have already seen applications in: biology, coding theory, cryptography, combustion, computational geometry, computer graphics, quantum computing, control theory, geometric design, complexity theory, machine learning, nonlinear partial differential equations, optimization, robotics, and statistics.

We welcome participation from both theoretical mathematical areas and application areas not on this list which fall under this broadly interpreted notion of algebraic geometry and its applications.

Society for Industrial and Applied Mathematics 3600 Market Street, 6th Floor Philadelphia, PA 19104-2688 USA Telephone: +1-215-382-9800 Fax: +1-215-386-7999 Conference E-mail: [email protected] Conference Web: www.siam.org/meetings/ Membership and Customer Service: (800) 447-7426 (US & Canada) or +1-215-382-9800 (worldwide)

www.siam.org/meetings/ag13 2 2013 SIAM Conference on Applied Algebraic Geometry

Table of Contents SIAM Registration Desk Corporate Members The SIAM registration desk is located in and Affiliates General Information...... 2 the Andrew G. Clark Building – Clark SIAM corporate members provide Get-togethers...... 4 A wing. It is open during the following their employees with knowledge about, Invited Plenary Presentations...... 6 hours: access to, and contacts in the applied mathematics and computational sciences Program Schedule...... 9 Thursday, August 1 7:00 AM – 5:00 PM community through their membership Poster Session...... 22 benefits. Corporate membership is more Abstracts...... 51 Friday, August 2 than just a bundle of tangible products and Speaker and Organizer Index...... 115 7:30 AM – 4:00 PM services; it is an expression of support for SIAM and its programs. SIAM is pleased Conference Budget.... Inside Back Cover Saturday, August 3 to acknowledge its corporate members and University Map...... Back Cover 7:30 AM – 4:00 PM sponsors. In recognition of their support, non-member attendees who are employed Organizing Committee Sunday, August 4 by the following organizations are entitled to the SIAM member registration rate. Co-Chairs 7:30 AM – 2:00 PM Alicia Dickenstein University of Buenos Aires, Argentina University Address Corporate Institutional Anton Leykin Andrew G. Clark Building, A Wing Members Georgia Institute of Technology, USA Foyer The Aerospace Corporation Colorado State University Air Force Office of Scientific Research Fort Collins, CO 80523 Program Committee AT&T Laboratories - Research Henry Cohn Bechtel Marine Propulsion Laboratory Microsoft Research New England, USA University Telephone The Boeing Company Ioannis Z. Emiris Number National Kapodistrian University of CEA/DAM To leave a message, call +1-970-218- Athens, Greece Department of national Defence (DND/ 2825. When you call, please indicate CSEC) Robert Ghrist that the message should be delivered University of Pennsylvania, USA to the Registration Desk. Messages DSTO- Defence Science and Technology Gilles Gnacadja received at the registration desk will be Organisation Amgen, USA posted to the message board located in Hewlett-Packard Tanja Lange the registration area. IBM Corporation Technische Universiteit Eindhoven, The IDA Center for Communications Netherlands Child Care Research, La Jolla Reinhard Laubenbacher IDA Center for Communications Virginia Bioinformatics Institute and The following center is recommended Research, Princeton Virginia Tech, USA by the local organizers: Institute for Computational and Peter Olver Kidstown Drop-In Child Care Center Experimental Research in Mathematics University of Minnesota, USA 2700 S. College Avenue (ICERM) Chris Peterson Fort Collins, Co 80525 Institute for Defense Analyses, Center for Colorado State University, USA Phone Number: (970)-377-2824 Computing Sciences Bernd Sturmfels Website: http://www.kidstowncenters. Lawrence Berkeley National Laboratory University of California, Berkeley, USA com/home/locations/fort-collins- Lockheed Martin Rekha Thomas colorado/ University of Washington, USA Los Alamos National Laboratory Mathematical Sciences Research Institute Max-Planck-Institute for Dynamics of Complex Technical Systems Mentor Graphics The MITRE Corporation 2013 SIAM Conference on Applied Algebraic Geometry 3

National Institute of Standards and Member Mini Speaker/Organizer) A graduate student with working Technology (NIST) towards a SIAM membership. Contact knowledge of the audio-visual equipment will be stationed in each room during all National Security Agency (DIRNSA) SIAM Customer Service for details. sessions. Oak Ridge National Laboratory, If you have questions regarding managed by UT-Battelle for the If you are a SIAM member, it only costs availability of equipment in the meeting Department of Energy $10 to join the SIAM Activity Group room of your presentation, please see a on Algebraic Geometry (SIAG/AG). As Sandia National Laboratories university staff member at the registration a SIAG/AG member, you are eligible desk. Schlumberger-Doll Research for an additional $10 discount on this Tech X Corporation conference, so if you paid the SIAM Texas Instruments Incorporated member rate to attend the conference, you might be eligible for a free SIAG/ E-mail Access U.S. Army Corps of Engineers, Engineer AG membership. Research and Development Center Attendees will be given access to the CSU wireless network upon check-in at United States Department of Energy Free Student Memberships are available no charge. No computer lab is available. to students who attend an institution that List current June 2013. is an Academic Member of SIAM, are members of Student Chapters of SIAM, Registration Fee Includes or are nominated by a Regular Member • Admission to all technical sessions of SIAM. Funding Agencies • Business Meeting (open to SIAG/AG SIAM and the conference organizing members) committee wish to extend their thanks Go to www.siam.org/joinsiam to join • Coffee breaks daily and appreciation to the National Science online or download an application form, Foundation for its support of this or contact SIAM Customer Service: • Room set-ups and audio/visual conference. equipment Telephone: +1-215-382-9800 (worldwide); or 800-447-7426 (U.S. and • Welcome Reception and Poster Canada only) Session Fax: +1-215-386-7999 E-mail: [email protected] Job Postings Postal mail: Society for Industrial and Please visit http://jobs.siam.org regarding Leading the applied Applied Mathematics, 3600 Market the availability of job postings. mathematics community … Street, 6th floor, Philadelphia, PA Join SIAM and save! 19104-2688 USA SIAM members save up to $65 on full registration for the 2013 SIAM Important Notice Conference on Applied Algebraic Standard Audio/Visual to Poster Presenters Geometry! Join your peers in Set-Up in Meeting Rooms The poster session is scheduled for supporting the premier professional Thursday, August 1 at 6:00 PM. Poster SIAM does not provide computers for society for applied mathematicians presenters are requested to set up their any speaker. When giving an electronic and computational scientists. SIAM poster material on the provided 40” presentation, speakers must provide members receive subscriptions to SIAM by 60” ( 1m by 1.5m) boards in the their own computers. SIAM is not Review and SIAM News and enjoy North Ballroom at Lory Student Center responsible for the safety and security of substantial discounts on SIAM books, between 5:00 and 6:00 p.m. Alternately, speakers’ computers. journal subscriptions, and conference poster presenters may leave their posters registrations. Each meeting room is equipped with a at the registration desk before 4:00 PM ceiling-mounted projector for use with on Thursday, and the poster will be set a laptop, document camera and a white up for them. All materials must be posted If you are not a SIAM member and board. Cables or adaptors for Apple by Thursday, August 1, at 6:00 PM, the paid the Non-Member or Non-Member computers are not supplied, as they official start time of the session. Poster Mini Speaker/Organizer rate to attend vary for each model. Please bring your displays must be removed by 8:00 PM. the conference, you can apply the own cable/adaptor if using an Apple Posters remaining after this time will be difference between what you paid and computer. discarded. SIAM is not responsible for what a member would have paid ($65 discarded posters. for a Non-Member and $35 for a Non- 4 2013 SIAM Conference on Applied Algebraic Geometry

SIAM Books and Journals Please Note Display copies of books and SIAM is not responsible for the safety complimentary copies of journals are and security of attendees’ computers. available on site. SIAM books are Do not leave your laptop computers available at a discounted price during unattended. Please remember to turn the conference. If a SIAM books off your cell phones, pagers, etc. during representative is not available, order sessions. forms are available at the display. Orders can be mailed to SIAM (information is on the order form) or Recording of Presentations books can be ordered online using the Audio and video recording of coupon code. presentations at SIAM meetings is prohibited without the written permission of the presenter and SIAM. Table Top Displays Oxford University Press/Oxford Journals Social Media SIAM SIAM is promoting the use of social media, such as Facebook and Twitter, in order to enhance scientific discussion Name Badges at its meetings and enable attendees A space for emergency contact to connect with each other prior to, information is provided on the back of during and after conferences. If you your name badge. Help us help you in are tweeting about a conference, please the event of an emergency! use the designated hashtag to enable other attendees to keep up with the Twitter conversation and to allow better Comments? archiving of our conference discussions. Comments about SIAM meetings are The hashtag for this meeting is encouraged! Please send to: #SIAMAG13. Sven Leyffer, SIAM Vice President for Programs ([email protected])

Get-togethers Welcome Reception and Poster Session Thursday, August 1 6:00 PM - 8:00 PM

Business Meeting (open to SIAG/AG members) Saturday, August 3 1:00 PM – 1:50 PM 2013 SIAM Conference on Applied Algebraic Geometry 5

SIAM Activity Group on Algebraic Geometry SI(AG)2 www.siam.org/activity/ag

A GREAT WAY TO GET invOlvEd! Collaborate and interact with mathematicians and applied scientists whose work involves algebraic geometry.

ACTIVITIES INCLUDE: • Special sessions at SIAM Annual Meetings • Biennial Conference • Wiki

BENEFITS OF SIAG/AG MEMBErShIp: • Listing in the SIAG’s online membership directory • Additional $10 discount on registration for the SIAM Conference on Applied Algebraic Geometry (excludes student) • Electronic communications about recent developments in your specialty • Eligibility for candidacy for SIAG/AG office • Participation in the selection of SIAG/AG officers

ELIGIBILITY: • Be a current SIAM member.

COST: • $10 per year • Student members can join two activity groups for free!

SIAG/AG OFFICErS 2012-2013 • Chair: Seth Sullivant, North Carolina State University • Vice Chair: Iwan Duursma, University of Illinois Urbana-Champaign • Program Director: Anton Leykin, Georgia Institute of Technology • Secretary: Jan Draisma, Technische Universiteit Eindhoven

TO JOIN:

SiAG/AG: my.siam.org/forms/join_siag.htm SiAM: www.siam.org/joinsiam 6 2013 SIAM Conference on Applied Algebraic Geometry

Invited Plenary Speakers ** All Invited Plenary Presentations will take place in Andrew G. Clark Building – A 101**

Thursday, August 1 8:30 AM – 9:30 AM IP1 How Applied Algebraic Geometry is Useful in Pure Mathematics Ravi Vakil, Stanford University, USA

2:00 PM – 3:00 PM IP2 Tale of Two Theorems Greg Blekherman, Georgia Institute of Technology, USA

Friday, August 2 8:30 AM – 9:30 AM IP3 On k-apart Configuration Spaces Yuliy Baryshnikov, University of Illinois at Urbana-Champaign, USA

2:00 PM – 3:00 PM IP4 Numerics and Algebraic Geometry Sandra Di Rocco, KTH Stockholm, Sweden

Saturday, August 3 8:30 AM – 9:30 AM IP5 Algebraic Geometry in System Biology Carsten Wiuf, University of Copenhagen, Denmark

2:00 PM – 3:00 PM IP6 Cluster Algebra and Complex Volume of Knots Rei Inoue, Chiba University, Japan 2013 SIAM Conference on Applied Algebraic Geometry 7

Invited Plenary Speakers ** All Invited Plenary Presentations will take place in Andrew G. Clark Building – A 101**

Sunday, August 4 8:00 AM – 9:00 AM IP7 Speeding up Lattice Reduction with Numerical Linear Algebra Techniques Damien Stehlé, École Normale Supérieure de Lyon, France

1:30 PM – 2:30 PM IP8 Multivariate Polynomial Interpolation Provides Surprising Combinatorial Insights: Zonotopal Algebra and Beyond Olga Holtz, University of California, Berkeley, USA and Technische Universitat Berlin, Germany 8 2013 SIAM Conference on Applied Algebraic Geometry 2013 SIAM Conference on Applied Algebraic Geometry 9

Program and Abstracts

10 2013 SIAM Conference on Applied Algebraic Geometry

Thursday, Thursday, August 1 Thursday, August 1 August 1 IP1 MS1 How Applied Algebraic Identifiability Problems in Geometry is Useful in Pure Biology and Statistics - Registration Mathematics Part I of II 7:00 AM-5:00 PM 8:30 AM-9:30 AM 10:00 AM-12:00 PM Room:Andrew G. Clark Building – Room:Andrew G. Clark Building – Room:Andrew G. Clark Building – A102 Clark A Wing A101 For Part 2 see MS25 Chair: Alicia Dickenstein, Universidad The focus of this minisymposium is on de Buenos Aires, Argentina solving identifiability problems arising Welcome Remarks For historical reasons, the culture of in biology and statistics. Applied topics will include differential equation models 8:20 AM-8:30 AM pure algebraic geometry has often been quite distant from applications, and arising in biology, structural equation Room:Andrew G. Clark Building – “applied” methods. While there are models arising in statistics, mass action A101 some good reasons for the distinction models, phylogenetic models, and between the pure and applied side of boolean models. Emphasis will be on the the subject, this division is, happily, algebraic methods used to solve these gradually eroding. I will describe problems. some examples of where in theoretical Organizer: Nicolette Meshkat advances have been built on insights North Carolina State University, USA and experiences coming from the more Organizer: Seth Sullivant applied side of the subject. For this North Carolina State University, USA reason, it is worth our time to learn 10:00-10:25 Identifiability and to talk to people in different parts of Parameter Estimation in Modeling the subjects, even if the cultural and Disease Dynamics linguistical differences sometimes Marisa Eisenberg, University of make it challenging. Michigan, USA Ravi Vakil 10:30-10:55 Differential Algebra Stanford University, USA Techniques for Identifiability of Biological Systems Maria Pia Saccomani, University of Padova, Italy 11:00-11:25 Identifiability Coffee Break of Mechanical Systems in 9:30 AM-10:00 AM Cardiovascular Modeling Adam Mahdi, Nicolette Meshkat, and Room:Andrew G. Clark Building – Seth Sullivant, North Carolina State Clark A Wing University, USA 11:30-11:55 Identifiable Reparameterizations of Linear Ode Systems Nicolette Meshkat and Seth Sullivant, North Carolina State University, USA 2013 SIAM Conference on Applied Algebraic Geometry 11

Thursday, August 1 Thursday, August 1 Thursday, August 1 MS2 MS3 MS4 Developments in Numerical Perspectives Arithmetic Geometry - Cylindrical Algebraic on Classical Themes in Part I of III Decomposition and Algebraic Geometry - 10:00 AM-12:00 PM Part I of II Quantifier Elimination - Room:Andrew G. Clark Building – A201 Part I of II 10:00 AM-12:00 PM For Part 2 see MS16 10:00 AM-11:30 AM Room:Andrew G. Clark Building – A104 The minisymposium addresses current Room: Andrew G. Clark Building – For Part 2 see MS15 topics in computational arithmetic A103 Recent advances in numerical techniques geometry, including abelian surfaces, del in algebraic geometry have piqued the Pezzo surfaces, cohomology of varieties, For Part 2 see MS26 and arithmetic of Jacobians. Cylindrical Algebraic Decomposition interest of scholars dealing with classical (CAD) was invented by Collins themes in the discipline. This mini- Organizer: Rachel Pries (1975) to solve problems of Quantifier symposium will get together a group Colorado State University, USA Elimination. Although the worst case of practitioners to share recent progress 10:00-10:25 2-torsion Brauer Classes is doubly exponential in the number of and trends on the impact of numerical on Surfaces with Hyperelliptic variables, it has proved to be a practical techniques on classical themes. Fibrations method in many cases. There have Organizer: Gianmario Besana Brendan Creutz, University of Sydney, been many practical improvements in DePaul University, USA Australia; Bianca Viray, Brown University, USA the CAD algorithm in the intervening 10:00-10:25 Non-convex Optimization period, as well as a completely different and Numerical Homotopies 10:30-10:55 The Number of Nonsimple approach based on regular chains. In Chris Peterson, Colorado State Principally Polarized Abelian Surfaces addition, we know much more about University, USA over a Finite Field how to adapt CAD to the specific Everett W. Howe, Center for 10:30-10:55 A Numerical Algorithm for problem being studied. This symposium Communications Research, USA; Jeff the Topological Euler Characteristic of Achter, Colorado State University, will review recent developments and Algebraic Varieties USA discuss the still-open problems. Christine Jost, Stockholm University, Organizer: Changbo Chen Sweden 11:00-11:25 Computing Discrete University of Western Ontario, Canada Logarithms in the Jacobian of High- 11:00-11:25 Computing H-Bases to Genus Hyperelliptic Curves and Organizer: James Davenport Precondition Polynomial Systems for Applications University of Bath, United Kingdom Homotopy Continuation Andreas Stein, Carl von Ossietzky Steven L. Ihde and Daniel J. Bates, Universitaet Oldenburg, Germany Organizer: Marc Moreno Maza Colorado State University, USA; University of Western Ontario, Canada Jonathan Hauenstein, North Carolina 11:30-11:55 Vertical Brauer Groups 10:00-10:25 Beyond Equational State University, USA and Del Pezzo Surfaces of Degree 4 Constraints in CAD Tony Varilly-Alvarado, Rice University, 11:30-11:55 Random Points on Russell Bradford, James Davenport, n USA; Bianca Viray, Brown University, Curves in R with Application to USA Matthew England, and David J. Parameterizing QSIC Wilson, University of Bath, United Barry H. Dayton, Northeastern Illinois Kingdom University, USA 10:30-10:55 Automatic Proofs of Transcendental Function Inequalities and Their Applications Grant O. Passmore, University of Edinburgh, United Kingdom 11:00-11:25 Utilising New CAD Developments for Simplification in Computer Algebra Matthew England, Russell Bradford, James Davenport, and David J. Wilson, University of Bath, United Kingdom 12 2013 SIAM Conference on Applied Algebraic Geometry

Thursday, August 1 Thursday, August 1 11:30-11:55 Combinatorial Mutations and Fano Manifolds MS5 MS6 Alexander M. Kasprzyk, Imperial College London, United Kingdom Cryptography and Number Toric Geometry, Lattice Theory - Part I of II Points, and Applications - 12:00-12:25 Toric Embedding and Birational Geometry 10:00 AM-12:00 PM Part I of II Hamid Ahmadinezhad, Austrian Room: Andrew G. Clark Building – 10:00 AM-12:30 PM Academy of Sciences, Austria A202 Room: Andrew G. Clark Building – For Part 2 see MS17 A203 Topics include cryptographic pairings, For Part 2 see MS28 the use of linear codes in cryptography The interplay of algebraic geometry and multi-party computation, and lattice with convex and polyhedral geometry theory with applications to wireless has been an on-going success story communication. for over 30 years. While toric Organizer: Iwan Duursma varieties have been established by University of Illinois at Urbana- now as fascinating objects of study Champaign, USA and important examples of higher- Organizer: Elisa Gorla dimensional varieties, in particular University of Neuchatel, Switzerland their symbiosis with lattice polytopes continues to fuel interdisciplinary Organizer: Joachim Rosenthal research. In this minisymposium we Universität Zürich, Switzerland will focus on (1) combinatorial and 10:00-10:25 Exponentiating in Pairing computational aspects of lattice points, Groups such as Ehrhart theory and lattice Michael Naehrig, Craig Costello, and point enumeration; and (2) lattice Joppe W. Bos, Microsoft Research, points occurring as invariants of toric USA varieties. 10:30-10:55 Point Compression for Organizer: Ivan Soprunov the Trace Zero Variety Cleveland State University, USA Maike Massierer, University of Basel and University of Neuchatel, Organizer: Benjamin T. Nill Switzerland; Elisa Gorla, University Case Western Reserve University, USA of Neuchatel, Switzerland 10:00-10:25 (Convex) Normal Lattice Polytopes 11:00-11:25 On Retrieving a Jan Hofmann and Petra Meyer, Goethe Representation of An Algebraic Geometry Code University, Germany Edgar Martínez Moro and Irene 10:30-10:55 Perturbation of Marquez-Corbella, Universidad de Transportation Polytopes Valladolid, Spain; Ruud Pellikaan, Fu Liu, University of California, Davis, TU Eindhoven, The Netherlands; USA Diego Ruano, Aalborg University, 11:00-11:25 New Developments in Denmark LattE Integrale 11:30-11:55 Arithmetic Codices and Velleda Baldoni, University of Rome Applications to Cryptography II, Tor Vergata, Italy; Nicole Berline, Ignacio Cascudo, Centrum voor Ecole Polytechnique, France; Jesús Wiskunde en Informatica, The A. De Loera and Brandon E. Dutra, Netherlands; Ronald Cramer, CWI, University of California, Davis, Amsterdam, Netherlands; Chaoping USA; Matthias Koeppe, University Xing, NTU Singapore, Singapore of California, Davis, USA; Michèle Vergne, Universite Paris 7-Denis Diderot, France

continued in next column 2013 SIAM Conference on Applied Algebraic Geometry 13

Thursday, August 1 Thursday, August 1 Thursday, August 1 MS7 MS8 MS9 Algebro-geometric Software for Algebraic Real Algebraic Geometry Approaches to Geometry - Part I of II and Optimization - Tensor Spaces, Tensor 10:00 AM-12:00 PM Part I of III Decomposition, and Room: Andrew G. Clark Building – A205 10:00 AM-12:30 PM Identifiability - Part I of III For Part 2 see MS32 Room: Andrew G. Clark Building – A207 10:00 AM-12:00 PM Macaulay2 is a software system For Part 2 see MS21 Room: Andrew G. Clark Building – devoted to supporting research in The minisymposium presents recent A204 algebraic geometry and commutative developments in the interplay of real algebra. Developed by Daniel Grayson algebraic geometry and optimization. For Part 2 see MS31 and , it has played This session is concerned with Topics include positive polynomials, sums a significant role in many branches algebraic and geometric approaches of squares, semidefinite programming, of applied algebraic geometry. to problems related to: 1) spaces of polynomial optimization, linear and Experiments with this system continue tensors; 2) various notions of ranks for semidefinite relaxations, symmetries, and to be particularly valuable in collecting tensors; 3) tensor decomposition; 4) spectrahedra. heuristic evidence, establishing patterns, identifiability; and 5) representation Organizer: Greg Blekherman formulating conjectures, and exhaustively theory and tensors. Georgia Institute of Technology, USA exploring examples. As an added benefit, Organizer: Hirotachi Abo a computational perspective often leads Organizer: Cordian Riener University of Idaho, USA to deeper theoretical insights. The talks Aalto University, Finland Organizer: Luke Oeding in this minisymposium will showcase Organizer: Thorsten Theobald University of California, Berkeley, USA the range of new research that advances, Johann Wolfgang Goethe University, exploits, or promotes Macaulay2. Organizer: Giorgio Ottaviani Frankfurt am Main, Germany University of Firenze, Italy Organizer: Gregory G. Smith 10:00-10:25 Bounds on the Equivariant Queen’s University, Canada Betti Numbers of Symmetric Semi- Organizer: Chris Peterson Algebraic Sets Colorado State University, USA 10:00-10:25 Computation in the Intersection Ring of Flag Bundles and Cordian Riener, Aalto University, 10:00-10:25 Projective Methods for Isotropic Flag Bundles Finland; Saugata Basu, Purdue the Identifiability of Tensors I Dan Grayson, University of Illinois at University, USA Luca Chiantini, Università di Siena, Urbana-Champaign, USA; Alexandra 10:30-10:55 When is Every Nonnegative Italy Seceleanu, University of Nebraska, Quadric a Sum of Squares? 10:30-10:55 Projective Methods for Lincoln, USA; Mike Stillman, Cornell Mauricio Velasco, Universidad de the Identifiability of Tensors II University, USA los Andes, Colombia; Gregoriy Cristiano Bocci, Università di Siena, Blekherman, Georgia Institute of Italy 10:30-10:55 State Polytopes of Ideals and Syzygies and Geometric Invariant Technology, USA; Gregory G. Smith, 11:00-11:25 Tensor Ranks Theory for Moduli of Curves Queen’s University, Canada Alessandra Bernardi, University of Anand Deopurkar, Columbia University, 11:00-11:25 Positive Polynomials on Torino, Italy USA; Maksym Fedorchuk, Boston Non-Compact Sets 11:30-11:55 Decomposition of College, USA; David Swinarski, Daniel Plaumann, University of Infinite-dimensional Tensors Fordham University, USA Konstanz, Germany Lek-Heng Lim, University of Chicago, 11:00-11:25 Effective Calculations of 11:30-11:55 Containment Problems for USA; Pierre Comon, CNRS, France Cohomology via Spectral Sequences Polytopes and Spectrahedra Nathan Grieve, Queen’s University, Kai Kellner, Goethe University, Germany; Canada Thorsten Theobald, Johann Wolfgang 11:30-11:55 Fixed Point Sets in Affine Goethe University, Frankfurt am Main, Buildings Germany; Christian Trabandt, Goethe Annette Werner, Goethe University, University, Germany Germany; Josephine Yu, Georgia 12:00-12:25 On Hyperbolicity Cones Institute of Technology, USA and Spectrahedra Petter Branden, KTH Royal Institute of Technology, Sweden 14 2013 SIAM Conference on Applied Algebraic Geometry

Thursday, August 1 MS11 Thursday, August 1 MS10 See Friday morning CP1 Exact Certificates in Nonlinear Global Thursday, August 1 10:00 AM-12:30 PM Optimization - Part I of II MS12 Room:Willard O. Eddy Hall - 106 10:00 AM-12:00 PM Chair: Patrick Shipman, Colorado State Tropical Geometry Room: Andrew G. Clark Building – University, USA C146 and Combinatorics in 10:00-10:25 Construction of For Part 2 see MS22 Dynamical Systems - Lorentz-Conformal Coordinate Symbolic computation methods afford Part I of II Transformations Patrick Shipman, Colorado State exact computation and verification of 10:00 AM-12:00 PM the globality of an infimum or optimum University, USA of a multivariate polynomial or rational Room:Willard O. Eddy Hall - 108 10:30-10:55 Geometrically Minimal function. However, the exact optima For Part 2 see MS24 Realizations for Linear Control Systems and the corresponding proofs, say There are interesting dynamical over Boolean Semiring sums-of-squares, cannot always be systems given by rational maps and Oleg O. Vasil’ev, Russian Academy of aquired directly by symbolic methods, piecewise-linear maps whose symmetry Sciences, Russia and numeric optimization code, say is related to combinatorial mathematics 11:00-11:25 A Dynamical System semidefinite programming or Newton as crystal base, geometric crystal, Which Produces Mutually Unbiased iteration, is deployed to approximate tropical geometry, cluster algebra and Bases and An Application of Persistent exact certificates of optimality. The so on. In this session we take a view Homology scalars in the exact certificates may have of the recent development in this area Francis C. Motta, Colorado State to be algebraic numbers, and proofs may and related mathematics. Through this University, USA be rationalized by verifying rational opportunity we also hope to find new 11:30-11:55 Support Function numbers near the optima. An exception links between tropical geometry and Based Description of Topology and are Sturm sequences or more generally combinatorics via dynamical systems. Approximation of Real Algebraic Curves Tarski’s transfer principle and Artin’s Organizer: Rei Inoue Eva Cernohorská and Zbynek Sir, theorem on sum-of-squares. Chiba University, Japan Charles University, Prague, Czech Organizer: Erich Kaltofen Organizer: Thomas Lam Republic North Carolina State University, USA University of Michigan, USA 12:00-12:25 Free Tilings on Genus-3 Organizer: Mohab Safey El Din 10:00-10:25 Tropical Geometry and Surfaces and Resulting Crystalline Université Paris 6, France Combinatorics in Integrable Cellular Patterns Organizer: Lihong Zhi Automata Vanessa Robins, Australian National Rei Inoue, Chiba University, Japan Academia Sinica, China University, Australia; Myfanwy Evans, 10:00-10:25 Bounded Symbolic- 10:30-10:55 Rigged Configurations Universität Erlangen-Nürnberg, Numeric Cylindrical Algebraic and Box-Ball Systems Germany; Stuart Ramsden and Decomposition for Solving Reiho Sakamoto, Tokyo University of Stephen Hyde, Australian National Optimization Problems Science, Japan University, Australia Hidenao Iwane, Fujitsu Laboratories 11:00-11:25 Combinatorics of the LTD., Japan; Hirokazu Anai, Kyushu Tropical Moduli Space of Curves University, Japan Melody Chan, , Lunch Break 10:30-10:55 Polynomial Optimization USA with Real Varieties 11:30-11:55 The Dynamics of Chip- 12:30 PM-2:00 PM Jiawang Nie, University of California, firing on Abstract Tropical Curves Attendees on their own San Diego, USA Spencer Backman, Georgia Institute of 11:00-11:25 Sums of Squares of Technology, USA Polynomials with Rational Coefficients Claus Scheiderer, University of Konstanz, Germany 11:30-11:55 Invited. Participation Uncertain 1 Graziano Chesi, University of Hong Kong, China 2013 SIAM Conference on Applied Algebraic Geometry 15

Thursday, August 1 Thursday, August 1 5:00-5:25 Polynomial Inequalities for Bistability in a Double Phosphorylation IP2 MS13 Network Carsten Conradi, Max Planck Institute A Tale of Two Theorems Algebraic Aspects of for Dynamics of Complex Systems, 2:00 PM-3:00 PM Biochemical Reaction Germany; Maya Mincheva, Northern Illinois University, USA Room:Andrew G. Clark Building – Networks - Part I of II A101 3:30 PM-6:00 PM 5:30-5:55 Calculating Detailed- Balanced Equilibrium by Fixed-Point Chair: Frank Sottile, Texas A&M Room:Andrew G. Clark Building – A102 Iterations and Cell Exclusion University, USA For Part 2 see MS38 Gilles Gnacadja, Amgen Inc., USA I will explain and draw connections Many scientific disciplines use between the following two theorems: reaction networks to represent and (1) Hilbert’s theorem on nonnegative study interactions among species, polynomials and sums of squares, be they chemical species in (bio) and (2) Classification of varieties chemistry or living organisms in of minimal degree by Del Pezzo ecology or epidemiology. It has long and Bertini. This will result in the been recognized that qualitative classification of all varieties on which properties of reaction networks must nonnegative polynomials are equal to be understood as independently of sums of squares. Along the way I will kinetic parameters as possible. This is provide an introduction to Convex because rates are usually unknown or Algebraic Geometry. The talk is based poorly known, and simulations alone on joint work with Greg Smith and cannot prove asymptotic properties. Mauricio Velasco. Algebra and algebraic geometry Greg Blekherman are increasingly making important Georgia Institute of Technology, USA contributions, particularly regarding the multiplicity and stability of equilibria. This minisymposium will be a venue for exchanges on the latest developments in this area. Coffee Break Organizer: Anne Shiu University of Chicago, USA 3:00 PM-3:30 PM Organizer: Gilles Gnacadja Room:Andrew G. Clark Building – Amgen Inc., USA Clark A Wing 3:30-3:55 Characterization of Steady States of General Mass Action Systems by Correspondence to Weakly Reversible Networks Matthew Johnston, University of Wisconsin, Madison, USA 4:00-4:25 Chemical Reaction Networks As Compartmental Systems David Siegel, University of Waterloo, Canada 4:30-4:55 Identification of Multistationary Reaction Networks Modeled with Power-law Kinetics Elisenda Feliu and Carsten Wiuf, University of Copenhagen, Denmark

continued in next column 16 2013 SIAM Conference on Applied Algebraic Geometry

Thursday, August 1 Thursday, August 1 Thursday, August 1 MS14 MS15 MS16 Algebraic Aspects of Large- Numerical Perspectives Arithmetic Geometry - Part scale Statistics on Classical Themes in II of III 3:30 PM-5:00 PM Algebraic Geometry - 3:30 PM-6:00 PM Part II of II Room: Andrew G. Clark Building – A103 Room:Andrew G. Clark Building – A201 This minisymposium will consist of 3:30 PM-5:30 PM For Part 1 see MS4 presentations describing the relevance Room: Andrew G. Clark Building – For Part 3 see MS41 The minisymposium addresses current of algebraic-geometric ideas in larger A104 sized problems in data analysis than topics in computational arithmetic For Part 1 see MS3 geometry, including abelian surfaces, del those typically considered by algebraic Recent advances in numerical techniques geometers. Large-scale settings in which Pezzo surfaces, cohomology of varieties, in algebraic geometry have piqued the and arithmetic of Jacobians. algebraic tools can be brought to bear in interest of scholars dealing with classical fruitful ways include ranking problems, themes in the discipline. This mini- Organizer: Rachel Pries high-dimensional statistics, graphical symposium will get together a group Colorado State University, USA modeling, sampling, and questions of practitioners to share recent progress 3:30-3:55 Arithmetic Occult Periods involving causality. and trends on the impact of numerical Jeff Achter, Colorado State University, Organizer: Venkat techniques on classical themes. USA Chandrasekaran Organizer: Gianmario Besana 4:00-4:25 Sato-Tate Groups of Abelian California Institute of Technology, USA DePaul University, USA Surfaces and Threefolds Francesc Fité, University of Bielefeld, 3:30-3:55 Differentiable, Continuous, 3:30-3:55 Macaulay Dual Space and and Combinatorial Hodge Theories Numerical Primary Decomposition Germany; Kiran S. Kedlaya, Lek-Heng Lim, University of Chicago, Robert Krone, Georgia Institute University of California, San Diego, USA of Technology, USA; Jonathan USA; Víctor Rotger, Universitat Politecnica de Catalunya, Spain; 4:00-4:25 It is Hard to be Strongly Hauenstein, North Carolina State Faithful University, USA; Anton Leykin, Andrew V. Sutherland, Massachusetts Caroline Uhler, Institute of Science Georgia Institute of Technology, USA Institute of Technology, USA and Technology, Austria; Garvesh 4:00-4:25 Certifiable Numerical 4:30-4:55 Crystalline Cohomology of Raskutti, University of North Carolina, Computations in Schubert Calculus the Igusa Tower USA; Peter Buehlmann, ETH Zürich, Nickolas Hein, University of Nebraska at Bryden Cais, University of Arizona, Switzerland; Bin Yu, University of Kearney, USA; Jonathan Hauenstein, USA California, Berkeley, USA North Carolina State University, USA; 5:00-5:25 Colmez’s Product Formula 4:30-4:55 Computational and Frank Sottile, Texas A&M University, for CM Abelian Varieties Statistical Tradeoffs Via Convex USA Andrew Obus, Columbia University, Relaxation USA 4:30-4:55 Determinantal Venkat Chandrasekaran, California Representations of Hyperbolic 5:30-5:55 Rational Points on Twists of Institute of Technology, USA; Michael Curves via Polynomial Homotopy Modular Curves Jordan, University of California, Continuation Ekin Ozman, University of Texas at Berkeley, USA Anton Leykin, Georgia Institute of Austin, USA Technology, USA 5:00-5:25 On a Family of Determinantal Varieties Arising as Critical Loci in a Classical Computer Vision Problem Gianmario Besana, DePaul University, USA 2013 SIAM Conference on Applied Algebraic Geometry 17

Thursday, August 1 Thursday, August 1 Thursday, August 1 MS17 MS18 MS19 Cryptography and Number Applications to Image Algebraic Geometry of Theory - Part II of II Processing and Shape Tensor Decompositions - 3:30 PM-6:00 PM Analysis - Part I of III Part I of III Room:Andrew G. Clark Building – A202 3:30 PM-5:30 PM 3:30 PM-6:00 PM For Part 1 see MS5 Room:Andrew G. Clark Building – Room:Andrew G. Clark Building – A204 Topics include cryptographic pairings, A203 For Part 2 see MS44 the use of linear codes in cryptography For Part 2 see MS30 We are interested in various aspects of and multi-party computation, and lattice Methods from algebraic geometry and tensor decompositions studied under the theory with applications to wireless algebraic topology lie at the foundations light of algebraic geometry --- complex, communication. of many existing algorithms in image real, convex, and tropical. processing and shape analysis. The talks Organizer: Iwan Duursma Organizer: Lek-Heng Lim University of Illinois at Urbana- in the proposed minisymposium will be University of Chicago, USA Champaign, USA devoted both to newly developed results in this area and to the discussion of 3:30-3:55 Counting Singular Vectors of Organizer: Elisa Gorla a Multidimensional Tensor open problems. University of Neuchatel, Switzerland Giorgio Ottaviani, University of Firenze, Organizer: Joachim Rosenthal Organizer: Irina Kogan Italy; Shmuel Friedland, University of Universität Zürich, Switzerland North Carolina State University, USA Illinois, Chicago, USA 3:30-3:55 Short Algebraic-Geometry Organizer: Facundo Memoli 4:00-4:25 Tensor Decomposition, Low Codes and Their Weight Distribution University of Adelaide, Australia Rank Structured Matrix Approximation for Diffusion in Block Ciphers and Hash 3:30-3:55 Invariant Histograms and and Applications Functions Signatures for Object Recognition Bernard Mourrain, INRIA Sophia Daniel Augot, INRIA, France and Symmetry Detection Antipolis, France Peter Olver, University of Minnesota, 4:00-4:25 New Matrix-Based Lattice 4:30-4:55 On Best (r1,…,rd) Construction Techniques USA Approximation of d-Mode Tensors Carmelo Interlando, San Diego State 4:00-4:25 Light-weight Methods for Shmuel Friedland, University of Illinois, University, USA Automatic Recognition in Mobile Chicago, USA 4:30-4:55 On the Design of Wiretap Applications 5:00-5:25 Direct Sum Decomposability Codes Mireille Boutin, Purdue University, of Polynomials Frederique Oggier, and Jerome Ducoat, USA Weronika Buczýnska and Jarosław Nanyang Technological University, 4:30-4:55 Estimating Radar Target Buczýnski, IMPAN, Poland; Zach Singapore Invariants Teitler, Boise State University, USA Matthew Ferrara and Gregory Arnold, 5:00-5:25 Orders of Central Simple 5:30-5:55 Computational Complexity Algebras as a Tool for Wireless Matrix Research, Inc., USA; Jason of Tensor Problems Communications T. Parker, Air Force Research Christopher Hillar, University of Camilla Hollanti, Aalto University, Laboratory, USA California, Berkeley, USA; Lek-Heng Finland 5:00-5:25 The Ideal of the Trifocal Lim, University of Chicago, USA 5:30-5:55 Probability Bounds for Variety Algebraic Lattice Codes Chris Aholt, University of Washington, David Karpuk, Aalto University, Finland USA; Luke Oeding, University of California, Berkeley, USA 18 2013 SIAM Conference on Applied Algebraic Geometry

Thursday, August 1 Thursday, August 1 Thursday, August 1 MS20 MS21 MS22 Computations and Effective Real Algebraic Geometry Exact Certificates Bounds in Commutative and Optimization - in Nonlinear Global Algebra - Part I of II Part II of III Optimization - Part II of II 3:30 PM-5:30 PM 3:30 PM-5:30 PM 3:30 PM-5:30 PM Room:Andrew G. Clark Building – A205 Room:Andrew G. Clark Building – A207 Room:Andrew G. Clark Building – C146 For Part 2 see MS45 For Part 1 see MS9 For Part 1 see MS10 In this minisymposium, we propose to For Part 3 see MS33 Symbolic computation methods afford bring together researchers both which are The minisymposium presents recent exact computation and verification of developing software for computations developments in the interplay of real the globality of an infimum or optimum in commutative algebra and algebraic algebraic geometry and optimization. of a multivariate polynomial or rational geometry, and also researchers who are Topics include positive polynomials, sums function. However, the exact optima developing theoretical bounds on what of squares, semidefinite programming, and the corresponding proofs, say might be computed. polynomial optimization, linear and sums-of-squares, cannot always be Organizer: Claudiu Raicu semidefinite relaxations, symmetries, and aquired directly by symbolic methods, Princeton University, USA spectrahedra. and numeric optimization code, say semidefinite programming or Newton Organizer: Karl Schwede Organizer: Greg Blekherman iteration, is deployed to approximate Pennsylvania State University, USA Georgia Institute of Technology, USA exact certificates of optimality. The Organizer: Cordian Riener Organizer: Uli Walther scalars in the exact certificates may have Aalto University, Finland Purdue University, USA to be algebraic numbers, and proofs may 3:30-3:55 Effective Computing in Rings Organizer: Thorsten Theobald be rationalized by verifying rational with Infinite Numbers of Variables Johann Wolfgang Goethe University, numbers near the optima. An exception Christopher Hillar, University of Frankfurt am Main, Germany are Sturm sequences or more generally California, Berkeley, USA; Robert 3:30-3:55 Computing Upper Bounds for Tarski’s transfer principle and Artin’s Krone and Anton Leykin, Georgia Densest Polytope Packings theorem on sum-of-squares. Institute of Technology, USA; Seth Frank Vallentin, Delft University of Organizer: Erich Kaltofen Sullivant, North Carolina State Technology, Netherlands North Carolina State University, USA University, USA 4:00-4:25 A Concrete Approach Organizer: Mohab Safey El Din 4:00-4:25 Geometry of Wachspress to Hermitian Determinantal Université Paris 6, France Surfaces Representations Corey Irving, Santa Clara University, Cynthia Vinzant, University of Michigan, Organizer: Lihong Zhi USA; Hal Schenck, University of USA Academia Sinica, China Illinois, USA 4:30-4:55 Dimensional Differences 3:30-3:55 Inequality Proving and Global Optimization Via a Simplified 4:30-4:55 Bounds on Projective Between Faces of Nonnegative CAD Projection Dimension Polynomials and Sums of Squares Alexandra Seceleanu, University of Sadik Iliman, Goethe University, Bican Xia, Peking University, China Nebraska, Lincoln, USA Germany; Grigoriy Blekherman, 4:00-4:25 Exact Safety Verification Georgia Institute of Technology, USA; of Interval Hybrid Systems Based on 5:00-5:25 Ghosts of the Jacobian Ideal Symbolic-Numeric Computation and Graphic Arrangements Martina Kubitzke, Goethe University, Zhengfeng Yang, Min Wu, and Wang Max Wakefield, United States Naval Germany Lin, East China Normal University, Academy, USA 5:00-5:25 The A-Truncated K-Moment Problem China Jiawang Nie, University of California, 4:30-4:55 Computing Rational San Diego, USA Solutions of Linear Matrix Inequalities Lihong Zhi, Academia Sinica, China; Qingdong Guo, Academia Sinica, Taiwan; Mohab Safey El Din, Université Paris 6, France

continued on next page 2013 SIAM Conference on Applied Algebraic Geometry 19

5:00-5:25 Polar Varieties and Thursday, August 1 Thursday, August 1 Algebraic Certificates Aurelien Greuet, Université de Versailles MS23 MS24 Saint-Quentin-en-Yvelines, France; Applied and Computational Tropical Geometry Feng Guo, University of California, San Diego, USA; Mohab Safey El Topology - Part I of III and Combinatorics in Din, Université Pierre et Marie Curie, 3:30 PM-6:00 PM Dynamical Systems - France; Lihong Zhi, Academia Sinica, Room:Willard O. Eddy Hall - 107 Part II of II China For Part 2 see MS48 3:30 PM-5:30 PM Applied and computational topology Room:Willard O. Eddy Hall - 108 is a vibrant research area that’s gained For Part 1 see MS12 momentum over the last decade. A There are interesting dynamical systems core aim is data analysis by way of given by rational maps and piecewise- understanding the shape of the data. To linear maps whose symmetry is related devise robust techniques, researchers to combinatorial mathematics as are interested in questions of stability crystal base, geometric crystal, tropical of topological descriptors. To process geometry, cluster algebra and so on. In modern datasets, the field is interested this session we take a view of the recent in efficient algorithms. The goal of the development in this area and related minisymposium is to create a forum mathematics. Through this opportunity for young researchers to present recent we also hope to find new links between developments in the field. tropical geometry and combinatorics via Organizer: Dmitriy Morozov dynamical systems. Lawrence Berkeley National Laboratory, Organizer: Rei Inoue USA Chiba University, Japan Organizer: Mikael Vejdemo Organizer: Thomas Lam Johansson University of Michigan, USA University of St. Andrews, United Kingdom 3:30-3:55 Generalized Discrete Toda Lattices 3:30-3:55 A Categorical Approach to Thomas Lam, University of Michigan, Multipersistent Homology USA Martina Scolamiero, Politecnico di Torino, Italy; Wojciech Chacholski, 4:00-4:25 Tropical Curves in the KTH Royal Institute of Technology, Planar Dimer Model Richard Kenyon, Brown University, Sweden; Francesco Vaccarino, USA Politecnico di Torino, Italy 4:30-4:55 Exotic Cluster Structure in 4:00-4:25 New Topological Methods Gl for Robotic Grasping and Machine n Learning Michael Gekhtman, University of Notre Florian T. Pokorny, KTH Royal Institute Dame, USA of Technology, Sweden 5:00-5:25 Higher-Dimensional Analogues of Tropical Cluster 4:30-4:55 Computing Persistent Combinatorics Homology in Chunks Steffen Oppermann, Norwegian Ulrich Bauer, IST, Austria; Michael University of Science and Kerber, Stanford University, USA; Jan Technology, Norway; Hugh Thomas, Reininghaus, IST, Austria University of New Brunswick, Canada 5:00-5:25 One the Persistent Homology of Time-Delay Embeddings Jose Perea and John Harer, Duke University, USA 5:30-5:55 Computational (co) Homology in Electromagnetic Modelling and Material Analysis Pawel Dlotko, University of Pennsylvania, USA 20 2013 SIAM Conference on Applied Algebraic Geometry

Thursday, August 1 A Hybrid Numerical-Symbolic Algorithm for Computing the Solutions Friday, August 2 PP1 of Fewnomial Systems Matthew Niemerg and Dan Bates, Welcome Reception Colorado State University, USA; Jon Registration and Poster Session Hauenstein, North Carolina State 7:30 AM-4:00 PM 6:00 PM-8:00 PM University, USA; Frank Sottile, Texas A&M University, USA Room:Andrew G. Clark Building – Clark Room: Lory Student Center-North Ballroom Machine Learning for Phylogenetic A Wing Mallows Mixture Model and Its Invariants Vanishing Ideal Hannah M. Swan, Joseph P. Rusinko, Brandon W. Bock and Seth Sullivant, and Emili Price, Winthrop University, North Carolina State University, USA Announcements USA Cad Numerical Vertebral Surface 8:20 AM-8:30 AM Refinements and Geometrical Data Development for Surgical Devices Room:Andrew G. Clark Building – A101 Design Francisco Casesnoves, American Society Mechanical Engineering (Individual Researcher Member) Geometrical Algorithms for Civil Helicopter (CH) Rotor-Blades Instantaneous Rotation Center Determination in Deformable/ Turbulence Conditions Using Numerical Reuleaux Method (MRM) Francisco Casesnoves, American Society Mechanical Engineering (Individual Researcher Member) Distance-Based Phylogenetic Algorithms Around a Polytomy Ruth E. Davidson and Seth Sullivant, North Carolina State University, USA Perturbed Regeneration for Finding Singular Solutions Brent R. Davis, Daniel J. Bates, Chris Peterson, Eric Hanson, and David Eklund, Colorado State University, USA A Fractal Model of Time Jorge Diaz-Castro, University of Puerto Rico, Puerto Rico A Set of Polynomial Systems from Population Biology Jesse W. Drendel, Colorado State University, USA Parameterized Polynomial Systems and Numerical Algebraic Geometry Eric Hanson and Dan Bates, Colorado State University, USA

continued in next column 2013 SIAM Conference on Applied Algebraic Geometry 21

Friday, August 2 Friday, August 2 Friday, August 2 IP3 MS11 MS25 On k-apart Configuration Symbolic Combinatorics - Identifiability Problems in Spaces Part I of III Biology and Statistics - 8:30 AM-9:30 AM 10:00 AM-12:00 PM Part II of II Room:Andrew G. Clark Building – A101 Room:Willard O. Eddy Hall - 107 10:00 AM-12:00 PM Chair: Gunnar E. Carlsson, Stanford For Part 2 see MS36 Room:Andrew G. Clark Building – A102 University, USA In recent years algorithms and For Part 1 see MS1 k-apart - or no-k-equal configuration software have been developed that The focus of this minisymposium is on spaces - are formed by tuples of points allow researchers to discover and solving identifiability problems arising in in a topological space with no more verify combinatorial identities as well biology and statistics. Applied topics will than k coinciding. They appeared as a as understand analytic and algebraic include differential equation models arising model problem in theoretical computer properties of generating functions. in biology, structural equation models sciences, and are very useful in other The interaction of combinatorics arising in statistics, mass action models, applications, such as motion planning in and symbolic computation has had a phylogenetic models, and boolean models. robotics. I will survey some old and new beneficial impact on both fields. This Emphasis will be on the algebraic methods results in the area. minisymposium will feature 12 speakers used to solve these problems. describing recent research combining Organizer: Nicolette Meshkat Yuliy Baryshnikov these areas. University of Illinois at Urbana- North Carolina State University, USA Organizer: Manuel Kauers Champaign, USA Organizer: Seth Sullivant RISC, Austria North Carolina State University, USA Organizer: Michael Singer 10:00-10:25 Identifiability of Linear North Carolina State University, USA Structural Equation Models 10:00-10:25 On the Summability of Mathias Drton, University of Washington, Coffee Break Bivariate Rational Functions USA; Rina Foygel, University of Shaoshi Chen and Michael F. Singer, 9:30 AM-10:00 AM Chicago, USA; Jan Draisma, Technische North Carolina State University, USA Universiteit Eindhoven, The Netherlands Room:Andrew G. Clark Building – 10:30-10:55 Automated Asymptotics 10:30-10:55 Identifiability of Structural Clark A Wing of Multivariate Generating Functions Equation Models on 6 Random Robin Pemantle, University of Variables Pennsylvania, USA; Mark Wilson, Luis D. Garcia-Puente, Sam Houston State University of Auckland, New Zealand University, USA 11:00-11:25 Euler-Mahonian Statistics 11:00-11:25 Algebraic Theory for Via Polyhedral Geometry Discrete Models in Systems Biology Matthias Beck, San Francisco State Franziska B. Hinkelmann, Virginia Tech, University, USA; Benjamin Braun, USA University of Kentucky, USA 11:30-11:55 Scaling Invariants and 11:30-11:55 Towards a Classification Symmetry Reduction of Dynamical of Restricted Lattice Walks Systems Stephen Melczer and Marni Mishna, Evelyne Hubert, INRIA Méditerranée, Simon Fraser University, Canada France; George Labahn, University of Waterloo, Canada 22 2013 SIAM Conference on Applied Algebraic Geometry

Friday, August 2 Friday, August 2 Friday, August 2 MS26 MS27 MS28 Developments in Cylindrical Algorithms in Numerical Toric Geometry, Lattice Algebraic Decomposition Algebraic Geometry - Part Points, and Applications - and Quantifier Elimination - I of II Part II of II Part II of II 10:00 AM-12:30 PM 10:00 AM-12:30 PM 10:00 AM-12:00 PM Room:Andrew G. Clark Building – A104 Room:Andrew G. Clark Building – A201 Room:Andrew G. Clark Building – A103 For Part 2 see MS40 For Part 1 see MS6 For Part 1 see MS2 Numerical algebraic geometry The interplay of algebraic geometry with Cylindrical Algebraic Decomposition computes and manipulates the convex and polyhedral geometry has (CAD) was invented by Collins (1975) to solution set of systems of polynomial been an on-going success story for over solve problems of Quantifier Elimination. equations using numerical techniques. 30 years. While toric varieties have been Although the worst case is doubly This minisymposium will focus on established by now as fascinating objects exponential in the number of variables, new algorithmic developments and of study and important examples of it has proved to be a practical method implementation of these algorithms in higher-dimensional varieties, in particular in many cases. There have been many numerical algebraic geometry. their symbiosis with lattice polytopes continues to fuel interdisciplinary practical improvements in the CAD Organizer: Jonathan Hauenstein research. In this minisymposium we algorithm in the intervening period, as North Carolina State University, USA well as a completely different approach will focus on (1) combinatorial and 10:00-10:25 Applications of computational aspects of lattice points, based on regular chains. In addition, we Numerical Elimination Theory such as Ehrhart theory and lattice point know much more about how to adapt Jonathan Hauenstein, North Carolina enumeration; and (2) lattice points CAD to the specific problem being State University, USA studied. This symposium will review occurring as invariants of toric varieties. 10:30-10:55 Projective Path Tracking recent developments and discuss the still- Organizer: Ivan Soprunov for Homotopy Continuation Methods open problems. Tianran Chen and Tien-Yien Li, Cleveland State University, USA Organizer: Changbo Chen Michigan State University, USA Organizer: Benjamin T. Nill University of Western Ontario, Canada Case Western Reserve University, USA 11:00-11:25 On Massively Parallel Organizer: James Davenport Algorithms to Track One Path of a 10:00-10:25 K-Theory of Toric Varieties University of Bath, United Kingdom Polynomial Homotopy Revisited Joseph Gubeladze, San Francisco State Organizer: Marc Moreno Maza Jan Verschelde, Genady Yoffe, and University, USA University of Western Ontario, Canada Xiangcheng Yu, University of Illinois, Chicago, USA 10:00-10:25 An Incremental Algorithm 10:30-10:55 The Hodge Theory of for Computing Cylindrical Algebraic 11:30-11:55 Numerically Computing Hypersurfaces Decomposition and Its Application to Polynomial Images of Algebraic Sets Eric Katz, University of Waterloo, Quantifier Elimination with Applications Canada Changbo Chen and Marc Moreno Maza, Noah Daleo and Jonathan Hauenstein, 11:00-11:25 Frobenius Splitting and University of Western Ontario, Canada North Carolina State University, USA Toric Varieties 10:30-10:55 An Application of 12:00-12:25 Numerical Algebraic Milena Hering, University of Edinburgh, Quantifier Elimination to Automatic Intersection Using Regeneration United Kingdom; Kevin Tucker, Parallelization of Computer Programs Charles Wampler, General Motors Princeton University, USA Marc Moreno Maza and Changbo Chen, Research Laboratories, USA; 11:30-11:55 Syzygies and Singularities University of Western Ontario, Canada Jonathan Hauenstein, North Carolina of Tensor Product Surfaces of Bidegree State University, USA 11:00-11:25 Turning CAD Upside Down (2,1) Dejan Jovanovic, New York University, Hal Schenck, University of Illinois, USA; USA; Leonardo de Moura, Microsoft A. Seceleanu, University of Nebraska, Research, USA USA; J. Validashti, University of Illinois, USA 11:30-11:55 Relative Equilibria in the Four-Vortex Problem with Two Pairs of 12:00-12:25 Equivariant Vector Bundles Equal Vorticities on T-Varieties Manuele Santoprete, Wilfrid Laurier Nathan Ilten, University of California, University, Canada; Marshall Hampton, Berkeley, USA University of Minnesota, Duluth, USA; Gareth Roberts, College of the Holy Cross, USA 2013 SIAM Conference on Applied Algebraic Geometry 23

Friday, August 2 Friday, August 2 Friday, August 2 MS29 MS30 MS31 Post-Quantum Applications to Image Algebro-geometric Cryptography - Part I of II Processing and Shape Approaches to 10:00 AM-12:00 PM Analysis - Part II of III Tensor Spaces, Tensor Room:Andrew G. Clark Building – A202 10:00 AM-12:30 PM Decomposition, and Identifiability - Part II of III For Part 2 see MS54 Room:Andrew G. Clark Building – A203 The most commonly used public-key For Part 1 see MS18 10:00 AM-11:30 AM cryptosystems on the internet today are For Part 3 see MS43 Room:Andrew G. Clark Building – A204 RSA and ECC. Both of these schemes Methods from algebraic geometry and For Part 1 see MS7 become trivially breakable once algebraic topology lie at the foundations For Part 3 see MS56 sufficiently large quantum computers of many existing algorithms in image This session is concerned with algebraic are built. Post-Quantum Cryptography processing and shape analysis. The talks and geometric approaches to problems studies cryptosystems that remain in the proposed minisymposium will be related to: 1) spaces of tensors; 2) various secure against attacks by quantum devoted both to newly developed results notions of ranks for tensors; 3) tensor computers. Particular areas of interest in this area and to the discussion of open decomposition; 4) identifiability; and 5) include public-key cryptosystems based problems. representation theory and tensors. on lattices, error-correcting codes, and Organizer: Irina Kogan multivariate quadratic equations. Organizer: Hirotachi Abo North Carolina State University, USA University of Idaho, USA Organizer: Tanja Lange Organizer: Facundo Memoli Organizer: Luke Oeding Technische Universiteit Eindhoven, The University of Adelaide, Australia Netherlands University of California, Berkeley, USA 10:00-10:25 Persistence Barcode Organizer: Giorgio Ottaviani Organizer: Dan Bernstein Signatures for Image Classification University of Illinois at Chicago and Gunnar E. Carlsson, Stanford University, University of Firenze, Italy Technische Universiteit Eindhoven, the USA Organizer: Chris Peterson Netherlands Colorado State University, USA 10:30-10:55 Stability of Persistence 10:00-10:25 Overview of Post- Spaces for Vector-Valued Functions 10:00-10:25 A Set-theoretic Proof of the Quantum Cryptography Claudia Landi, Universita degli Studi di Salmon Conjecture Tanja Lange, Technische Universiteit Modena e Reggio Emilia, Italy; Andrea Elizabeth Gross and Shmuel Friedland, Eindhoven, The Netherlands Cerri, IMATI-CNR, Italy University of Illinois, Chicago, USA 10:30-10:55 Degree of Regularity of 11:00-11:25 Persistence Simplification 10:30-10:55 Tangential Varieties of Hfe Family of Cryptosystems with Iterated Morse Complex Segre-Veronese Varieties Jintai Ding, University of Cincinnati, Decomposition Claudiu Raicu, Princeton University, USA Pawel Dlotko, University of USA; Luke Oeding, University of 11:00-11:25 On the Practical and Pennsylvania, USA California, Berkeley, USA Asymptotic Complexity of Solving 11:30-11:55 Image Segmentation with 11:00-11:25 Extremal Betti Tables Generic Systems of Equations Topological Information -- Yet Another Christine Berkesch, Duke University, Bo-Yin Yang, Academia Sinica, China Application of Persistent Homology USA; Daniel Erman, University of 11:30-11:55 Degree of Regularity of Chao Chen, Rutgers University, USA Michigan, USA; Manoj Kummini, Generalized HFE Cryptosystems 12:00-12:25 Metric Geometry and Chennai Mathematical Institute, India Timothy Hodges, University of Persistent Homology Cincinnati, USA Facundo Memoli, University of Adelaide, Australia 24 2013 SIAM Conference on Applied Algebraic Geometry

Friday, August 2 Friday, August 2 Friday, August 2 MS32 MS33 MS34 Software for Algebraic Real Algebraic Geometry Sparse Models, Interpolation Geometry: Macaulay2 - and Optimization - and Polynomials - Part I of II Part II of II Part III of III 10:00 AM-12:30 PM 10:00 AM-12:30 PM 10:00 AM-12:00 PM Room:Andrew G. Clark Building – C146 Room:Andrew G. Clark Building – A205 Room:Andrew G. Clark Building – A207 For Part 2 see MS59 For Part 1 see MS8 For Part 2 see MS21 The ability to extract, model and Macaulay2 is a software system The minisymposium presents recent manipulate the underlying structure or devoted to supporting research in developments in the interplay of real support of a “hidden” sparse object has algebraic geometry and commutative algebraic geometry and optimization. seen exciting recent developments. New algebra. Developed by Daniel Grayson Topics include positive polynomials, sparse interpolation algorithms are able and Michael Stillman, it has played sums of squares, semidefinite to extract structural features through a a significant role in many branches programming, polynomial optimization, remarkably small number of probes, even of applied algebraic geometry. linear and semidefinite relaxations, in the presence of noise and outlier errors. Experiments with this system continue symmetries, and spectrahedra. An important synergy for recovery is developing between algebraic algorithms to be particularly valuable in collecting Organizer: Greg Blekherman for sparse polynomials, signal processing, heuristic evidence, establishing patterns, Georgia Institute of Technology, USA formulating conjectures, and exhaustively and error correcting coding. Prony-like exploring examples. As an added benefit, Organizer: Cordian Riener methods are competing with compressed a computational perspective often leads Aalto University, Finland sensing techniques to obtain numerically to deeper theoretical insights. The talks Organizer: Thorsten Theobald robust methods with low complexity. in this minisymposium will showcase Johann Wolfgang Goethe University, Applications include medical signal the range of new research that advances, Frankfurt am Main, Germany processing and symbolic-numeric solution exploits, or promotes Macaulay2. 10:00-10:25 On Elliptesque and of polynomial equations. Organizer: Gregory G. Smith Hyperbolesque Curves Organizer: Mark Giesbrecht Queen’s University, Canada Bruce Reznick, University of Illinois at University of Waterloo, Canada Urbana-Champaign, USA 10:00-10:25 Inferring Biologically Organizer: Erich Kaltofen Relevant Models: Nested Canalyzing 10:30-10:55 Polynomial-Sized North Carolina State University, USA Semidefinite Representations Functions Organizer: Wen-shin Lee of Derivative Relaxations of Franziska Hinkelmann, Ohio State University of Antwerp, Belgium University, USA Spectrahedral Cones James Saunderson and Pablo A. 10:00-10:25 New Approaches to Sparse 10:30-10:55 Lozenge Tilings and the Parrilo, Massachusetts Institute of Interpolation and Signal Reconstruction Weak Lefschetz Property Technology, USA Mark Giesbrecht, University of Waterloo, David Cook II, University of Notre Canada Dame, USA 11:00-11:25 Polytopes with Minimal Semidefinite Representations 10:30-10:55 Combining Tricks for Exact 11:00-11:25 Computer-aided Joao Gouveia, Universidade de Sparse Interpolation Unirationality Proofs Coimbra, Portugal; Richard Robinson Daniel S. Roche, United States Naval Florian Geiß and Frank-Olaf Schreyer, and Rekha Thomas, University of Academy, USA Universität des Saarlandes, Germany Washington, USA 11:00-11:25 Sparse Interpolation with 11:30-11:55 Algebraic Statistics and 11:30-11:55 Realizing Hyperbolicity Noise and Outliers Macaulay2: Running Markov Chains Cones As Spectrahedra and Their Clément Pernet, Université de Grenoble on Network Fibers Projections I, France Elizabeth Gross, University of Illinois, Tim Netzer, University of Leipzig, Chicago, USA; Sonja Petrovic, 11:30-11:55 Recursive Interpolation of a Germany Pennsylvania State University and Sparse Polynomial Given by a Straight- Line Program Illinois Institute of Technology; Andrew Arnold and Mark Giesbrecht, Despina Stasi, Pennsylvania State University of Waterloo, Canada; Dan University, USA Roche, United States Naval Academy, 12:00-12:25 Groebner-free USA Computations with Binomial Ideals Thomas Kahle, TU München, Germany 12:00-12:25 Numerical Issues with Sparse Interpolation George Labahn, University of Waterloo, Canada 2013 SIAM Conference on Applied Algebraic Geometry 25

Friday, August 2 11:00-11:25 On the Complexity of Friday, August 2 Solving Bivariate Polynomial Systems MS35 Esmaeil Mehrabi, Western University, MS36 Canada; Eric Schost, University of See Saturday morning Complexity of Solving Western Ontario, Canada; Romain Polynomial Systems in Lebreton, Universite de Montpellier II, Several Variables France 10:00 AM-12:00 PM 11:30-11:55 On the Complexity of Computing the Dimension of Semi- Room:Willard O. Eddy Hall - 106 algebaic Sets MS37 Solving polynomial systems in Mohab Safey El Din, Université Paris Algorithms in Real several variables is one of the most 6, France; Elias Tsigaridas, INRIA classical problems of mathematics. and Universite Pierre et Marie Curie, Algebraic Geometry and its In particular, the design of efficient France Applications - Part I of III algorithms for solving polynomial 10:00 AM-12:30 PM systems is a challenge in the recent history of computational mathematics. Room:Willard O. Eddy Hall - 108 This minisymposium consists of four For Part 2 see MS49 talks treating several aspects of the Algorithms for solving of polynomial complexity of algorithms solving systems are of great importance both polynomial equations. Eric Schost in theory and practice. Usually, the considers the problem of solving end-user seeks for information on the symbolically bivariate systems. Teresa real solutions. Typical questions are Krick addresses the complexity of deciding the existence of real solutions, numerically counting the real solutions isolating them whenever they exist, of real systems. Maurice Rojas explores answer connectivity queries, perform the associated tropical geometry. quantifier elimination over the reals, Marc Giusti treats the complexity of etc. There are effective variants of the real solving studying the geometry core topics studied in real algebraic associated to a finite group. geometry. However, the complexity of solving most of these problems is at Organizer: Guillermo Matera least singly exponential in the number Universidad Nacional de General San of variables. Hence, the development of Martin, Argentina the fastest possible algorithms within the Organizer: Luis Miguel Pardo best possible complexity class that lead Universidad de Cantabria, Spain to efficient implementations is of first 10:00-10:25 A Numerical Algorithm importance. for Zero Counting Organizer: Elias Tsigaridas Felipe Cucker, City University of INRIA Sophia Antipolis, France Hong Kong, Hong Kong; Teresa Krick, Universidad de Buenos Aires, Organizer: Mohab Safey El Din Argentina; Gregorio Malajovich, Université Paris 6, France UFRJ, Brazil; Mario Wschebor, 10:00-10:25 Sparse Interpolation and Universidad de la República, Uruguay Error-Correcting Coding Erich Kaltofen, North Carolina State 10:30-10:55 How Far Are Archimedean Tropical Varieties from University, USA Amoebae? 10:30-10:55 New Algorithms for J. Maurice Rojas, and Martin Computing Roadmaps in Smooth Avendano, Texas A&M University, Bounded Real Algebraic Sets USA Mohab Safey El Din, Université Paris 6, France; Eric Schost, University of Western Ontario, Canada

continued in next column continued on next page 26 2013 SIAM Conference on Applied Algebraic Geometry

Friday, August 2 Friday, August 2 Friday, August 2 MS37 IP4 MS38 Algorithms in Real Numerics and Algebraic Algebraic Aspects of Algebraic Geometry and its Geometry Biochemical Reaction Applications - Part I of III 2:00 PM-3:00 PM Networks - Part II of II continued Room:Andrew G. Clark Building – A101 3:30 PM-5:30 PM Chair: Andrew Sommese, University of Room:Andrew G. Clark Building – A102 Notre Dame, USA For Part 1 see MS13 11:00-11:25 Hybrid Methods for Exact Numerical methods have increasingly Many scientific disciplines use Geometric Computation reaction networks to represent and Michael Sagraloff, Max Planck Institute proven to be both helpful and necessary study interactions among species, for Informatics, Germany in Algebraic Geometry. Conversely geometrical and algebraic tools have be they chemical species in (bio) 11:30-11:55 Automatic Natural led to new algorithms providing chemistry or living organisms in Language Mathematical Problem advances in more applied areas such as ecology or epidemiology. It has long Solving Using Real Quantifier been recognized that qualitative Elimination engineering and medical science. We properties of reaction networks must Hirokazu Anai, Kyushu University, will present a few examples showing be understood as independently of Japan; Hidenao Iwane, Fujitsu this fruitful interplay. Classical theory kinetic parameters as possible. This is Laboratories LTD., Japan; Takuya from algebraic geometry can be used because rates are usually unknown or Matsuzaki and Norico Arai, National in Kinematics. Established tools form poorly known, and simulations alone Institute of Informatics, Japan topology apply to give a numerical cell-decomposition of solution sets. cannot prove asymptotic properties. 12:00-12:25 Constructing a Single Numerical methods, on the other Algebra and algebraic geometry Cell in a Cylindrical Algebraic hand, are essential tools for efficient are increasingly making important Decomposition algorithms to compute invariants of contributions, particularly regarding the Christopher Brown, United States Naval multiplicity and stability of equilibria. Academy, USA algebraic varieties, like Chern classes or the Euler characteristics. The talk This minisymposium will be a venue for is based on joint work with Besana, exchanges on the latest developments in Eklund, Hauenstein, Peterson, Sommese this area. Lunch Break and Wampler. Organizer: Gilles Gnacadja 12:30 PM-2:00 PM Sandra Di Rocco Amgen Inc., USA KTH Stockholm, Sweden Attendees on their own Organizer: Anne Shiu University of Chicago, USA 3:30-3:55 Nontrivial Bounds for Steady State Concentrations Alicia Dickenstein and Mercedes Pérez Coffee Break Millán, Universidad de Buenos Aires, 3:00 PM-3:30 PM Argentina 4:00-4:25 Enzymatic Networks and Room:Andrew G. Clark Building – Toric Steady States Clark A Wing Mercedes Perez Millan and Alicia Dickenstein, Universidad de Buenos Aires, Argentina 4:30-4:55 Zero-Eigenvalue Turing Instability in General Chemical Reaction Networks Maya Mincheva, Northern Illinois University, USA; Gheorghe Craciun, University of Wisconsin, Madison, USA

continued on next page 2013 SIAM Conference on Applied Algebraic Geometry 27

5:00-5:25 Ruling out Hopf Bifurcations Friday, August 2 Friday, August 2 in Systems of Interacting Elements Casian Pantea, Imperial College MS39 MS40 London, United Kingdom; Murad Banaji, University of Portsmouth, Hypergeometric Differential Algorithms in Numerical United Kingdom; David Angeli, Equations and Statistics Algebraic Geometry - Imperial College London, United 3:30 PM-5:30 PM Part II of II Kingdom Room:Andrew G. Clark Building – A103 3:30 PM-6:00 PM We are interested in statistics and special Room:Andrew G. Clark Building – A104 functions. In particular, we want to focus For Part 1 see MS27 on the holonomic gradient method and Numerical algebraic geometry related topics. The holonomic gradient computes and manipulates the method (HGM) gives a new method solution set of systems of polynomial in statistics and give a new light to the equations using numerical techniques. classical study of statistics and special This minisymposium will focus on functions. It gives new algorithms for the new algorithmic developments and maximal likelihood estimation and for implementation of these algorithms in the numerical evaluation of normalizing numerical algebraic geometry. constants of unnormalized probability Organizer: Jonathan Hauenstein distributions. Theories, algorithms, and North Carolina State University, USA systems in combinatorial commutative algebra, D-modules, numerical analysis, 3:30-3:55 Polynomial Systems and Algebraic Number Fields and hypergeometric differential Andrew Sommese, University of Notre equations in several variables are used in Dame, USA the HGM. The HGM also raises several new problems in these areas and also 4:00-4:25 Solving Polynomial Systems gives motivations of developing new in Noether Position with Puiseux Series systems. Danko Adrovic and Jan Verschelde, University of Illinois, Chicago, USA Organizer: Nobuki Takayama Kobe University, Japan 5:00-5:25 Bifurcation Analysis and Continuation Methods in Celestial Organizer: Kena Nishiyama Mechanics Shizuoka Prefecture University, Japan Randy Paffenroth, Numerica, USA Organizer: Takayuki Hibi 5:30-5:55 Application of Numerical Osaka University, Japan Algebraic Geometry to Geometric 3:30-3:55 Holonomic Gradient Method Data Analysis for Multivariate Normal Distribution Brent R. Davis, Daniel J. Bates, Chris Theory Peterson, Michael Kirby, and Justin Akimichi Takemura, Tokyo University, Marks, Colorado State University, USA Japan 4:00-4:25 Holonomic Gradient Descent in Directional Statistics Tomonari Sei, Keio University, Japan 4:30-4:55 A-Hypergeometric Systems Uli Walther, Purdue University, USA 5:00-5:25 A-Hypergeometric Systems and Estimation Problems in Statistics Takayuki Hibi, Osaka University, Japan; Kenta Nishiyama, Shizuoka Prefecture University, Japan; Nobuki Takayama, Kobe University, Japan 28 2013 SIAM Conference on Applied Algebraic Geometry

Friday, August 2 Friday, August 2 Friday, August 2 MS41 MS42 MS43 Arithmetic Geometry - Coding Theory and Applications to Image Part III of III Geometry - Part I of III Processing and Shape 3:30 PM-6:00 PM 3:30 PM-6:00 PM Analysis - Part III of III Room:Andrew G. Clark Building – A201 Room:Andrew G. Clark Building – A202 3:30 PM-5:30 PM For Part 2 see MS16 For Part 2 see MS67 Room:Andrew G. Clark Building – A203 The minisymposium addresses current Topics include codes constructed with For Part 2 see MS30 topics in computational arithmetic algebraic curves, linear codes over fields Methods from algebraic geometry and geometry, including abelian surfaces, del and over rings, and subspace codes, with algebraic topology lie at the foundations Pezzo surfaces, cohomology of varieties, applications to polar coding, network of many existing algorithms in image and arithmetic of Jacobians. coding and index coding. processing and shape analysis. The talks Organizer: Rachel Pries Organizer: Iwan Duursma in the proposed minisymposium will be Colorado State University, USA University of Illinois at Urbana- devoted both to newly developed results in this area and to the discussion of open Organizer: Stefan Erickson Champaign, USA problems. Colorado College, USA Organizer: Elisa Gorla Organizer: Irina Kogan 3:30-3:55 Arithmetic of Jacobians over University of Neuchatel, Switzerland Function Fields Organizer: Joachim Rosenthal North Carolina State University, USA Lisa Berger, State University of New Universität Zürich, Switzerland Organizer: Facundo Memoli York, Stony Brook, USA 3:30-3:55 List Decoding of Subspace University of Adelaide, Australia 4:00-4:25 Computing L-Series of Low Codes 3:30-3:55 Object/Image Equations for Genus Curves Anna-Lena Trautmann, University Object Recognition, Shape Analysis, Andrew V. Sutherland, Massachusetts of Zurich, Switzerland; Joachim and Statistics. Institute of Technology, USA; David Rosenthal, Universität Zürich, Peter F. Stiller, Texas A&M University, Harvey, University of New South Switzerland USA Wales, Australia 4:00-4:25 On q-Ary Polar Coding 4:00-4:25 Simplified Morse Skeletons 4:30-4:55 The Local-global Principle for Gretchen L. Matthews, Clemson from Digital Images Divisibility in the Cohomology of Elliptic University, USA Vanessa Robins, Olaf Delgado-Friedrichs, Curves and Adrian Sheppard, Australian 4:30-4:55 On Polar Coding with Brendan Creutz, University of Sydney, National University, Australia Algebraic Geometric Kernels Australia Sarah Anderson, Clemson University, 4:30-4:55 Using Gaussian-Weighted 5:00-5:25 Effective One-Dimensional USA Graph Laplacian in Geometric Shape Infrastructure in Function Fields of Processing 5:00-5:25 The Minimum Distance and Arbitrary Degree Yusu Wang, Ohio State University, USA the Index of Nilpotency Renate Scheidler, University of Calgary, Stefan Tohaneanu, University of Western 5:00-5:25 Object Image Canada Ontario, Canada Correspondence for Algebraic Curves 5:30-5:55 Canonical Heights in under Projections. 5:30-5:55 Smooth Models for the Arithmetic Geometry and Arithmetic Joseph Burdis, Irina Kogan, and Hoon Deligne-Lusztig Curves Dynamics Hong, North Carolina State University, Joseph H. Silverman, Brown University, Iwan Duursma, University of Illinois at USA USA Urbana-Champaign, USA; Abdulla Eid, University of Illinois, USA 2013 SIAM Conference on Applied Algebraic Geometry 29

Friday, August 2 Friday, August 2 Friday, August 2 MS44 MS45 MS46 Algebraic Geometry of Computations and Effective On Coppersmith’s Heuristic Tensor Decompositions - Bounds in Commutative Algorithm for Finding Roots Part II of III Algebra - Part II of II of Multivariate Polynomials 3:30 PM-6:00 PM 3:30 PM-6:00 PM 3:30 PM-5:30 PM Room:Andrew G. Clark Building – A204 Room:Andrew G. Clark Building – A205 Room:Andrew G. Clark Building – A207 For Part 1 see MS19 For Part 1 see MS20 In 1996, Don Coppersmith introduced For Part 3 see MS69 In this minisymposium, we propose to an algorithm relying on lattice We are interested in various aspects of bring together researchers both which are reduction to disclose all small tensor decompositions studied under the developing software for computations roots of a polynomial. When the light of algebraic geometry --- complex, in commutative algebra and algebraic polynomial is univariate over Z/nZ real, convex, and tropical. geometry, and also researchers who are (n not necessarily prime) or bivariate Organizer: Lek-Heng Lim developing theoretical bounds on what over Z, the algorithm is rigorous. But University of Chicago, USA might be computed. when it has more variables, it relies on 3:30-3:55 Ranks and Nuclear Norms of Organizer: Claudiu Raicu the heuristic assumption that several Tensors Princeton University, USA linearly independent polynomials obtained by the lattice reduction Harm Derksen, University of Michigan, Organizer: Karl Schwede process are algebraically independent. USA Pennsylvania State University, USA Coppersmith’s method has been 4:00-4:25 Higher Secants of Sato’s Organizer: Uli Walther extensively used in cryptanalysis, but Grassmannian Purdue University, USA Jan Draisma, Technische Universiteit also in coding theory and in computer Eindhoven, The Netherlands 3:30-3:55 Combinatorial Degree arithmetic. The aim of the mini- Bound for Toric Ideals of Hypergraphs symposium is to describe the state of 4:30-4:55 Writing Forms as Sums of Elizabeth Gross, University of Illinois, the art on proving/circumventing the Higher Powers of Lower Degree Forms Chicago, USA; Sonja Petrovic, heuristic assumption. Bruce Reznick, University of Illinois at Pennsylvania State University and Urbana-Champaign, USA Organizer: Damien Stehle Illinois Institute of Technology Ecole Normale Superieure de Lyon, 5:00-5:25 Equations of Secant Varieties 4:00-4:25 Hyperdeterminants of France Adam Ginensky, University of Chicago, Polynomials USA 3:30-3:55 An Introduction to Luke Oeding, University of California, Coppersmith’s Theorem and its 5:30-5:55 On Waring’s Problem for Berkeley, USA Applications Systems of Skew-Symmetric Forms 4:30-4:55 Numerical Computations Mehdi Tibouchi, NTT Secure Platform Hirotachi Abo and Jia Wan, University of and Galois Groups in Schubert Laboratories, Japan Idaho, USA Calculus 4:00-4:25 The Heuristic Coppersmith Abraham Martin del Campo, IST, Austria Technique from a Computer Algebra 5:00-5:25 Software for Computing Point of View Multiplier Ideals Guénaël Renault, Université Pierre et Zach Teitler, Boise State University, Marie Curie, France USA 4:30-4:55 Toward a Rigorous Variation 5:30-5:55 Comparison of Symbolic of Coppersmith’s Algorithm on Three and Ordinary Powers of Ideals Variables Wenbo Niu, Purdue University, USA Aurélie Bauer, ANSSI, France 5:00-5:25 Polynomial Analogues of Coppersmith’s Method, with Applications to List-decoding of Error- correcting Codes Nadia Heninger, Microsoft Research, USA 30 2013 SIAM Conference on Applied Algebraic Geometry

Friday, August 2 4:30-4:55 Vanishing Ideals of Limited Friday, August 2 Precision Points MS47 Maria-Laura Torrente, University of MS48 Genova, Italy Symbolic-numerical Applied and Computational Methods for Approximate 5:00-5:25 Interpolation and Ehrhart Theory Topology - Part II of III Polynomial Interpolation Zafeirakis Zafeirakopoulos, Johannes 3:30 PM-6:00 PM Kepler University Linz, Austria 3:30 PM-5:30 PM Room:Willard O. Eddy Hall - 107 Room:Andrew G. Clark Building – For Part 1 see MS23 C146 For Part 3 see MS74 Recently, in applied mathematics Applied and computational topology polynomials have been increasingly is a vibrant research area that’s gained employed. One of the reasons for momentum over the last decade. A this choice undoubtedly falls within core aim is data analysis by way of the large development of algorithms/ understanding the shape of the data. To software for computing with devise robust techniques, researchers polynomials. In this minisymposium are interested in questions of stability we consider the problem of of topological descriptors. To process approximate polynomial interpolation, modern datasets, the field is interested i.e. the problem of finding polynomials in efficient algorithms. The goal of the whose affine varieties lie as close minisymposium is to create a forum as possible to given points. A dual for young researchers to present recent problem is also considered, that is the developments in the field. fitting of an approximate polynomial Organizer: Dmitriy Morozov locally to a root of certain multiplicity Lawrence Berkeley National structure. Our approaches always Laboratory, USA combine methods of commutative Organizer: Mikael Vejdemo and numerical linear algebra; they Johansson find applications in different areas, University of St. Andrews, United including computational geometry, Kingdom celestial mechanics and image 3:30-3:55 Kernel Distance for detection. Geometric Inference Organizer: Angelos Mantzaflaris Bei Wang and Jeff Phillips, University RICAM, Austrian Academy of of Utah, USA Sciences, Austria 4:00-4:25 A Continuous Mean for Sets Organizer: Maria-Laura Torrente of Persistence Diagrams University of Genova, Italy Elizabeth Munch, Duke University, USA 3:30-3:55 Implicitization by 4:30-4:55 Generalized Interleavings Interpolation: Symbolic and and Weak Laws of Large Numbers for Numerical Methods 2-D Persistent Homology Tatjana Kalinka, National and Michael Lesnick, Institute for Advanced Kapodistrian University of Athens, Study, USA Greece 5:00-5:25 Sheaves, Cosheaves and 4:00-4:25 Coping with Singular Applications Isolated Zeros of Polynomial Justin Curry, University of Systems Using Symbolic Pennsylvania, USA perturbations 5:30-5:55 Measuring the Stability of Angelos Mantzaflaris, RICAM, Intersections to C0 Perturbations Austrian Academy of Sciences, Amit Patel, Rutgers University, USA Austria; Bernard Mourrain, INRIA Sophia Antipolis, France

continued in next column 2013 SIAM Conference on Applied Algebraic Geometry 31

Friday, August 2 4:30-4:55 Computing Critical Points Friday, August 2 with Gröbner Bases: Complexity and MS49 Applications CP2 Algorithms in Real Pierre-Jean Spaenlehauer, University of Western Ontario, Canada; Jean- Algebraic Geometry and its Charles Faugère, INRIA Paris- 3:30 PM-5:00 PM Applications - Part II of III Rocquencourt, France; Mohab Safey Room:Willard O. Eddy Hall - 106 El Din, Université Paris 6, France 3:30 PM-5:30 AM Chair: To Be Determined Room:Willard O. Eddy Hall - 108 5:00-5:25 Discriminants and Applications 3:30-3:55 List Decoding of Repeated For Part 1 see MS37 Alicia Dickenstein, Universidad de Codes Michael E. O’Sullivan, San Diego State For Part 3 see MS62 Buenos Aires, Argentina; Ioannis University, USA; Fernando Hernando, Algorithms for solving of polynomial Z. Emiris and Anna Karasoulou, Universidad Jaume I, Spain; Diego systems are of great importance both National and Kapodistrian University Ruano, Aalborg University, Denmark in theory and practice. Usually, the of Athens, Greece end-user seeks for information on the 4:00-4:25 Doubly Adapted Bases for real solutions. Typical questions are the Symmetric Group deciding the existence of real solutions, Michael E. Orrison, Harvey Mudd isolating them whenever they exist, College, USA; Michael Hansen, NA; answer connectivity queries, perform Masanori Koyama, University of quantifier elimination over the reals, Wisconsin, Madison, USA etc. There are effective variants of the 4:30-4:55 Elegant Expressions and core topics studied in real algebraic Formulae for Riemann Zeta, Dirichlet geometry. However, the complexity of Beta, Euler Numbers and Other solving most of these problems is at Mathematical Functions least singly exponential in the number Michael A. Idowu, University of Abertay, of variables. Hence, the development of Dundee, UK the fastest possible algorithms within the best possible complexity class that lead to efficient implementations is of first importance. Organizer: Elias Tsigaridas INRIA Sophia Antipolis, France Organizer: Mohab Safey El Din Université Paris 6, France 3:30-3:55 Khovanskii-Rolle Continuation for Real Solutions Frank Sottile, Texas A&M University, USA; Daniel J. Bates, Colorado State University, USA 4:00-4:25 An Algorithm to Compute the Dimension of Real Algebraic Sets Mohab Safey El Din, Université Paris 6, France; Elias Tsigaridas, INRIA Sophia Antipolis, France

continued in next column 32 2013 SIAM Conference on Applied Algebraic Geometry

Saturday, August 3 Saturday, August 3 Saturday, August 3 IP5 MS36 Algebraic Geometry in Symbolic Combinatorics - Registration System Biology Part II of III 7:30 AM-5:00 PM 8:30 AM-9:30 AM 10:00 AM-12:00 PM Room:Andrew G. Clark Building – Room:Andrew G. Clark Building – A101 Room:Willard O. Eddy Hall - 107 Clark A Wing Chair: Seth Sullivant, North Carolina For Part 1 see MS11 State University, USA For Part 3 see MS61 In recent years algorithms and Announcements Systems biology aims to understand complex systems and the mechanisms software have been developed that 8:20 AM-8:30 AM that are responsible for specific allow researchers to discover and behaviors, such as multi-stationarity verify combinatorial identities as well Room:Andrew G. Clark Building – as understand analytic and algebraic Clark A Wing or oscillation. Typical mathematical models of biological systems produce properties of generating functions. polynomial systems of equations. The interaction of combinatorics In recent years tools from algebraic and symbolic computation has had a geometry are increasingly being applied beneficial impact on both fields. This to understand such polynomial systems minisymposium will feature 12 speakers and extract information that are relevant describing recent research combining for the design of experiments/systems these areas. and the analysis of experimental data. In Organizer: Manuel Kauers this talk I will review recent results, and RISC, Austria discuss some of the challenges we are Organizer: Michael Singer facing. North Carolina State University, USA Carsten Wiuf 10:00-10:25 Computing University of Copenhagen, Denmark Decompositions of Hypergeometric Terms Ziming Li, Chinese Academy of Sciences, China 10:30-10:55 A Combinatorial Coffee Break Approach to Lattice Path Asymptotics 9:30 AM-10:00 AM Marni Mishna, Simon Fraser University, Canada Room:Andrew G. Clark Building – 11:00-11:25 Computing Clark A Wing Hypergeometric Solutions of Second Order Differential Equations with Five Singularities Vijay Kunwar and Mark van Hoeij, Florida State University, USA 11:30-11:55 Holonomic Integer Sequences and Transcendental Numbers Mark van Hoeij, Florida State University, USA 2013 SIAM Conference on Applied Algebraic Geometry 33

Saturday, August 3 11:00-11:25 An Algorithm for Saturday, August 3 Evaluation and Interpolation in Higher MS50 Dimensions MS51 Joris van der Hoeven, Ecole Formulas in Interpolation - Polytechnique, France; Eric Schost, Singular Learning Theory Part I of III University of Western Ontario, 10:00 AM-12:00 PM Canada 10:00 AM-12:00 PM Room:Andrew G. Clark Building – A103 11:30-11:55 Sylvester Double Sums Room:Andrew G. Clark Building – A102 Singular learning theory is concerned and Divided Differences For Part 2 see MS63 Aviva Szpirglas, Université de Poitiers, with problems of statistical model This minisymposium focuses on France selection when one or more of the interpolation in Computational Algebra considered models are singular. Here, and Algebraic Geometry. Interpolation a statistical model is singular if its has proven to be a very effective tool for Fisher-information matrix can fail to both computational and also theoretical be invertible. The examples of singular purposes. From reconstructing defining models that arise in practice generally polynomials of algebraic varieties feature algebraic structure that allows to giving closed formulas for these one to analyze their behavior using polynomials, the goal of the meeting algebraic geometric techniques for will be to understand the connections resolution of singularities. The speakers between the geometric and the algebraic in this minisymposium will present new counterpart of interpolation, and also theoretical results and practical methods to explore generalized interpolation that build on this connection between methods (such as Birkhoff interpolation algebraic geometry and statistics. and its multivariate versions). Specific Organizer: Mathias Drton topics included: -- closed formulas in University of Washington, USA interpolation -- solvability (of Hermite- 10:00-10:25 Resolution of Singularities Birkhoff type) interpolation problems and Statistical Model Evaluation -- rational interpolation problems -- Sumio Watanabe, Tokyo Institute of relations to the theory of subresultants Technology, Japan and Schur functions -- Alexander- Hirschowitz type theorems 10:30-10:55 A Bayesian Information Criterion for Singular Models Organizer: Carlos D’Andrea Mathias Drton, University of Universitat de Barcelona, Spain Washington, USA; Martyn Plummer, Organizer: Teresa Krick International Agency for Research on Universidad de Buenos Aires, Argentina Cancer, France Organizer: Agnes Szanto 11:00-11:25 Asymptotic Inference for North Carolina State University, USA Gaussian Hidden Tree Models Piotr Zwiernik, University of California, 10:00-10:25 Introduction and Overview of the Topic Area ‘Formulas Berkeley, USA in Interpolation’ 11:30-11:55 Singular Learning Theory Carlos D’Andrea, Universitat de and Causal Inference Barcelona, Spain Shaowei Lin, A*STAR Computational 10:30-10:55 Polynomial Algebra for Resource Centre, Singapore; Caroline Birkhoff Interpolants Uhler, Institute of Science and John C. Butcher, University of Technology, Austria; Bernd Sturmfels, Auckland, New Zealand; Rob M. University of California, Berkeley, Corless, University of Western USA; Peter Buehlmann, ETH Zürich, Ontario, Canada; Laureano Gonzalez- Switzerland Vega, Universidad de Cantabria, Spain

continued in next column 34 2013 SIAM Conference on Applied Algebraic Geometry

Saturday, August 3 Saturday, August 3 Saturday, August 3 MS52 MS53 MS54 Applications of Numerical Approximation Theory, Post-Quantum Cryptography Algebraic Geometry - Geometric Modeling, and - Part II of II Part I of II Algebraic Geometry - 10:00 AM-11:30 AM 10:00 AM-11:30 AM Part I of III Room:Andrew G. Clark Building – A202 Room:Andrew G. Clark Building – A104 10:00 AM-12:30 PM For Part 1 see MS29 For Part 2 see MS65 Room:Andrew G. Clark Building – A201 The most commonly used public-key cryptosystems on the internet today are This minisymposium will feature For Part 2 see MS66 experts in the various applications of Piecewise-defined polynomials play an RSA and ECC. Both of these schemes numerical algebraic geometry both important role in both Approximation become trivially breakable once within and outside algebraic geometry. Theory and in Geometric Modeling. sufficiently large quantum computers Approximately half of the speakers will This not only connects these fields, are built. Post-Quantum Cryptography focus on applications within algebraic but enables the use of methods from studies cryptosystems that remain secure geometry, such as fast parameter Algebraic Geometry and Commutative against attacks by quantum computers. homotopies, exceptional mechanisms. Algebra to be applied to problems Particular areas of interest include public- The other half of the speakers will focus arising in Geometric Modeling key cryptosystems based on the difficulty on the use of continuation methods in and Approximation Theory. This of finding short vectors in lattices, finding problems outside numerical algebraic minisymposium will feature work low-weight words in error-correcting geometry, in areas such as nonlinear highlighting interactions between these codes, and solving systems of quadratic PDEs, tumor growth models, and fields. equations in many variables. maximum likelihood estimation. The Organizer: Luis Garcia Organizer: Tanja Lange common thread between all talks will be Sam Houston State University, USA Technische Universiteit Eindhoven, The the use of numerical algebraic geometry Netherlands methods and software. Organizer: Frank Sottile Texas A&M University, USA Organizer: Dan Bernstein Organizer: Wenrui Hao University of Illinois at Chicago and University of Notre Dame, USA 10:00-10:25 Syzygies and Singularities Technische Universiteit Eindhoven, the of Tensor Product Surfaces Netherlands 10:00-10:25 Applying Fiber Products Alexandra Seceleanu, University to Polynomial Maps and the Planar of Nebraska, Lincoln, USA; Hal 10:00-10:25 McBits: Fast Constant-time Pentad Schenck, University of Illinois, USA; Code-based Cryptography Eric Hanson and Dan Bates, Javid Validashti, University of Illinois Tung Chou, TU Eindhoven, The Colorado State University, USA; at Urbana-Champaign, USA Netherlands; Daniel Bernstein, Jon Hauenstein, North Carolina University of Ilinois at Chicago, USA; State University, USA; Charles 10:30-10:55 The Schenck-Stiller Peter Schwabe, Radboud University Wampler, General Motors Research Conjecture on the Dimension of Nijmegen, The Netherlands Laboratories, USA Splines Stefan Tohaneanu, University of 10:30-10:55 Quantum Algorithms for 10:30-10:55 Numerical Methods for Western Ontario, Canada the Subset-sum Problem Highly Structured Polynomial Systems Daniel Bernstein, University of Ilinois at Coming from Magnetism 11:00-11:25 Splines on Polyhedral Chicago, USA Daniel J. Bates, Colorado State Complexes 11:00-11:25 Solving the Shortest University, USA Hal Schenck, University of Illinois, USA Vector Problem in Lattices Faster Using 11:00-11:25 Numerical Determination Quantum Search of Witness Points on Real Solution 11:30-11:55 Shellability and Freeness Thijs Laarhoven, TU Eindhoven, Components of Polynomial and of Continuous Splines The Netherlands; Michele Mosca, Michael DiPasquale, University of Differential Polynomial Equations University of Waterloo, Canada; Joop Illinois, USA Wenyuan Wu, Chinese Academy van de Pol, University of Bristol, of Sciences, China; Greg Reid, 12:00-12:25 Computational Topology United Kingdom University of Western Ontario, and Visualization Canada Lance E. Miller, University of Utah, USA 2013 SIAM Conference on Applied Algebraic Geometry 35

Saturday, August 3 Saturday, August 3 Saturday, August 3 MS55 MS56 MS57 Computational Aspects of Algebro-geometric Combining Convex and Moving Frames - Part I of III Approaches to Algebraic Geometry in 10:00 AM-12:30 PM Tensor Spaces, Tensor Singular Room:Andrew G. Clark Building – A203 Decomposition, and 10:00 AM-12:30 PM For Part 2 see MS68 Identifiability - Part III of III Room:Andrew G. Clark Building – A205 Moving frame methods are extensively 10:00 AM-11:30 AM Algebraic and convex geometry have used in differential geometry and Room:Andrew G. Clark Building – A204 deep connections, for example, in the applied mathematics. They find For Part 2 see MS31 context of varieties with torus action, numerous applications in engineering geometric invariant theory, and Mori and sciences, and this trend has been This session is concerned with algebraic and geometric approaches to problems theory. Recent implementations of strengthened in the last decade with methods for convex geometry in Singular the emergence of pragmatic algebraic related to: 1) spaces of tensors; 2) various notions of ranks for tensors; 3) provide the necessary techniques for approaches to the computations investigating these connections by the involved. This minisymposium will be tensor decomposition; 4) identifiability; and 5) representation theory and tensors. means of computer algebra. In this concerned with methods and algorithms minisymposium, we will focus on new available for computing differential Organizer: Hirotachi Abo results and implementations in the theory invariants and finite difference University of Idaho, USA of Cox rings, polyhedral divisors, GIT invariants of transformation groups Organizer: Luke Oeding fans and Mori dream spaces. along with techniques used to analyze University of California, Berkeley, USA their associated algebraic structures. Organizer: Yue Ren Organizer: Giorgio Ottaviani Applications and implementations of Technische Universität Kaiserslautern, University of Firenze, Italy these ideas to geometric problems will Germany also be considered. Organizer: Chris Peterson Organizer: Janko Boehm Colorado State University, USA Organizer: Francis Valiquette Technische Universität Kaiserslautern, Dalhousie University, Canada 10:00-10:25 Rank of Tensors via Germany Secant Varieties and Fat Points Organizer: Wolfram Decker Organizer: Evelyne Hubert Maria Virginia Catalisano, University INRIA Méditerranée, France Technische Universität Kaiserslautern, of Genoa, Italy Germany 10:00-10:25 Recursive Moving Frames 10:30-10:55 The Common Lines Francis Valiquette, Dalhousie 10:00-10:25 New Developments Variety in Singular and Application to the University, Canada David M. Dynerman, University of Computation of the Git Fan 10:30-10:55 The Geometry of Lightlike Wisconsin, USA Yue Ren, Technische Universität Surfaces in Minkowski Space 11:00-11:25 The Waring Rank of the Kaiserslautern, Germany Jeanne Clelland, University of Colorado Vandermonde Determinant 10:30-10:55 Computations with Mori Boulder, USA; Brian Carlsen, Alexander Woo, University of Idaho, Dream Spaces University of Colorado, USA USA; Zach Teitler, Boise State Jürgen Hausen, Universität Tübingen, 11:00-11:25 Moving Frames and Flows University, USA Germany for Curves in Centroaffine Space 11:00-11:25 Computing Cox Rings Thomas Ivey and Annalisa M. Calini, Simon Keicher, Universität Tübingen, College of Charleston, USA; Gloria Germany Mari Beffa, University of Wisconsin, Madison, USA 11:30-11:55 Merging Divisorial with Colored Fans 11:30-11:55 Symbols, Tableaux, and Klaus Altmann, Free University of Berlin, Pseudogroups (with Sage) Germany; Valentina Kiritchenko, HSE Abraham D. Smith, Fordham University, Moscow, Russia; Lars Petersen, DB USA Frankfurt, Germany 12:00-12:25 Cohomology of 12:00-12:25 Using Polyhedral Divisors Variational Bicomplexes Invariant in Algebraic Geometry under a Pseudo-Group Action Juha Pohjanpelto, Oregon State Lars Kastner, Free University of Berlin, University, USA Germany 36 2013 SIAM Conference on Applied Algebraic Geometry

Saturday, August 3 Saturday, August 3 11:00-11:25 Sparse Multivariate Function Recovery From Values with MS58 MS59 Noise and Outlier Errors Erich Kaltofen, North Carolina State Algebraic Geometry and Sparse Models, Interpolation University, USA; Zhengfeng Yang, Phylogenetics and Polynomials - East China Normal University, China 10:00 AM-12:00 PM Part II of II 11:30-11:55 Numerical Reconstruction 10:00 AM-12:30 PM of Polytopes from Directional Room:Andrew G. Clark Building – A207 Moments Algebraic geometry has both Room:Andrew G. Clark Building – Mathieu Collowald, INRIA Sophia practical and theoretical applications C146 Antipolis, France; Annie Cuyt, to phylogenetics, the study of For Part 1 see MS34 University of Antwerp, Belgium; reconstructing evolutionary histories The ability to extract, model and Evelyne Hubert, INRIA Méditerranée, of groups of organisms. In this mini- manipulate the underlying structure France; Wen-shin Lee, University of symposium we will explore several or support of a “hidden” sparse object Antwerp, Belgium of these applications, as well as has seen exciting recent developments. 12:00-12:25 Sparse Models, how problems in phylogenetics have New sparse interpolation algorithms Interpolation and Polynomials -- motivated the exploration of particular are able to extract structural features A Summary classes of algebraic varieties. Recent through a remarkably small number Erich Kaltofen, North Carolina State work in invariant based reconstruction of probes, even in the presence of University, USA algorithms, phylogenetic tree noise and outlier errors. An important distributions, Lie Markov models, synergy for recovery is developing and algebraic varieties associated to between algebraic algorithms for sparse the general Markov model will be polynomials, signal processing, and discussed. error correcting coding. Prony-like Organizer: Joseph P. Rusinko methods are competing with compressed Winthrop University, USA sensing techniques to obtain numerically robust methods with low complexity. 10:00-10:25 Invariant Based Applications include medical signal Phylogenetic Reconstruction: Opportunities and Obstacles processing and symbolic-numeric Joseph P. Rusinko, Winthrop University, solution of polynomial equations. USA Organizer: Mark Giesbrecht 10:30-10:55 Nonparametric Estimation University of Waterloo, Canada of Phylogenetic Tree Distributions Organizer: Erich Kaltofen Grady Weyenberg, University of North Carolina State University, USA Kentucky, USA; Peter Huggins, Organizer: Wen-shin Lee Carnegie Mellon University, USA; University of Antwerp, Belgium Christopher Schardl, Daniel Howe, and Ruriko Yoshida, University of 10:00-10:25 Sparse Interpolation and Signal Processing Kentucky, USA Wen-shin Lee and Annie Cuyt, 11:00-11:25 Lie Markov Models with University of Antwerp, Belgium Prescribed Symmetry Jesús Fernández-Sánchez, Universitat 10:30-10:55 Recovering a Sparse Polynomial Model from Data with Politecnica de Catalunya, Spain; Noise and Outliers Peter D. Jarvis and Jeremy Sumner, Brice B. Boyer, Erich L Kaltofen, and University of Tasmania, Australia Matthew Comer, North Carolina State 11:30-11:55 Tensor Rank and Toric University, USA Structure Mateusz Michalek, Max Planck Institute, Germany

continued in next column 2013 SIAM Conference on Applied Algebraic Geometry 37

Saturday, August 3 11:30-11:55 Applications of Real MS61 Numerical Algebraic Geometry MS60 See Sunday morning Jonathan Hauenstein, North Carolina State University, USA; Charles Number Theory and Curves Wampler, General Motors Research - Part I of III Saturday, August 3 Laboratories, USA 10:00 AM-12:30 PM MS62 12:00-12:25 The Geometry of the Room:Willard O. Eddy Hall - 106 TDOA–based Localization Algorithms in Real Marco Compagnoni, Roberto Notari, For Part 2 see MS73 Algebraic Geometry and its Fabio Antonacci, and Augusto Sarti, The minisymposia focus on important Politecnico di Milano, Italy topics about the arithmetic of curves Applications - Part III of III including statistics associated with 10:00 AM-12:30 PM function field extensions, computations for elliptic and hyperelliptic curves, and Room:Willard O. Eddy Hall - 108 Lunch Break rational points on curves. For Part 2 see MS49 Algorithms for solving of polynomial 12:30 PM-2:00 PM Organizer: Rachel Pries systems are of great importance both Attendees on their own Colorado State University, USA in theory and practice. Usually, the Organizer: Iwan Duursma end-user seeks for information on the University of Illinois at Urbana- real solutions. Typical questions are SIAG/AG Business Meeting Champaign, USA deciding the existence of real solutions, 10:00-10:25 Statistics for Points on isolating them whenever they exist, 1:00 PM-1:50 PM Curves over Finite Fields answer connectivity queries, perform Room:Andrew G. Clark Building – A101 Alina Bucur, University of California, quantifier elimination over the reals, San Diego, USA; Chantal David, etc. There are effective variants of the Concordia College, USA; Brooke core topics studied in real algebraic Feigon, City College of CUNY, USA; geometry. However, the complexity of Matilde Lalin, University of Montreal, solving most of these problems is at Canada least singly exponential in the number 10:30-10:55 Random Matrices of variables. Hence, the development of and Cohen-Lenstra Distributions in the fastest possible algorithms within Function Fields the best possible complexity class that Derek Garton, Northwestern University, lead to efficient implementations is of USA first importance. 11:00-11:25 Counting Dihedral Organizer: Elias Tsigaridas Function Fields INRIA Sophia Antipolis, France Colin J. Weir, University of Calgary, Organizer: Mohab Safey El Din Canada Université Paris 6, France 11:30-11:55 The Ekedahl-Oort type of 10:00-10:25 Refined Bounds on Supersingular Curves Connected Components of Sign Rachel Pries, Colorado State University, Conditions on a Variety II USA Sal P. Barone and Saugata Basu, Purdue 12:00-12:25 Degenerations and Non- University, USA algebraically Closed Fields 10:30-10:55 Safety Verification of Brian Osserman, University of Cyber-Physical Systems Using the California, Davis, USA Theory of Reals Ashish Tiwari, SRI International, USA 11:00-11:25 Some Applications of Cylindrical Algebraic Decomposition Veronika Pillwein, Johannes Kepler University Linz, Austria

continued in next column 38 2013 SIAM Conference on Applied Algebraic Geometry

Saturday, August 3 Saturday, August 3 4:30-4:55 Fraction-Free Polynomial Arithmetic with Interpolation Bases IP6 MS63 George Labahn, University of Waterloo, Canada Cluster Algebra and Formulas in Interpolation - 5:00-5:25 Divided Differences and Complex Volume of Knots Part II of III Combinatorial Nullstellensatz 2:00 PM-3:00 PM 3:30 PM-5:30 PM Géza Kós and Lajos Rónyai, Hungarian Academy of Sciences, Hungary; Room:Andrew G. Clark Building – A101 Room:Andrew G. Clark Building – A102 Tamás Mészáros, Central European Chair: Jan Draisma, Technische For Part 1 see MS50 University, Hungary Universiteit Eindhoven, The Netherlands For Part 3 see MS76 This minisymposium focuses on The cluster algebra was introduced by interpolation in Computational Algebra Fomin and Zelevinsky around 2000. and Algebraic Geometry. Interpolation The characteristic operation in the has proven to be a very effective tool for algebra called `mutation’ is related to both computational and also theoretical various notions in mathematics and purposes. From reconstructing defining mathematical physics. In this talk I polynomials of algebraic varieties review a basics of the cluster algebra, to giving closed formulas for these and introduce its application to study the polynomials, the goal of the meeting complex volume, (hyperbolic volume) will be to understand the connections + i (Chern-Simons invariant), of knot between the geometric and the algebraic 3 complements in S . We formulate the counterpart of interpolation, and also ideal tetrahedral decomposition of to explore generalized interpolation hyperbolic 3-manifolds in terms of methods (such as Birkhoff interpolation the cluster algebra, where a mutation and its multivariate versions). Specific produces an ideal tetrahedron. This talk topics included: -- closed formulas in is based on joint work with Kazuhiro interpolation -- solvability (of Hermite- Hikami (Kyushu University). Birkhoff type) interpolation problems Rei Inoue -- rational interpolation problems -- Chiba University, Japan relations to the theory of subresultants and Schur functions -- Alexander- Hirschowitz type theorems Organizer: Carlos D’Andrea Universitat de Barcelona, Spain Coffee Break Organizer: Teresa Krick 3:00 PM-3:30 PM Universidad de Buenos Aires, Argentina Room:Andrew G. Clark Building – Organizer: Agnes Szanto Clark A Wing North Carolina State University, USA 3:30-3:55 Interpolation and Walks on the Hilbert Scheme Bernard Mourrain, INRIA Sophia Antipolis, France 4:00-4:25 Subresultants, Sylvester Sums and the Rational Interpolation Problem Carlos D’Andrea, Universitat de Barcelona, Spain; Teresa Krick, Universidad de Buenos Aires, Argentina; Agnes Szanto, North Carolina State University, USA

continued in next column 2013 SIAM Conference on Applied Algebraic Geometry 39

Saturday, August 3 Saturday, August 3 Saturday, August 3 MS64 MS65 MS66 Applications of Applications of Numerical Approximation Theory, Computational and Algebraic Geometry - Part Geometric Modeling, and Numerical Algebraic II of II Algebraic Geometry - Geometry to Theoretical 3:30 PM-6:00 PM Part II of III Physics - Part I of II Room:Andrew G. Clark Building – A104 3:30 PM-6:00 PM 3:30 PM-6:00 PM For Part 1 see MS52 Room:Andrew G. Clark Building – A201 Room:Andrew G. Clark Building – A103 This minisymposium will feature For Part 1 see MS53 experts in the various applications of For Part 2 see MS78 For Part 3 see MS79 Symbolic Algebraic Geometry (AG) numerical algebraic geometry both Piecewise-defined polynomials play an methods have been used in theoretical within and outside algebraic geometry. important role in both Approximation physics for quite some time now. Approximately half of the speakers will Theory and in Geometric Modeling. Recently, numerical AG have also focus on applications within algebraic This not only connects these fields, been used to solve more complicated geometry, such as fast parameter but enables the use of methods from problems arising in Physics. Though a homotopies, exceptional mechanisms. Algebraic Geometry and Commutative huge amount of activities in applying The other half of the speakers will focus Algebra to be applied to problems the AG methods have been happening on the use of continuation methods in arising in Geometric Modeling in recent years, the related communities problems outside numerical algebraic and Approximation Theory. This of physicists and mathematicians seem geometry, in areas such as nonlinear minisymposium will feature work to have no formal interactions. The PDEs, tumor growth models, and highlighting interactions between these minisymposium will bring both the maximum likelihood estimation. The fields. communities together in the hope of common thread between all talks will be Organizer: Luis Garcia starting a stimulating interaction among the use of numerical algebraic geometry Sam Houston State University, USA methods and software. the communities for the benefits of both. Organizer: Frank Sottile Organizer: Yang-Hui He Organizer: Wenrui Hao Texas A&M University, USA University of Notre Dame, USA University of Oxford, United Kingdom 3:30-3:55 Representation of Surface 3:30-3:55 Applications of Homotopy Organizer: Dhagash Mehta Pencil with A Common Line of Method to Nonlinear Pdes Syracuse University, USA Curvature Wenrui Hao, University of Notre Dame, Chungang Zhu, Caiyun Li, and 3:30-3:55 Numerical Algebraic USA Renhong Wang, Dalian University of Geometry and Potential Energy Landscapes 4:00-4:25 Chebyshev Method for a Technology, China Free Boundary Problem Modeling Dhagash Mehta, Syracuse University, 4:00-4:25 Towards an Algebra for Tumor Growth USA Rational Curves and Surfaces in Two Oliver Kernell, University of Notre and Three Dimensions 4:00-4:25 Integrand Reduction of Dame, USA Ron Goldman, Rice University, USA High-loop Scattering Amplitudes via Computational Algebraic Geometry 4:30-4:55 Numerical Algebraic 4:30-4:55 Toric Degenerations of Yang Zhang, Niels Bohr Institute, Geometry in Algebraic Statistics (irrational) Bezier Patches Jose Rodriguez, University of Denmark Luis D. Garcia-Puente, Sam Houston California, Berkeley, USA State University, USA; Frank Sottile, 4:30-4:55 Supersymmetric Hidden Sectors for Heterotic Standard Models 5:00-5:25 Paramotopy: Parallel Texas A&M University, USA; Burt Ovrut, University of Pennsylvania, Parameter Homotopy Software Chungang Zhu, Dalian University of Through Bertini USA Technology, China; Elisa Postinghel, Daniel A. Brake, Colorado State Polish Academy of Sciences, Poland; 5:00-5:25 Algebraic Geometry and University, USA Nelly Villamizar, Johann Radon the Search for Calabi-Yau Manifolds Institute for Computational and with Large Volume Vacua 5:30-5:55 A Web Interface for Brent Nelson, , PHCpack Applied Mathematics, Austria Jan Verschelde and Xiangcheng Yu, USA University of Illinois, Chicago, USA 5:30-5:55 Calabi-Yau 3-folds. Collect them all! continued on next page Ross Altman, Northeastern University, USA 40 2013 SIAM Conference on Applied Algebraic Geometry

Saturday, August 3 Saturday, August 3 Saturday, August 3 MS66 MS67 MS68 Approximation Theory, Coding Theory and Computational Aspects of Geometric Modeling, and Geometry - Part II of III Moving Frames - Part II of III Algebraic Geometry - 3:30 PM-5:30 PM 3:30 PM-6:00 PM Part II of III Room:Andrew G. Clark Building – A202 Room:Andrew G. Clark Building – A203 continued For Part 1 see MS42 For Part 1 see MS55 For Part 3 see MS80 For Part 3 see MS81 Topics include codes constructed with Moving frame methods are extensively 5:00-5:25 Wachspress Varieties algebraic curves, linear codes over fields used in differential geometry and applied Frank Sottile, Texas A&M University, and over rings, and subspace codes, with mathematics. They find numerous USA; Corey Irving, Santa Clara applications to polar coding, network applications in engineering and sciences, University, USA; Henry Schenck, coding and index coding. and this trend has been strengthened in the University of Illinois, USA; Gregory last decade with the emergence of pragmatic G. Smith, Queen’s University, Canada Organizer: Iwan Duursma University of Illinois at Urbana- algebraic approaches to the computations 5:30-5:55 Kolmogorov’s Problem Champaign, USA involved. This minisymposium will be on the Class of Multiply Monotone concerned with methods and algorithms Functions Organizer: Elisa Gorla available for computing differential Yuliya Babenko, Kennesaw State University of Neuchatel, Switzerland invariants and finite difference invariants of University, USA; Vladislav Babenko Organizer: Joachim Rosenthal transformation groups along with techniques and Oleg Kovalenko, Dnipropetrovsk Universität Zürich, Switzerland used to analyze their associated algebraic State University, Ukraine 3:30-3:55 On the Number of structures. Applications and implementations Constacyclic Codes on a Class of of these ideas to geometric problems will Local Finite Frobenius Rings also be considered. Horacio Tapia-Recillas, UAM, Mexico Organizer: Francis Valiquette 4:00-4:25 GF(q)-Linear Codes over Dalhousie University, Canada GF(qt) Organizer: Evelyne Hubert Cary Huffman, Loyola University of INRIA Méditerranée, France Chicago, USA 3:30-3:55 Induced Curvature Flow and 4:30-4:55 Geometric Perspective on Integrability Alternant Codes Evelyne Hubert, INRIA Méditerranée, Kyle Marshall, University of Zurich, France; Peter van der Kamp, University of Switzerland La Trobe, Australia 5:00-5:25 Graph Based Codes for 4:00-4:25 Pseudo-spherical Twisted Flash Memories Columns Christine A. Kelley and Kathryn Emilio Musso, Politecnico di Torino, Italy Haymaker, University of Nebraska, Lincoln, USA 4:30-4:55 Calculations in the Lie Invariant Calculus of Variations - the General Case Elizabeth Mansfield, University of Kent, United Kingdom; Tania Goncalves, Universidade Federal de Sao Carlos, Brazil 5:00-5:25 Holomorphic Differentials and Laguerre deformation of surfaces Lorenzo Nicolodi, Universita degli Studi di Parma, Italy 5:30-5:55 Symbolic Computation of Lax Pairs of Systems of Partial Difference Equations Using Consistency Around the Cube Willy A. Hereman and Terry Bridgman, Colorado School of Mines, USA 2013 SIAM Conference on Applied Algebraic Geometry 41

Saturday, August 3 Saturday, August 3 Saturday, August 3 MS69 MS70 MS71 Algebraic Geometry of Effective Methods in Hyperbolic Polynomials - Tensor Decompositions - D-modules and Singularities - Part I of II Part III of III Part I of II 3:30 PM-6:00 PM 3:30 PM-6:00 PM 3:30 PM-6:00 PM Room:Andrew G. Clark Building – A207 Room:Andrew G. Clark Building – A204 Room:Andrew G. Clark Building – A205 For Part 2 see MS84 For Part 2 see MS44 For Part 2 see MS83 Hyperbolic polynomials are real We are interested in various aspects of D-modules, the modules over the ring polynomials in several variables tensor decompositions studied under the of K-linear differential operators on the characterized by a simple reality light of algebraic geometry --- complex, coordinate ring of a variety over a field K, condition on the zeros. Interest in real, convex, and tropical. have become an important tool to study hyperbolic polynomials originates in PDE theory, but they have been Organizer: Lek-Heng Lim singularities. Branches of this development studied in several different areas of University of Chicago, USA include hypergeometric systems, Bernstein- -Sato ideals, local cohomology theory and mathematics: 1) in real algebraic 3:30-3:55 Algorithms for Tensor connections with the action of Frobenius. geometry, in particular with respect to Decomposition via Numerical their determinantal representations; 2) in Homotopy and Optimization This minisymposium will bring together convex optimization, where hyperbolic Chris Peterson, Colorado State experts in the quantitative treatment of these programming is a natural generalization University, USA methods who will discuss new techniques and results in this emerging field. of semidefinite programming; 3) in 4:00-4:25 Eigenvectors of Tensors and matroid theory, in connection with the Organizer: Claudiu Raicu Waring Decomposition half-plane property. Progress in each Princeton University, USA Luke Oeding, University of California, of these areas has been rapid in recent Berkeley, USA; Giorgio Ottaviani, Organizer: Karl Schwede years and there has been a very fruitful University of Firenze, Italy Pennsylvania State University, USA exchance of ideas, which we hope to 4:30-4:55 Computational Complexity Organizer: Uli Walther further in this minisymposium. and Linear Preservers Purdue University, USA Organizer: Tim Netzer Ke Ye and Lek-Heng Lim, University of 3:30-3:55 F-jumping Numbers of University of Leipzig, Germany Chicago, USA Homogeneous Polynomials Organizer: Daniel Plaumann 5:00-5:25 Tensor Network Daniel Hernandez, University of University of Konstanz, Germany Decompositions Minnesota, USA; Luis C. Núñez- Jason Morton, Pennsylvania State Betancourt, University of Michigan, Organizer: Victor Vinnikov University, USA USA; Emily E. Witt, University of Ben Gurion University Negev, Israel 5:30-5:55 Real Rank of Real Minnesota, USA; Wenliang Zhang, 3:30-3:55 Determinantal Symmetric Tensors University of Nebraska, USA Representations of Singular n Greg Blekherman, Georgia Institute of Hypersurfaces in P 4:00-4:25 A Stopping Condition to Dmitry Kerner, Ben Gurion University Technology, USA Compute Test Ideals and F-Jumping Negev, Israel Numbers Luis C. Núñez-Betancourt, University of 4:00-4:25 Boolean Matrices with Michigan, USA; Daniel Hernandez and Prescribed Row and Column Sums, Emily E. Witt, University of Minnesota, Associated Partition Functions and USA Hyperbolic Polynomials Leonid Gurvits, Los Alamos National 4:30-4:55 Bernstein-Sato Ideals Laboratory, USA Nero Budur, University of Notre Dame, USA 4:30-4:55 Primal-Dual Algorithms for Optimization over Hyperbolicity 5:00-5:25 An Algorithm to Find Cones Annihilators of Artinian Modules James M. Renegar, , Compatible with a Frobenius Map USA Wenliang Zhang, University of Nebraska, USA; Mordechai Katzman, University of Sheffield, United Kingdom continued on next page 5:30-5:55 Modularity and the Reciprocal Plane Graham Denham, University of Western Ontario, Canada 42 2013 SIAM Conference on Applied Algebraic Geometry

Saturday, August 3 Saturday, August 3 Saturday, August 3 MS71 MS72 MS73 Hyperbolic Polynomials - Exact Linear Algebra - Number Theory and Curves Part I of II Part I of II - Part II of III continued 3:30 PM-5:30 PM 3:30 PM-6:00 PM Room:Andrew G. Clark Building – Room:Willard O. Eddy Hall - 106 C146 For Part 1 see MS60 5:00-5:25 Hyperbolic Cone For Part 2 see MS85 For Part 3 see MS86 Programming: Structure and Interior- Exact linear algebra is a core The minisymposia focus on important Point Algorithms component in most intensive algebraic topics about the arithmetic of curves Levent Tuncel, University of Waterloo, computations. Reducing computations including statistics associated with Canada to fast linear algebra is often a way to function field extensions, computations 5:30-5:55 Norm-constrained improve asymptotic time complexities for elliptic and hyperelliptic curves, and Determinantal Representations of but also to speed-up computations rational points on curves. Multivariable Polynomials in practice. These two sessions will Dmitry Kaliuzhnyi-Verbovetskyi, Drexel Organizer: Rachel Pries address some of the recent advances in Colorado State University, USA University, USA algorithms (relaxed lifting techniques Organizer: Iwan Duursma and fast polynomial matrix arithmetic) University of Illinois at Urbana- and implementations (parallelizations). Champaign, USA The focus will will also be put on some successful applications in cryptology 3:30-3:55 A Lutz-Nagell Theorem for (elimination over F2 ; LWE), coding Hyperelliptic Curves theory (polynomial lattice reductions) David Grant, University of Colorado and homology computations (local Boulder, USA Smith forms). 4:00-4:25 Improved Scalar Multiplication on Hyperelliptic Curves Organizer: Clément Pernet Michael Jacobson, University of Université de Grenoble I, France Calgary, Canada Organizer: Martin Albrecht 4:30-4:55 p-Adic Height Pairings Technical University of Denmark, and Integral Points on Hyperelliptic Denmark Curves Organizer: Pascal Giorgi Jennifer Balakrishnan, Harvard Universite de Montpellier II, France University, USA; Amnon Besser, 3:30-3:55 Linear Algebra with Errors: University of Oxford, United On the Complexity of the Learning Kingdom; J. Steffen Mueller, with Errors Problem Universitat Hamburg, Germany Martin Albrecht, Technical University of 5:00-5:25 Real Hyperelliptic Curves of Denmark, Denmark Genus 2 4:00-4:25 Fast Matrix Decomposition Stefan Erickson, Colorado College, USA in F2 5:30-5:55 Effective Chabauty for Enrico Bertolazzi, Universita di Trento, symmetric Powers of Curves Italy; Anna Rimoldi, Università di Jennifer Park, Massachusetts Institute of Trento, Italy Technology, USA 4:30-4:55 Relaxed Hensel Lifting for Dense, Sparse and Structured Linear System Solving Romain Lebreton, Universite de Montpellier II, France 5:00-5:25 Rational Linear Solvers and Local Smith Forms and How They Apply to Homology Computation David Saunders, University of Delaware, USA 2013 SIAM Conference on Applied Algebraic Geometry 43

Saturday, August 3 Saturday, August 3 Saturday, August 3 MS74 MS75 Intermission Applied and Computational Applications to the Life 6:00 PM-6:10 PM Topology - Part III of III and Physical Sciences - 3:30 PM-6:00 PM Part I of II Room:Willard O. Eddy Hall - 107 3:30 PM-6:00 PM Forward Looking For Part 2 see MS48 Room:Willard O. Eddy Hall - 108 Session Applied and computational topology For Part 2 see MS87 6:10 PM-7:10 PM is a vibrant research area that’s gained Algebraic geometry has proved to be a Room:Andrew G. Clark Building – A101 momentum over the last decade. A rich resource for the life and physical core aim is data analysis by way of sciences. For example, tools within the Chair: Alicia Dickenstein, Universidad understanding the shape of the data. To field have been used to identify genetic de Buenos Aires, Argentina devise robust techniques, researchers mutations, predict the secondary and Chair: Anton Leykin, Georgia Institute of are interested in questions of stability tertiary structure of molecules, model Technology, USA of topological descriptors. To process regulatory and signaling pathways, and modern datasets, the field is interested analyze models of evolutionary history. Panelists: in efficient algorithms. The goal of the We aim to showcase its impact in the Yuliy Baryshnikov minisymposium is to create a forum sciences and how it is being transformed University of Illinois at Urbana- for young researchers to present recent by such interactions. Champaign, USA developments in the field. Organizer: Brandilyn Stigler Greg Blekherman Organizer: Dmitriy Morozov Southern Methodist University, USA Georgia Institute of Technology, USA Lawrence Berkeley National Organizer: Matthew Macauley Sandra Di Rocco Laboratory, USA Clemson University, USA KTH Stockholm, Sweden Organizer: Mikael Vejdemo 3:30-3:55 Algebraic Geometry in Olga Holtz Johansson the Life and Physical Sciences: Past, University of California, Berkeley, USA University of St. Andrews, United Present, and Future and Technische Universitat Berlin, Kingdom Brandilyn Stigler, Southern Methodist Germany 3:30-3:55 Homological Algebra over University, USA; Matthew Macauley, Semirings for Optimization Clemson University, USA Rei Inoue Sanjeevi Krishnan, University of Suzuka University of Medical Science, 4:00-4:25 Detection of De Novo Copy Japan Pennsylvania, USA Number Variants from Whole Exome 4:00-4:25 Multicore Homology Sequencing Data Damien Stehlé Ryan Lewis, Stanford University, USA Mingfu Zhu and Yongzhuang Liu, Duke École Normale Supérieure de Lyon, University, USA France 4:30-4:55 Inferring Dynamics with Perisistence 4:30-4:55 Reverse Engineering Ravi Vakil Primoz Skraba, Jozef Stefan Institute, Functional Networks of the Human Stanford University, USA Slovenia Brain within the Polynomial Dynamical Systems Framework Carsten Wiuf 5:00-5:25 Evasion Paths in Mobile Paola Vera-Licona, Institut Curie, France University of Copenhagen, Denmark Sensor Networks Henry Adams and Gunnar E. Carlsson, 5:00-5:25 Algebraic Geometry of Stanford University, USA Partially Nested Canalyzing Functions Qijun He, Clemson University, USA 5:30-5:55 Spaces of Shapes: Creating Moduli Spaces of Chemical 5:30-5:55 Hodge-Kodaira Compounds for Drug Discovery Decomposition of Evolving Neural Anthony Bak, Stanford University, USA Networks Keiji Miura, Tohoku University, Japan; Takaaki Aoki, Kagawa University, Japan 44 2013 SIAM Conference on Applied Algebraic Geometry

Sunday, August 4 Sunday, August 4 Sunday, August 4 MS61 IP7 Symbolic Combinatorics - Speeding up Lattice Part III of III Registration Reduction with Numerical 10:00 AM-12:00 PM 7:30 AM-2:00 PM Linear Algebra Techniques Room:Willard O. Eddy Hall - 107 Room:Andrew G. Clark Building – Clark 8:30 AM-9:30 AM A Wing For Part 2 see MS36 Room:Andrew G. Clark Building – A101 In recent years algorithms and software have been developed that Chair: Joachim Rosenthal, Universität allow researchers to discover and Announcements Zürich, Switzerland verify combinatorial identities as well 8:20 AM-8:30 AM A lattice is the set of all integer as understand analytic and algebraic linear combinations of some linearly properties of generating functions. Room:Andrew G. Clark Building – A101 independent vectors. Visually, it is an The interaction of combinatorics infinite grid of regularly spaced points. and symbolic computation has had a Lattices have many applications in beneficial impact on both fields. This computer science. For example, they minisymposium will feature 12 speakers frequently appear in computer algebra describing recent research combining (e.g., to factor rational polynomials), these areas. and in cryptography (both to break and Organizer: Manuel Kauers design cryptographic protocols). The RISC, Austria LLL algorithm, named after its authors Arjen Lenstra, Hendriz Lenstra and Organizer: Michael Singer László Lovász, enables the computation North Carolina State University, USA of a good representation, or basis, of 10:00-10:25 Symbolic Summation for a given lattice: This representation Combinatorial and Physical Problems provides decent intrinsic information Carsten Schneider, Johannes Kepler on the lattice under scope. Numerous University Linz, Austria applications were found right after the 10:30-10:55 Open Combinatorial discovery of the LLL algorithm, which Problems Arising from New Sequences motivated the search of algorithmic in the OEIS improvements. Today, the most efficient Neil Sloane, OEIS Foundation, USA approach relies, internally, on low 11:00-11:25 Valuations of Sequences: precision floating-point computations, Examples in Search of a Theory leading to a numeric-algebraic hybrid VIctor Moll, Tulane University, USA algorithm. In this talk, I will first give 11:30-11:55 Order-Degree Bounds for an introduction to lattices, and then Recurrence and Differential Operators describe the hybrid numeric-algebraic Shaoshi Chen, North Carolina State approach underlying the modern University, USA; Maximilian variants of the LLL algorithm. This Jaroschek and Manuel Kauers, talk relies on joint works with Xiao- Johannes Kepler University Linz, Wen Chang, Phong Nguyen, Andrew Austria; Michael Singer, North Novocin, Ivan Morel and Gilles Carolina State University, USA Villard Damien Stehlé École Normale Supérieure de Lyon, France

Coffee Break 9:30 AM-10:00 AM Room:Andrew G. Clark Building – Clark A Wing 2013 SIAM Conference on Applied Algebraic Geometry 45

Sunday, August 4 11:00-11:25 Reducing Implicitization Sunday, August 4 to Interpolation via Support Prediction MS76 Christos Konaxis, University of Crete, MS77 Greece; Ioannis Z. Emiris, National Formulas in Interpolation - and Kapodistrian University of Tensor Networks Part III of III Athens, Greece; Tatjana Kalinka, 10:00 AM-11:30 AM 10:00 AM-12:00 PM University of Athens, Greece; Thang Room:Andrew G. Clark Building – A103 Luu Ba, Hanoi National University of Room:Andrew G. Clark Building – A102 Education, Vietnam The speakers will explore the use For Part 2 see MS63 of tensor networks in physics and 11:30-11:55 Remarks on Nagata’s This minisymposium focuses on connections to invariant theory and the Conjecture algebraic statistics of graphical models. interpolation in Computational Algebra Rick Miranda, Colorado State and Algebraic Geometry. Interpolation University, USA Organizer: Jason Morton has proven to be a very effective tool for Pennsylvania State University, USA both computational and also theoretical 10:00-10:25 Tensor Networks purposes. From reconstructing defining Jason Morton, Pennsylvania State polynomials of algebraic varieties University, USA to giving closed formulas for these polynomials, the goal of the meeting 10:30-10:55 Invariant Theory for Matrix will be to understand the connections Product States Jacob Biamonte, ISI Torino, Italy between the geometric and the algebraic counterpart of interpolation, and also 11:00-11:25 Contracting Tensor to explore generalized interpolation Networks methods (such as Birkhoff interpolation Jacob Turner, Pennsylvania State and its multivariate versions). Specific University, USA topics included: -- closed formulas in interpolation -- solvability (of Hermite- Birkhoff type) interpolation problems -- rational interpolation problems -- relations to the theory of subresultants and Schur functions -- Alexander- Hirschowitz type theorems Organizer: Carlos D’Andrea Universitat de Barcelona, Spain Organizer: Teresa Krick Universidad de Buenos Aires, Argentina Organizer: Agnes Szanto North Carolina State University, USA 10:00-10:25 Subresultants in Multiple Roots and Connections to Hermite- Birkhoff Interpolation Carlos D’Andrea, Universitat de Barcelona, Spain; Teresa Krick, Universidad de Buenos Aires, Argentina; Agnes Szanto, North Carolina State University, USA 10:30-10:55 Polynomial Interpolation and Sums of Powers Giorgio Ottaviani, University of Firenze, Italy; Chiara Brambilla, Politecnico delle Marche, Ancona, Italy

continued in next column 46 2013 SIAM Conference on Applied Algebraic Geometry

Sunday, August 4 Sunday, August 4 Sunday, August 4 MS78 MS79 MS80 Applications of Approximation Theory, Coding Theory and Computational and Geometric Modeling, and Geometry - Part III of III Numerical Algebraic Algebraic Geometry - 10:00 AM-12:30 PM Geometry to Theoretical Part III of III Room:Andrew G. Clark Building – A202 Physics - Part II of II 10:00 AM-12:00 PM For Part 2 see MS67 10:00 AM-12:00 PM Room:Andrew G. Clark Building – A201 Topics include codes constructed with algebraic curves, linear codes over fields Room:Andrew G. Clark Building – A104 For Part 2 see MS66 and over rings, and subspace codes, with For Part 1 see MS64 Piecewise-defined polynomials play an important role in both Approximation applications to polar coding, network Symbolic Algebraic Geometry (AG) coding and index coding. methods have been used in theoretical Theory and in Geometric Modeling. physics for quite some time now. This not only connects these fields, Organizer: Iwan Duursma Recently, numerical AG have also been but enables the use of methods from University of Illinois at Urbana- used to solve more complicated problems Algebraic Geometry and Commutative Champaign, USA arising in Physics. Though a huge amount Algebra to be applied to problems Organizer: Elisa Gorla of activities in applying the AG methods arising in Geometric Modeling University of Neuchatel, Switzerland and Approximation Theory. This have been happening in recent years, the Organizer: Joachim Rosenthal minisymposium will feature work related communities of physicists and Universität Zürich, Switzerland mathematicians seem to have no formal highlighting interactions between these fields. 10:00-10:25 Partitions of Frobenius interactions. The minisymposium will Rings Induced by the Homogeneous bring both the communities together Organizer: Luis D. Garcia-Puente Weight in the hope of starting a stimulating Sam Houston State University, USA Heide Gluesing-Luerssen, University of interaction among the communities for Organizer: Frank Sottile Kentucky, USA the benefits of both. Texas A&M University, USA 10:30-10:55 Colorability of Organizer: Yang-Hui He 10:00-10:25 Some Algebraic Hypergraphs Using Commutative University of Oxford, United Kingdom Problems in Polynomial Interpolation Algebra Organizer: Dhagash Mehta Boris Shekhtman, University of South Lubos Thoma and Michael Krul, Syracuse University, USA Florida, USA University of Rhode Island, USA 10:00-10:25 Vector Bundles, Calabi- 10:30-10:55 Special Positions of Body- 11:00-11:25 Partial Spreads in Yau Threefolds and the Heterotic String and-cad Frameworks Network Coding Yang-Hui He, University of Oxford, Jessica Sidman and Ruimin Cai, Mount Alberto Ravagnani and Elisa Gorla, United Kingdom Holyoke College, USA; James Farre, University of Neuchatel, Switzerland University of Texas, Austin, USA; 10:30-10:55 Title Not Available at Time 11:30-11:55 Efficient Representation of Publication Audrey Lee-St.John, Mount Holyoke for the Trace Zero Subgroup via Amihay Hanany, Imperial College College, USA; Louis Theran, Freie Rational Functions London, United Kingdom Universitat Berlin, Germany Elisa Gorla, University of Neuchatel, Switzerland; Maike Massierer, 11:00-11:25 New Moduli Spaces of 11:00-11:25 Linear Obstructions for n University of Basel and University of Brane Tilings on Riemann Surfaces Linear Systems in P Neuchatel, Switzerland Rak-Kyeong Seong, Imperial College Elisa Postinghel, Polish Academy of London, United Kingdom Sciences, Poland; Chiara Brambilla, 12:00-12:25 An MQ/Code Politecnico delle Marche, Ancona, Cryptosystem Proposal 11:30-11:55 Generalized T-duality, Italy; Olivia Dumitrescu, University Leonard Schulman, California Institute String Theory and the Real World’ of California, Davis, USA of Technology, USA; Jonathan Hall, Djordje Minic, Virginia Tech, USA 11:30-11:55 Classification of Planar Michigan State University, USA Pythagorean Hodograph Quintics Zbynek Sir, Charles University, Prague, Czech Republic 2013 SIAM Conference on Applied Algebraic Geometry 47

Sunday, August 4 Sunday, August 4 Sunday, August 4 MS81 MS82 MS83 Computational Aspects Algebraic Geometry, Effective Methods in of Moving Frames - Moment Problems and D-modules and Singularities- Part III of III CANCELLED Applications Part II of II 10:00 AM-12:30 PM 10:00 AM-12:30 PM 10:00 AM-12:30 PM Room:Andrew G. Clark Building – A203 Room:Andrew G. Clark Building – A204 Room:Andrew G. Clark Building – A205 For Part 2 see MS68 Moments matrices appear in For Part 1 see MS70 Moving frame methods are extensively different algebraic problems: D-modules, the modules over the ring used in differential geometry and tensor decomposition, exponential of K-linear differential operators on the applied mathematics. They find polynomials, optimization, curbature coordinate ring of a variety over a field K, numerous applications in engineering formulas, ... The aim of this mini- have become an important tool to study and sciences, and this trend has been symposium is to present different singularities. Branches of this development strengthened in the last decade with contexts in applied algebraic geometry include hypergeometric systems, the emergence of pragmatic algebraic where these mathematical objects are Bernstein--Sato ideals, local cohomology approaches to the computations involved and how they are used to solve theory and connections with the action involved. This minisymposium will be algebraic or geometric problems. of Frobenius. This minisymposium will concerned with methods and algorithms Organizer: Bernard Mourrain bring together experts in the quantitative availablecancelled for computing differential INRIA Sophia Antipolis, France treatment of these methods who will invariants and finite difference discuss new techniques and results in this invariants of transformation groups 10:00-10:25 Moment Matrices and emerging field. Applications along with techniques used to analyze Annie Cuyt and Wen-shin Lee, Organizer: Claudiu Raicu their associated algebraic structures. University of Antwerp, Belgium Princeton University, USA Applications and implementations of these ideas to geometric problems will 10:30-10:55 Shape from Moments Organizer: Karl Schwede also be considered. Dmitrii Pasechnik, NTU Singapore, Pennsylvania State University, USA Singapore Organizer: Francis Valiquette Organizer: Uli Walther Dalhousie University, Canada 11:00-11:25 A Semidefinite Approach Purdue University, USA to the K Cover Problem 10:00-10:25 A Charaterization of Organizer: Evelyne Hubert i Joao Gouveia, Universidade de F-jumping Numbers INRIA Méditerranée, France Coimbra, Portugal; James Pfeiffer, Felipe Perez, University of Michigan, University of Washington, USA USA 11:30-11:55 Truncated Moment 10:30-10:55 Differential Operators and Problems, Extensions, and Positivity Invariant Theory Lawrence A. Fialkow, State University Will Traves, United States Naval of New York, New Paltz, USA Academy, USA 12:00-12:25 Quadratic Forms, Flat 11:00-11:25 Explicit formulas for F-pure Extensions and Applications Thresholds and Roots of Bernstein-Sato Bernard Mourrain, INRIA Sophia Polynomials Antipolis, France Emily E. Witt, University of Minnesota, USA; Daniel Hernández, Mathematical Sciences Research Institute, Berkeley, USA 11:30-11:55 Torus Invariants and Binomial D-Modules Christine Berkesch, Duke University, USA; Laura Felicia Matusevich, Texas A&M University, USA; Uli Walther, Purdue University, USA 12:00-12:25 Transformations of Hypergeometric Functions Laura Matusevich, Texas A&M University, USA; Jens Forsgaard, Stockholm University, Sweden 48 2013 SIAM Conference on Applied Algebraic Geometry

Sunday, August 4 Sunday, August 4 Sunday, August 4 MS84 MS85 MS86 Hyperbolic Polynomials - Exact Linear Algebra - Number Theory and Curves - Part II of II Part II of II Part III of III 10:00 AM-12:30 PM 10:00 AM-12:30 PM 10:00 AM-12:00 PM Room:Andrew G. Clark Building – A207 Room:Andrew G. Clark Building – C146 Room:Willard O. Eddy Hall - 106 For Part 1 see MS71 For Part 1 see MS72 For Part 2 see MS73 Hyperbolic polynomials are real Exact linear algebra is a core component The minisymposia focus on important polynomials in several variables in most intensive algebraic computations. topics about the arithmetic of curves characterized by a simple reality Reducing computations to fast linear including statistics associated with condition on the zeros. Interest in algebra is often a way to improve function field extensions, computations hyperbolic polynomials originates asymptotic time complexities but also to for elliptic and hyperelliptic curves, and in PDE theory, but they have been speed-up computations in practice. These rational points on curves. studied in several different areas of two sessions will address some of the Organizer: Rachel Pries mathematics: 1) in real algebraic recent advances in algorithms (relaxed Colorado State University, USA geometry, in particular with respect to lifting techniques and fast polynomial Organizer: Iwan Duursma their determinantal representations; 2) in matrix arithmetic) and implementations University of Illinois at Urbana- convex optimization, where hyperbolic (parallelizations). The focus will will also Champaign, USA programming is a natural generalization be put on some successful applications of semidefinite programming; 3) in in cryptology (elimination over F2 ; 10:00-10:25 An Algorithm matroid theory, in connection with the LWE), coding theory (polynomial lattice for Computing Degrees of Parametrizations of Elliptic Curves by half-plane property. Progress in each reductions) and homology computations Shimura Curves (local Smith forms). of these areas has been rapid in recent Alyson Deines, University of Washington, years and there has been a very fruitful Organizer: Clément Pernet USA exchance of ideas, which we hope to Université de Grenoble I, France further in this minisymposium. 10:30-10:55 2-Adic Images of Galois Organizer: Martin Albrecht Representations Associated to Elliptic Organizer: Tim Netzer Technical University of Denmark, Curves over Q University of Leipzig, Germany Denmark David Zureick-Brown, Emory University, Organizer: Daniel Plaumann 10:00-10:25 Accelerating Block USA; Jeremy Rouse, Wake Forest University of Konstanz, Germany Wiedemann Implementation in LinBox University, USA Organizer: Victor Vinnikov Pascal Giorgi, Universite de Montpellier 11:00-11:25 Enumerating Abelian Ben Gurion University Negev, Israel II, France Varieties using Matrix Groups Cassie L. Williams, James Madison 10:00-10:25 Hyperbolicity Cones and 10:30-10:55 Simultaneous Computation Projections of Spectrahedra of Row and Column Rank Profiles University, USA Raman Sanyal, Freie Universitaet Clément Pernet, Université de Grenoble I, 11:30-11:55 Genus 2 Curves with Good Berlin, Germany France Reduction Away from p=3 Beth Malmskog, Colorado College, USA; 10:30-10:55 Hyperbolic Polynomials, 11:00-11:25 Parallel Exact Gaussian Interlacers, and Sums of Squares Elimination of Rank Deficient Matrices Chris Rasmussen, Wesleyan University, Cynthia Vinzant, University of Ziad Sultan, Grenoble University, France USA Michigan, USA 11:30-11:55 Lattice Reduction of 11:00-11:25 Stable Polynomials and Polynomial Matrices Sums of Squares in Matroid Theory Arne Storjohann, University of Waterloo, David Wagner, University of Waterloo, Canada Canada 12:00-12:25 On the Complexity 11:30-11:55 Combinatorics of of Multivariate Interpolation with Hyperbolic Polynomials Multiplicities and of Simultaneous Petter Branden, KTH Royal Institute of Polynomial Approximations Technology, Sweden Vincent Neiger, ENS Lyon, France; Muhammad F.I. Chowdhury, Western 12:00-12:25 Determinantal University, Canada; Claude-Pierre Representations of Projective Jeannerod, INRIA Rhone, France; Eric Hyperbolic Curves Schost, University of Western Ontario, Eli Shamovich, Ben Gurion University Canada; Gilles Villard, Ecole Normale Negev, Israel Superieure de Lyon, France 2013 SIAM Conference on Applied Algebraic Geometry 49

Sunday, August 4 Sunday, August 4 MS87 IP8 Applications to the Life Multivariate Polynomial and Physical Sciences - Interpolation provides Part II of II Surprising Combinatorial 10:00 AM-12:30 PM Insights: Zonotopal Algebra and Beyond Room:Willard O. Eddy Hall - 108 1:30 PM-2:30 PM For Part 1 see MS75 Algebraic geometry has proved to be a Room:Andrew G. Clark Building – A101 rich resource for the life and physical Chair: Anton Leykin, Georgia Institute of sciences. For example, tools within the Technology, USA field have been used to identify genetic I will survey recent developments mutations, predict the secondary and connecting multivariate polynomial tertiary structure of molecules, model interpolation, special polynomial regulatory and signaling pathways, and ideals, geometry and combinatorics analyze models of evolutionary history. of hyperplane arrangements, vector We aim to showcase its impact in the partition functions and matroid theory. sciences and how it is being transformed These connections originated in the by such interactions. theory of multivariate splines and led to Organizer: Brandilyn Stigler the construction of so-called zonotopal Southern Methodist University, USA algebra(s), which in turn shed light on Organizer: Matthew Macauley enumerative problems related to graphs Clemson University, USA and matroids. However, many interesting 10:00-10:25 Data Characterization and open questions remain. Identification for Network Inference Olga Holtz Elena S. Dimitrova, Clemson University, University of California, Berkeley, USA USA; Brandilyn Stigler, Southern and Technische Universitat Berlin, Methodist University, USA Germany 10:30-10:55 Geometric Approach to Learning Bayesian Networks with Applications to Biology David Haws, IBM T.J. Watson Research Center, USA 11:00-11:25 The Neural Ring: An Algebraic Tool for Analyzing Neural Codes Carina Curto, Vladimir Itskov, Alan Veliz-Cuba, and Nora Youngs, University of Nebraska, Lincoln, USA 11:30-11:55 Encoding Simplicial Complexes by Neural Networks Vladimir Itskov, Carina Curto, and Chad Giusti, University of Nebraska, Lincoln, USA 12:00-12:25 Exact Hypothesis Tests for Biological Network Data Ian Dinwoodie and Kruti Pandya, Portland State University, USA

Lunch Break 12:30 PM-1:30 PM Attendees on their own 50 2013 SIAM Conference on Applied Algebraic Geometry

Simulation, Optimization, and Identification in Solid Mechanics

August 4—August 15, 2014 Linz, Austria

The fifth Gene Golub SIAM Summer School, with a focus on solid mechanics, will take place at the Johann Radon Institute for Computational and Applied Mathematics (RICAM), located at the Johannes Kepler University in Linz, Austria. This summer school will foster advanced knowledge for the participating graduate students in several areas related to simulated materials in solid mechanics. Within this broad field the summer school will concentrate on four key issues, namely • identification of material parameters from measurements • material- and topology-optimization • optimization subject to variational inequalities • adaptive discretization The first two topics will provide a platform for in-depth discussions on the relation of the areas of identification and optimization. The third topic will augment the first two by providing insight into the behavior of those problems for which variational inequalities are required for the modeling of the materials. Finally, the summer school will look at adaptive discretization of optimization problems for the purpose of reducing the computational costs involved in the solution of the problems encountered in the first three key topics. The primary lecturers for these courses will be: • Roland Herzog, TU Chemnitz, Germany • Esther Klann, JKU Linz, Austria • Michael Stingl, FAU Erlangen-Nürnberg, Germany • Winnifried Wollner, University of Hamburg, Germany Applicants selected to participate pay no registration. Funding for local accommodations and meal expenses will be available for all participants. Limited travel funds are also available. Application deadline: February 1, 2014 For more details on the courses and on how to apply, go to:

http://www.math.uni-hamburg.de/g2s3

Sponsored by SIAM through an endowment from the estate of Gene Golub. For more information about prior summer schools go to www.siam.org/students/g2s3/

Society for Industrial and Applied Mathematics 3600 Market Street, 6th Floor • Philadelphia, PA 19104-2688 USA • +1-215-382-9800 • [email protected] • www.siam.org 2013 SIAM Conference on Applied Algebraic Geometry 51

AG13 Abstracts

Abstracts are printed as submitted by the authors. 11452 2013 SIAM Conference on Applied Algebraic Geometry

Notes 2013 SIAM Conference on Applied Algebraic Geometry 11553

Or­ganizer and Speaker Index 54116 2013 SIAM Conference on Applied Algebraic Geometry

A Bertolazzi, Enrico, MS72, 4:00 Sat Chen, Changbo, MS26, 10:00 Fri Abo, Hirotachi, MS7, 10:00 Thu Besana, Gianmario, MS3, 10:00 Thu Chen, Chao, MS30, 11:30 Fri Abo, Hirotachi, MS31, 10:00 Fri Besana, Gianmario, MS15, 3:30 Thu Chen, Tianran, MS27, 10:30 Fri Abo, Hirotachi, MS44, 5:30 Fri Besana, Gianmario, MS15, 5:00 Thu Chesi, Graziano, MS10, 11:30 Thu Abo, Hirotachi, MS56, 10:00 Sat Biamonte, Jacob, MS77, 10:30 Sun Chiantini, Luca, MS7, 10:00 Thu Achter, Jeff, MS16, 3:30 Thu Blekherman, Greg, IP2, 2:00 Thu Chou, Tung, MS54, 10:00 Sat Adams, Henry, MS74, 5:00 Sat Blekherman, Greg, MS9, 10:00 Thu Clelland, Jeanne, MS55, 10:30 Sat Adrovic, Danko, MS40, 4:00 Fri Blekherman, Greg, MS21, 3:30 Thu Collowald, Mathieu, MS59, 11:30 Sat Ahmadinezhad, Hamid, MS6, 12:00 Thu Blekherman, Greg, MS33, 10:00 Fri Compagnoni, Marco, MS62, 12:00 Sat Albrecht, Martin, MS72, 3:30 Sat Blekherman, Greg, MS69, 5:30 Sat Conradi, Carsten, MS13, 5:00 Thu Albrecht, Martin, MS72, 3:30 Sat Blekherman, Greg, PD1, 6:10 Sat Cook II, David, MS32, 10:30 Fri Albrecht, Martin, MS85, 10:00 Sun Bocci, Cristiano, MS7, 10:30 Thu Creutz, Brendan, MS41, 4:30 Fri Altman, Ross, MS64, 5:30 Sat Bock, Brandon W., PP1, 6:00 Thu Curry, Justin, MS48, 5:00 Fri Altmann, Klaus, MS57, 11:30 Sat Boehm, Janko, MS57, 10:00 Sat Curto, Carina, MS87, 11:00 Sun Anai, Hirokazu, MS37, 11:30 Fri Boutin, Mireille, MS18, 4:00 Thu Cuyt, Annie, MS82, 10:00 Sun Anderson, Sarah, MS42, 4:30 Fri Boyer, Brice B., MS59, 10:30 Sat Brake, Daniel A., MS65, 5:00 Sat D Arnold, Andrew, MS34, 11:30 Fri Daleo, Noah, MS27, 11:30 Fri Branden, Petter, MS9, 12:00 Thu Augot, Daniel, MS17, 3:30 Thu D’Andrea, Carlos, MS50, 10:00 Sat Branden, Petter, MS84, 11:30 Sun D’Andrea, Carlos, MS50, 10:00 Sat B Brown, Christopher, MS37, 12:00 Fri Babenko, Yuliya, MS66, 5:30 Sat D’Andrea, Carlos, MS63, 3:30 Sat Bucur, Alina, MS60, 10:00 Sat Backman, Spencer, MS12, 11:30 Thu D’Andrea, Carlos, MS76, 10:00 Sun Budur, Nero, MS70, 4:30 Sat Bak, Anthony, MS74, 5:30 Sat Davenport, James, MS2, 10:00 Thu Balakrishnan, Jennifer, MS73, 4:30 Sat C Davenport, James, MS26, 10:00 Fri Barone, Sal P., MS62, 10:00 Sat Cais, Bryden, MS16, 4:30 Thu Davidson, Ruth E., PP1, 6:00 Thu Baryshnikov, Yuliy, IP3, 8:30 Fri Carlsson, Gunnar E., MS30, 10:00 Fri Davis, Brent R., PP1, 6:00 Thu Baryshnikov, Yuliy, PD1, 6:10 Sat Cascudo, Ignacio, MS5, 11:30 Thu Davis, Brent R., MS40, 5:30 Fri Bates, Daniel J., MS52, 10:30 Sat Casesnoves, Francisco, PP1, 6:00 Thu Dayton, Barry H., MS3, 11:30 Thu Bauer, Aur’elie, MS46, 4:30 Fri Casesnoves, Francisco, PP1, 6:00 Thu Decker, Wolfram, MS57, 10:00 Sat Bauer, Ulrich, MS23, 4:30 Thu Catalisano, Maria Virginia, MS56, 10:00 Deines, Alyson, MS86, 10:00 Sun Sat Beck, Matthias, MS11, 11:00 Fri Denham, Graham, MS70, 5:30 Sat Cernohorská, Eva, CP1, 11:30 Thu Berger, Lisa, MS41, 3:30 Fri Derksen, Harm, MS44, 3:30 Fri Chan, Melody, MS12, 11:00 Thu Berkesch, Christine, MS31, 11:00 Fri Di Rocco, Sandra, IP4, 2:00 Fri Chandrasekaran, Venkat, MS14, 3:30 Di Rocco, Sandra, PD1, 6:10 Sat Berkesch, Christine, MS83, 11:30 Sun Thu Diaz-Castro, Jorge, PP1, 6:00 Thu Bernardi, Alessandra, MS7, 11:00 Thu Chandrasekaran, Venkat, MS14, 4:30 Bernstein, Dan, MS29, 10:00 Fri Thu Dickenstein, Alicia, MS38, 3:30 Fri Bernstein, Dan, MS54, 10:00 Sat Chen, Changbo, MS2, 10:00 Thu Dimitrova, Elena S., MS87, 10:00 Sun Bernstein, Daniel, MS54, 10:30 Sat Chen, Changbo, MS26, 10:00 Fri Ding, Jintai, MS29, 10:30 Fri

Italicized names indicate session organizers. 2013 SIAM Conference on Applied Algebraic Geometry 11755

Dinwoodie, Ian, MS87, 12:00 Sun Garcia-Puente, Luis D., MS79, 10:00 Hao, Wenrui, MS65, 3:30 Sat DiPasquale, Michael, MS53, 11:30 Sat Sun Hao, Wenrui, MS65, 3:30 Sat Dlotko, Pawel, MS23, 5:30 Thu Garton, Derek, MS60, 10:30 Sat Hauenstein, Jonathan, MS27, 10:00 Fri Dlotko, Pawel, MS30, 11:00 Fri Geiß, Florian, MS32, 11:00 Fri Hauenstein, Jonathan, MS27, 10:00 Fri Draisma, Jan, MS44, 4:00 Fri Gekhtman, Michael, MS24, 4:30 Thu Hauenstein, Jonathan, MS40, 3:30 Fri Drendel, Jesse W., PP1, 6:00 Thu Giesbrecht, Mark, MS34, 10:00 Fri Hauenstein, Jonathan, MS62, 11:30 Sat Drton, Mathias, MS25, 10:00 Fri Giesbrecht, Mark, MS34, 10:00 Fri Hausen, Jürgen, MS57, 10:30 Sat Drton, Mathias, MS51, 10:00 Sat Giesbrecht, Mark, MS59, 10:00 Sat Haws, David, MS87, 10:30 Sun Drton, Mathias, MS51, 10:30 Sat Ginensky, Adam, MS44, 5:00 Fri Haymaker, Kathryn, MS67, 5:00 Sat Ducoat, Jerome, MS17, 4:30 Thu Giorgi, Pascal, MS72, 3:30 Sat He, Qijun, MS75, 5:00 Sat Duursma, Iwan, MS5, 10:00 Thu Giorgi, Pascal, MS85, 10:00 Sun He, Yang-Hui, MS64, 3:30 Sat Duursma, Iwan, MS17, 3:30 Thu Gluesing-Luerssen, Heide, MS80, 10:00 He, Yang-Hui, MS78, 10:00 Sun Sun Duursma, Iwan, MS42, 3:30 Fri He, Yang-Hui, MS78, 10:00 Sun Gnacadja, Gilles, MS13, 3:30 Thu Duursma, Iwan, MS42, 5:30 Fri Hein, Nickolas, MS15, 4:00 Thu Gnacadja, Gilles, MS13, 5:30 Thu Duursma, Iwan, MS60, 10:00 Sat Heninger, Nadia, MS46, 5:00 Fri Gnacadja, Gilles, MS38, 3:30 Fri Duursma, Iwan, MS73, 3:30 Sat Hereman, Willy A., MS68, 5:30 Sat Goldman, Ron, MS66, 4:00 Sat Duursma, Iwan, MS67, 3:30 Sat Hering, Milena, MS28, 11:00 Fri Goncalves, Tania, MS68, 4:30 Sat Duursma, Iwan, MS80, 10:00 Sun Hernandez, Daniel, MS70, 3:30 Sat Gonzalez-Vega, Laureano, MS50, 10:30 Duursma, Iwan, MS86, 10:00 Sun Sat Hibi, Takayuki, MS39, 3:30 Fri Dynerman, David M., MS56, 10:30 Sat Gorla, Elisa, MS5, 10:00 Thu Hillar, Christopher, MS19, 5:30 Thu Gorla, Elisa, MS17, 3:30 Thu Hillar, Christopher, MS20, 3:30 Thu E Hinkelmann, Franziska B., MS25, 11:00 Eisenberg, Marisa, MS1, 10:00 Thu Gorla, Elisa, MS42, 3:30 Fri Fri England, Matthew, MS2, 11:00 Thu Gorla, Elisa, MS67, 3:30 Sat Hinkelmann, Franziska, MS32, 10:00 Erickson, Stefan, MS41, 3:30 Fri Gorla, Elisa, MS80, 10:00 Sun Fri Erickson, Stefan, MS73, 5:00 Sat Gorla, Elisa, MS80, 11:30 Sun Hodges, Timothy, MS29, 11:30 Fri Gouveia, Joao, MS33, 11:00 Fri Hofmann, Jan, MS6, 10:00 Thu F Gouveia, Joao, MS82, 11:00 Sun Feliu, Elisenda, MS13, 4:30 Thu Hollanti, Camilla, MS17, 5:00 Thu Grant, David, MS73, 3:30 Sat Fernández-Sánchez, Jesús, MS58, 11:00 Holtz, Olga, PD1, 6:10 Sat Sat Grieve, Nathan, MS8, 11:00 Thu Holtz, Olga, IP8, 1:30 Sun Ferrara, Matthew, MS18, 4:30 Thu Gross, Elizabeth, MS31, 10:00 Fri Howe, Everett W., MS4, 10:30 Thu Fialkow, Lawrence A., MS82, 11:30 Sun Gross, Elizabeth, MS45, 3:30 Fri Hubert, Evelyne, MS25, 11:30 Fri Friedland, Shmuel, MS19, 4:30 Thu Gubeladze, Joseph, MS28, 10:00 Fri Hubert, Evelyne, MS55, 10:00 Sat Gurvits, Leonid, MS71, 4:00 Sat Hubert, Evelyne, MS68, 3:30 Sat G Hubert, Evelyne, MS68, 3:30 Sat Garcia, Luis, MS53, 10:00 Sat H Huffman, Cary, MS67, 4:00 Sat Garcia, Luis, MS66, 3:30 Sat Hanany, Amihay, MS78, 10:30 Sun Garcia-Puente, Luis D., MS25, 10:30 Hanson, Eric, PP1, 6:00 Thu Fri Hanson, Eric, MS52, 10:00 Sat Garcia-Puente, Luis D., MS66, 4:30 Sat Hao, Wenrui, MS52, 10:00 Sat

Italicized names indicate session organizers. 11856 2013 SIAM Conference on Applied Algebraic Geometry

I Katz, Eric, MS28, 10:30 Fri Lee, Wen-shin, MS59, 10:00 Sat Idowu, Michael A., CP2, 4:30 Fri Kauers, Manuel, MS11, 10:00 Fri Lee, Wen-shin, MS59, 10:00 Sat Ihde, Steven L., MS3, 11:00 Thu Kauers, Manuel, MS36, 10:00 Sat Lesnick, Michael, MS48, 4:30 Fri Iliman, Sadik, MS21, 4:30 Thu Kauers, Manuel, MS61, 10:00 Sun Lewis, Ryan, MS74, 4:00 Sat Ilten, Nathan, MS28, 12:00 Fri Kedlaya, Kiran S., MS16, 4:00 Thu Leykin, Anton, MS15, 4:30 Thu Inoue, Rei, MS12, 10:00 Thu Keicher, Simon, MS57, 11:00 Sat Li, Ziming, MS36, 10:00 Sat Inoue, Rei, MS12, 10:00 Thu Kellner, Kai, MS9, 11:30 Thu Lim, Lek-Heng, MS7, 11:30 Thu Inoue, Rei, MS24, 3:30 Thu Kenyon, Richard, MS24, 4:00 Thu Lim, Lek-Heng, MS14, 3:30 Thu Inoue, Rei, IP6, 2:00 Sat Kernell, Oliver, MS65, 4:00 Sat Lim, Lek-Heng, MS19, 3:30 Thu Inoue, Rei, PD1, 6:10 Sat Kerner, Dmitry, MS71, 3:30 Sat Lim, Lek-Heng, MS44, 3:30 Fri Interlando, Carmelo, MS17, 4:00 Thu Koeppe, Matthias, MS6, 11:00 Thu Lim, Lek-Heng, MS69, 3:30 Sat Itskov, Vladimir, MS87, 11:30 Sun Kogan, Irina, MS18, 3:30 Thu Liu, Fu, MS6, 10:30 Thu Ivey, Thomas, MS55, 11:00 Sat Kogan, Irina, MS30, 10:00 Fri Kogan, Irina, MS43, 3:30 Fri M Iwane, Hidenao, MS10, 10:00 Thu Macauley, Matthew, MS75, 3:30 Sat Kogan, Irina, MS43, 5:00 Fri Macauley, Matthew, MS87, 10:00 Sun J Konaxis, Christos, MS76, 11:00 Sun Jacobson, Michael, MS73, 4:00 Sat Mahdi, Adam, MS1, 11:00 Thu Kós, Géza, MS63, 5:00 Sat Jaroschek, Maximilian, MS61, 11:30 Malmskog, Beth, MS86, 11:30 Sun Krick, Teresa, MS35, 10:00 Fri Sun Mantzaflaris, Angelos, MS47, 3:30 Fri Krick, Teresa, MS50, 10:00 Sat Johnston, Matthew, MS13, 3:30 Thu Mantzaflaris, Angelos, MS47, 4:00 Fri Krick, Teresa, MS63, 3:30 Sat Jost, Christine, MS3, 10:30 Thu Marshall, Kyle, MS67, 4:30 Sat Krick, Teresa, MS63, 4:00 Sat Jovanovic, Dejan, MS26, 11:00 Fri Martin del Campo, Abraham, MS45, Krick, Teresa, MS76, 10:00 Sun 4:30 Fri K Krishnan, Sanjeevi, MS74, 3:30 Sat Martínez Moro, Edgar, MS5, 11:00 Thu Kahle, Thomas, MS32, 12:00 Fri Krone, Robert, MS15, 3:30 Thu Massierer, Maike, MS5, 10:30 Thu Kalinka, Tatjana, MS47, 3:30 Fri Kunwar, Vijay, MS36, 11:00 Sat Matera, Guillermo, MS35, 10:00 Fri Kaliuzhnyi-Verbovetskyi, Dmitry, Matthews, Gretchen L., MS42, 4:00 Fri MS71, 5:30 Sat L Matusevich, Laura, MS83, 12:00 Sun Kaltofen, Erich, MS10, 10:00 Thu Laarhoven, Thijs, MS54, 11:00 Sat Mehta, Dhagash, MS64, 3:30 Sat Kaltofen, Erich, MS22, 3:30 Thu Labahn, George, MS34, 12:00 Fri Mehta, Dhagash, MS64, 3:30 Sat Kaltofen, Erich, MS34, 10:00 Fri Labahn, George, MS63, 4:30 Sat Mehta, Dhagash, MS78, 10:00 Sun Kaltofen, Erich, MS37, 10:00 Fri Lam, Thomas, MS12, 10:00 Thu Melczer, Stephen, MS11, 11:30 Fri Kaltofen, Erich, MS59, 10:00 Sat Lam, Thomas, MS24, 3:30 Thu Memoli, Facundo, MS18, 3:30 Thu Kaltofen, Erich, MS59, 12:00 Sat Lam, Thomas, MS24, 3:30 Thu Memoli, Facundo, MS30, 10:00 Fri Karasoulou, Anna, MS49, 5:00 Fri Landi, Claudia, MS30, 10:30 Fri Memoli, Facundo, MS30, 12:00 Fri Karpuk, David, MS17, 5:30 Thu Lange, Tanja, MS29, 10:00 Fri Memoli, Facundo, MS43, 3:30 Fri Kasprzyk, Alexander M., MS6, 11:30 Lange, Tanja, MS29, 10:00 Fri Thu Lange, Tanja, MS54, 10:00 Sat Meshkat, Nicolette, MS1, 10:00 Thu Kastner, Lars, MS57, 12:00 Sat Lebreton, Romain, MS72, 4:30 Sat Meshkat, Nicolette, MS1, 11:30 Thu Lee, Wen-shin, MS34, 10:00 Fri Meshkat, Nicolette, MS25, 10:00 Fri

Italicized names indicate session organizers. 2013 SIAM Conference on Applied Algebraic Geometry 11957

Michalek, Mateusz, MS58, 11:30 Sat Nill, Benjamin T., MS28, 10:00 Fri Pernet, Clément, MS85, 10:00 Sun Miller, Lance E., MS53, 12:00 Sat Nishiyama, Kena, MS39, 3:30 Fri Pernet, Clément, MS85, 10:30 Sun Mincheva, Maya, MS38, 4:30 Fri Nishiyama, Kenta, MS39, 5:00 Fri Peterson, Chris, MS7, 10:00 Thu Minic, Djordje, MS78, 11:30 Sun Niu, Wenbo, MS45, 5:30 Fri Peterson, Chris, MS3, 10:00 Thu Miranda, Rick, MS76, 11:30 Sun Peterson, Chris, MS31, 10:00 Fri Mishna, Marni, MS36, 10:30 Sat O Peterson, Chris, MS56, 10:00 Sat Obus, Andrew, MS16, 5:00 Thu Miura, Keiji, MS75, 5:30 Sat Peterson, Chris, MS69, 3:30 Sat Oeding, Luke, MS7, 10:00 Thu Moll, VIctor, MS61, 11:00 Sun Petrovic, Sonja, MS32, 11:30 Fri Oeding, Luke, MS18, 5:00 Thu Moreno Maza, Marc, MS2, 10:00 Thu Pillwein, Veronika, MS62, 11:00 Sat Oeding, Luke, MS31, 10:00 Fri Moreno Maza, Marc, MS26, 10:00 Fri Plaumann, Daniel, MS9, 11:00 Thu Oeding, Luke, MS45, 4:00 Fri Moreno Maza, Marc, MS26, 10:30 Fri Plaumann, Daniel, MS71, 3:30 Sat Oeding, Luke, MS56, 10:00 Sat Morozov, Dmitriy, MS23, 3:30 Thu Plaumann, Daniel, MS84, 10:00 Sun Oeding, Luke, MS69, 4:00 Sat Morozov, Dmitriy, MS48, 3:30 Fri Pohjanpelto, Juha, MS55, 12:00 Sat Olver, Peter, MS18, 3:30 Thu Morozov, Dmitriy, MS74, 3:30 Sat Pokorny, Florian T., MS23, 4:00 Thu Orrison, Michael E., CP2, 4:00 Fri Morton, Jason, MS69, 5:00 Sat Postinghel, Elisa, MS79, 11:00 Sun Osserman, Brian, MS60, 12:00 Sat Morton, Jason, MS77, 10:00 Sun Pries, Rachel, MS4, 10:00 Thu O’Sullivan, Michael E., CP2, 3:30 Fri Morton, Jason, MS77, 10:00 Sun Pries, Rachel, MS16, 3:30 Thu Ottaviani, Giorgio, MS7, 10:00 Thu Motta, Francis C., CP1, 11:00 Thu Pries, Rachel, MS41, 3:30 Fri Ottaviani, Giorgio, MS19, 3:30 Thu Mourrain, Bernard, MS19, 4:00 Thu Pries, Rachel, MS60, 10:00 Sat Ottaviani, Giorgio, MS31, 10:00 Fri Mourrain, Bernard, MS63, 3:30 Sat Pries, Rachel, MS60, 11:30 Sat Ottaviani, Giorgio, MS56, 10:00 Sat Mourrain, Bernard, MS82, 10:00 Sun Pries, Rachel, MS73, 3:30 Sat Ottaviani, Giorgio, MS76, 10:30 Sun Mourrain, Bernard, MS82, 12:00 Sun Pries, Rachel, MS86, 10:00 Sun Ovrut, Burt, MS64, 4:30 Sat Munch, Elizabeth, MS48, 4:00 Fri Ozman, Ekin, MS16, 5:30 Thu Musso, Emilio, MS68, 4:00 Sat R Raicu, Claudiu, MS20, 3:30 Thu P Raicu, Claudiu, MS31, 10:30 Fri N Paffenroth, Randy, MS40, 5:00 Fri N’u~nez-Betancourt, Luis C., MS70, Raicu, Claudiu, MS45, 3:30 Fri Pantea, Casian, MS38, 5:00 Fri 4:00 Sat Raicu, Claudiu, MS70, 3:30 Sat Pardo, Luis Miguel, MS35, 10:00 Fri Naehrig, Michael, MS5, 10:00 Thu Raicu, Claudiu, MS83, 10:00 Sun Park, Jennifer, MS73, 5:30 Sat Neiger, Vincent, MS85, 12:00 Sun Ravagnani, Alberto, MS80, 11:00 Sun Pasechnik, Dmitrii, MS82, 10:30 Sun Nelson, Brent, MS64, 5:00 Sat Ren, Yue, MS57, 10:00 Sat Passmore, Grant O., MS2, 10:30 Thu Netzer, Tim, MS33, 11:30 Fri Ren, Yue, MS57, 10:00 Sat Patel, Amit, MS48, 5:30 Fri Netzer, Tim, MS71, 3:30 Sat Renault, Guénaël, MS46, 4:00 Fri Pemantle, Robin, MS11, 10:30 Fri Netzer, Tim, MS84, 10:00 Sun Renegar, James M., MS71, 4:30 Sat Perea, Jose, MS23, 5:00 Thu Nicolodi, Lorenzo, MS68, 5:00 Sat Reznick, Bruce, MS33, 10:00 Fri Perez, Felipe, MS83, 10:00 Sun Nie, Jiawang, MS10, 10:30 Thu Reznick, Bruce, MS44, 4:30 Fri Perez Millan, Mercedes, MS38, 4:00 Fri Nie, Jiawang, MS21, 5:00 Thu Riener, Cordian, MS9, 10:00 Thu Pernet, Clément, MS34, 11:00 Fri Niemerg, Matthew, PP1, 6:00 Thu Riener, Cordian, MS9, 10:00 Thu Pernet, Clément, MS72, 3:30 Sat Nill, Benjamin T., MS6, 10:00 Thu

Italicized names indicate session organizers. 58120 2013 SIAM Conference on Applied Algebraic Geometry

Riener, Cordian, MS21, 3:30 Thu Schost, Eric, MS50, 11:00 Sat Stehlé, Damien, PD1, 6:10 Sat Riener, Cordian, MS33, 10:00 Fri Schulman, Leonard, MS80, 12:00 Sun Stehlé, Damien, IP7, 8:30 Sun Robins, Vanessa, CP1, 12:00 Thu Schwede, Karl, MS20, 3:30 Thu Stein, Andreas, MS4, 11:00 Thu Robins, Vanessa, MS43, 4:00 Fri Schwede, Karl, MS45, 3:30 Fri Stigler, Brandilyn, MS75, 3:30 Sat Roche, Daniel S., MS34, 10:30 Fri Schwede, Karl, MS70, 3:30 Sat Stigler, Brandilyn, MS75, 3:30 Sat Rodriguez, Jose, MS65, 4:30 Sat Schwede, Karl, MS83, 10:00 Sun Stigler, Brandilyn, MS87, 10:00 Sun Rojas, J. Maurice, MS35, 10:30 Fri Seceleanu, Alexandra, MS20, 4:30 Thu Stiller, Peter F., MS43, 3:30 Fri Rosenthal, Joachim, MS5, 10:00 Thu Seceleanu, Alexandra, MS53, 10:00 Sat Stillman, Mike, MS8, 10:00 Thu Rosenthal, Joachim, MS17, 3:30 Thu Sei, Tomonari, MS39, 4:00 Fri Storjohann, Arne, MS85, 11:30 Sun Rosenthal, Joachim, MS42, 3:30 Fri Seong, Rak-Kyeong, MS78, 11:00 Sun Sullivant, Seth, MS1, 10:00 Thu Rosenthal, Joachim, MS42, 3:30 Fri Shamovich, Eli, MS84, 12:00 Sun Sullivant, Seth, MS25, 10:00 Fri Rosenthal, Joachim, MS67, 3:30 Sat Shekhtman, Boris, MS79, 10:00 Sun Sultan, Ziad, MS85, 11:00 Sun Rosenthal, Joachim, MS80, 10:00 Sun Shipman, Patrick, CP1, 10:00 Thu Sutherland, Andrew V., MS41, 4:00 Fri Rusinko, Joseph P., MS58, 10:00 Sat Shiu, Anne, MS13, 3:30 Thu Swan, Hannah M., PP1, 6:00 Thu Rusinko, Joseph P., MS58, 10:00 Sat Shiu, Anne, MS38, 3:30 Fri Swinarski, David, MS8, 10:30 Thu Sidman, Jessica, MS79, 10:30 Sun Szanto, Agnes, MS50, 10:00 Sat S Siegel, David, MS13, 4:00 Thu Szanto, Agnes, MS63, 3:30 Sat Saccomani, Maria Pia, MS1, 10:30 Thu Silverman, Joseph H., MS41, 5:30 Fri Szanto, Agnes, MS76, 10:00 Sun Safey El Din, Mohab, MS10, 10:00 Thu Singer, Michael, MS11, 10:00 Fri Szanto, Agnes, MS76, 10:00 Sun Safey El Din, Mohab, MS22, 3:30 Thu Singer, Michael F., MS11, 10:00 Fri Szpirglas, Aviva, MS50, 11:30 Sat Safey El Din, Mohab, MS22, 5:00 Thu Singer, Michael, MS36, 10:00 Sat Safey El Din, Mohab, MS35, 11:30 Fri Singer, Michael, MS61, 10:00 Sun T Safey El Din, Mohab, MS37, 10:00 Fri Takayama, Nobuki, MS39, 3:30 Fri Sir, Zbynek, MS79, 11:30 Sun Safey El Din, Mohab, MS49, 3:30 Fri Takemura, Akimichi, MS39, 3:30 Fri Skraba, Primoz, MS74, 4:30 Sat Safey El Din, Mohab, MS62, 10:00 Sat Tapia-Recillas, Horacio, MS67, 3:30 Sat Sloane, Neil, MS61, 10:30 Sun Sagraloff, Michael, MS37, 11:00 Fri Teitler, Zach, MS19, 5:00 Thu Smith, Abraham D., MS55, 11:30 Sat Sakamoto, Reiho, MS12, 10:30 Thu Teitler, Zach, MS45, 5:00 Fri Smith, Gregory G., MS8, 10:00 Thu Santoprete, Manuele, MS26, 11:30 Fri Theobald, Thorsten, MS9, 10:00 Thu Smith, Gregory G., MS32, 10:00 Fri Sanyal, Raman, MS84, 10:00 Sun Theobald, Thorsten, MS21, 3:30 Thu Sommese, Andrew, MS40, 3:30 Fri Saunders, David, MS72, 5:00 Sat Theobald, Thorsten, MS33, 10:00 Fri Soprunov, Ivan, MS6, 10:00 Thu Saunderson, James, MS33, 10:30 Fri Thoma, Lubos, MS80, 10:30 Sun Soprunov, Ivan, MS28, 10:00 Fri Scheiderer, Claus, MS10, 11:00 Thu Thomas, Hugh, MS24, 5:00 Thu Sottile, Frank, MS49, 3:30 Fri Scheidler, Renate, MS41, 5:00 Fri Tibouchi, Mehdi, MS46, 3:30 Fri Sottile, Frank, MS53, 10:00 Sat Schenck, Hal, MS20, 4:00 Thu Tiwari, Ashish, MS62, 10:30 Sat Sottile, Frank, MS66, 3:30 Sat Schenck, Hal, MS28, 11:30 Fri Tohaneanu, Stefan, MS42, 5:00 Fri Sottile, Frank, MS66, 5:00 Sat Schenck, Hal, MS53, 11:00 Sat Tohaneanu, Stefan, MS53, 10:30 Sat Sottile, Frank, MS79, 10:00 Sun Schneider, Carsten, MS61, 10:00 Sun Torrente, Maria-Laura, MS47, 3:30 Fri Spaenlehauer, Pierre-Jean, MS49, 4:30 Torrente, Maria-Laura, MS47, 4:30 Fri Schost, Eric, MS35, 11:00 Fri Fri Traves, Will, MS83, 10:30 Sun Schost, Eric, MS37, 10:30 Fri Stehle, Damien, MS46, 3:30 Fri

Italicized names indicate session organizers. 2013 SIAM Conference on Applied Algebraic Geometry 12159

Tsigaridas, Elias, MS37, 10:00 Fri Walther, Uli, MS39, 4:30 Fri Tsigaridas, Elias, MS49, 3:30 Fri Walther, Uli, MS70, 3:30 Sat Tsigaridas, Elias, MS49, 4:00 Fri Walther, Uli, MS83, 10:00 Sun Tsigaridas, Elias, MS62, 10:00 Sat Wampler, Charles, MS27, 12:00 Fri Tuncel, Levent, MS71, 5:00 Sat Wang, Bei, MS48, 3:30 Fri Turner, Jacob, MS77, 11:00 Sun Wang, Yusu, MS43, 4:30 Fri Watanabe, Sumio, MS51, 10:00 Sat U Weir, Colin J., MS60, 11:00 Sat Uhler, Caroline, MS14, 4:00 Thu Williams, Cassie L., MS86, 11:00 Thu Uhler, Caroline, MS51, 11:30 Sat Wilson, David J., MS2, 10:00 Thu V Witt, Emily E., MS83, 11:00 Sun Vaccarino, Francesco, MS23, 3:30 Thu Wiuf, Carsten, IP5, 8:30 Sat Vakil, Ravi, IP1, 8:30 Thu Wiuf, Carsten, PD1, 6:10 Sat Vakil, Ravi, PD1, 6:10 Sat Woo, Alexander, MS56, 11:00 Sat Valiquette, Francis, MS55, 10:00 Sat Wu, Wenyuan, MS52, 11:00 Sat Valiquette, Francis, MS55, 10:00 Sat Valiquette, Francis, MS68, 3:30 Sat X Xia, Bican, MS22, 3:30 Thu Vallentin, Frank, MS21, 3:30 Thu van Hoeij, Mark, MS36, 11:30 Sat Y Varilly-Alvarado, Tony, MS4, 11:30 Thu Yang, Bo-Yin, MS29, 11:00 Fri Vasil’ev, Oleg O., CP1, 10:30 Thu Yang, Zhengfeng, MS22, 4:00 Thu Vejdemo Johansson, Mikael, MS23, Yang, Zhengfeng, MS59, 11:00 Sat 3:30 Thu Ye, Ke, MS69, 4:30 Sat Vejdemo Johansson, Mikael, MS48, Yoshida, Ruriko, MS58, 10:30 Sat 3:30 Fri Yu, Josephine, MS8, 11:30 Thu Vejdemo Johansson, Mikael, MS74, 3:30 Sat Yu, Xiangcheng, MS65, 5:30 Sat Velasco, Mauricio, MS9, 10:30 Thu Z Vera-Licona, Paola, MS75, 4:30 Sat Zafeirakopoulos, Zafeirakis, MS47, 5:00 Verschelde, Jan, MS27, 11:00 Fri Fri Vinnikov, Victor, MS71, 3:30 Sat Zhang, Wenliang, MS70, 5:00 Sat Vinnikov, Victor, MS84, 10:00 Sun Zhang, Yang, MS64, 4:00 Sat Vinzant, Cynthia, MS21, 4:00 Thu Zhi, Lihong, MS10, 10:00 Thu Vinzant, Cynthia, MS84, 10:30 Sun Zhi, Lihong, MS22, 3:30 Thu Viray, Bianca, MS4, 10:00 Thu Zhi, Lihong, MS22, 4:30 Thu Zhu, Chungang, MS66, 3:30 Sat W Zhu, Mingfu, MS75, 4:00 Sat Wagner, David, MS84, 11:00 Sun Zureick-Brown, David, MS86, 10:30 Wakefield, Max, MS20, 5:00 Thu Sun Walther, Uli, MS20, 3:30 Thu Zwiernik, Piotr, MS51, 11:00 Sat Walther, Uli, MS45, 3:30 Fri

Italicized names indicate session organizers. 12260 2013 SIAM Conference on Applied Algebraic Geometry

Notes 2013 SIAM Conference on Applied Algebraic Geometry 12361

AG13 Budget

Conference Budget SIAM Conference on Applied Algebraic Geometry August 1 - 4, 2013 Colorado State University, Fort Collins, Colorado , USA

Expected Paid Attendance 320

Revenue Registration Income $50,330 Total $50,330

Expenses Printing $1,734 Organizing Committee $2,000 Invited Speakers $10,500 Food and Beverage $15,000 Room Rental $19,098 Advertising $7,200 Conference Labor (including benefits) $30,977 Other (supplies, staff travel, freight, misc.) $1,058 Administrative $8,649 Accounting/Distribution & Shipping $6,069 Information Systems $8,267 Customer Service $3,113 Marketing $5,060 Office Space (Building) $3,395 Other SIAM Services $3,787 Total $125,907

Net Conference Expense ($75,577)

Support Provided by SIAM $75,577 $0

Estimated Support for Travel Awards not included above:

Post Docs and Students 18 $13,250

62 Colorado State 2013University SIAM Conference Map on Applied Algebraic Geometry

FSC logo text box indicating size & layout of logo. Conlins to insert logo.