AofA’19 is the 30th International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms. In this edition, the meeting has workshop format. On evennumbered years, the meeting has conference format, with open registration, call for papers and published proceedings.
Our main goal is to exchange ideas and foster collaboration around the themes of analytic, combinatorial, probabilistic, and asymptotic methods; analytic combinatorics; randomized algorithms; study of the properties of trees, graphs, strings and other mathematical structures; and study of algorithms based on such structures.
These meetings bring together people from around the world, many of whom have been inspired by the work of Philippe Flajolet.
Note that while you are in Europe, you could also plan to attend the conference Formal Power Series and Algebraic Combinatorics in Ljubljana, the following week.
Invited Speakers
 Alin Bostan Computer algebra for lattice path combinatorics.
Abstract.
Classifying lattice walks in restricted lattices is an important problem in enumerative combinatorics. Recently, computer algebra has been used to explore and to solve a number of difficult questions related to lattice walks. We give an overview of recent results on structural properties and explicit formulas for generating functions of walks in the quarter plane, with an emphasis on the algorithmic methodology.

Valentin Féray Limit
shapes of random patternavoiding permutations.
Abstract.
Permutation classes are sets of permutations defined by some forbidden subconfigurations. A lot of effort has been put in the past thirty years to enumerate such sets of permutations. More recently, there has been a growing interest into describing large uniform random permutations in a given class. We will in particular focus on an approach via decomposition trees. Analytic combinatorics plays an important role in analyzing such models. This is joint work with Frédérique Bassino (ParisNord), Mathilde Bouvel (Zurich), Lucas Gerin (École Polytechnique), Mickaël Maazoun (ENS de Lyon) and Adeline Pierrot (Orsay).
 Peter Mörters
Metastability of the contact process on evolving scalefree networks.
Abstract.
We study the contact process in the regime of small infection rates on scalefree networks evolving by stationary dynamics. A parameter allows us to interpolate between slow (static) and fast (meanfield) network dynamics. For two paradigmatic classes of networks we investigate transitions between phases of fast and slow extinction and in the latter case we analyse the density of infected vertices in the metastable state. The talk is based on joint work with Emmanuel Jacob (ENS Lyon) and Amitai Linker (Universidad de Chile).
 Cyril Nicaud
Realistic analysis of algorithms
Abstract.
In the first part of this talk, we give an analysis of the sorting algorithm TimSort, which is implemented in many popular programming languages such as Python, Java, … In the second part, we present some surprising experimental results on the execution time of basic algorithms run on modern processors. We explain these observations by theoretical analysis of the algorithms taking features of modern achitectures into account.
Though quite different, both parts try to bridge the gap between textbook algorithms and their "real life" implementations: understanding why TimSort is becoming a very popular sorting algorithm, and how we may have to change our way of analyzing algorithms considering the progresses made in computer architecture.  Robin Pemantle
Effective algorithms in ACSV.
Abstract.
I will begin by reviewing the essentials of analytic combinatorics in several variables (ACSV), highlighting the steps that have up to now required human intervention: finding the dominating point, proving minimality, contour deformation. The rest of the talk will be about effective solutions to these problems. These include rigorizing the Morse theoretic underpinnings of ACSV, using computer algebra to find critical points at infinity, complex variable methods that work for symmetric functions, and some work in progress on a general topological method for smooth denominators. For some audience members, the talk will be uncomfortably topological. On the other hand, I will include a lot of pictures, so the topology can be understood without much formal background.
 Dana
Randall Sampling algorithms and phase transitions.
Abstract.
Markov chain Monte Carlo methods have become ubiquitous across science and engineering to model dynamics and explore large combinatorial sets. Over the last 20 years there have been tremendous advances in the design and analysis of efficient sampling algorithms for this purpose. One of the striking discoveries has been the realization that many natural Markov chains undergo phase transitions, whereby they abruptly change from being efficient to inefficient as some parameter of the system is modified. Generating functions can offer an alternative approach to sampling and they play a role in showing when certain Markov chains are efficient or not. We will explore the interplay between Markov chains, generating functions, and phase transitions for a variety of combinatorial problems, including graded posets, Boltzmann sampling, and 3colorings on Z^2.
 Andrea
Sportiello The challenge of lineartime Boltzmann sampling.
Abstract.
Let X_N be an ensemble of combinatorial structures of size N, equipped with a measure. Consider the algorithmic problem of exactly sampling from this measure. When this ensemble has a `combinatorial specification', the celebrated Boltzmann sampling algorithm allows to solve this problem with a complexity which is, typically, of order N^(3/2). Here, a factor N is inherent to the problem, and implied by the Shannon bound on the average number of required random bits, while the extra factor N^(1/2) is due to the fact that Boltzmann sampling produces a random object in the union of the (X_n)'s, whose size is a random variable, valued N only with probability of order N^(1/2). How much can we improve on this complexity? And in which generality? As you can imagine, in the state of the art there is a tradeoff between generality and overall complexity. We will review some recent ideas which explore various directions in this balance.
 Lenka
Zdeborova Optimal algorithms in inference inspired by statistical
physics.
Abstract.
Analysis of algorithms in noisy highdimensional probabilistic problems poses many current challenges. In a subclass of these problems the corresponding challenges can be overcome with the help of a method coming from statistical mechanics. I will review some of the related recent work together with progress on rigorous justification of the corresponding results.