The Pacific Rim Conference in Mathematics meets every three or four years and offers a venue for the presentation to, and discussion among, a wide audience of the latest trends in mathematical research. With funding support from the Department of Mathematics at U.C. Berkeley, the Eighth Pacific Rim Conference will be held online from Monday, 3rd August to Tuesday, 11th August. Its ten sessions will cover a very broad span of exciting developments in contemporary mathematics.

Very brief registration for livestream info: https://wp.math.berkeley.edu/pacificrim2020/registration-for-sessions/

The conference's plenary addresses will be given by:

• Richard Bamler, U.C. Berkeley
• Michael Christ, U.C. Berkeley
• Simon Donaldson, Imperial College, London
• Yihong Du, University of New England, Australia
• Yakov Eliashberg, Stanford University
• Takeshi Saito, University of Tokyo
• Neil Trudinger, Australian National University
• Guofang Wei, U.C. Santa Barbara
• Ofer Zeitouni, Weizmann Institute of Science

Each plenary address occurs in conjunction with a more focused session:

• Algebraic and complex geometry
• Classical harmonic analysis and combinatorics
• Differential geometry
• Life sciences: mathematical modelling and analysis
• Number theory
• PDE: Dissipation and fluid mechanics
• PDE: Inviscid fluid mechanics and general relativity
• Probability theory
• Recent trends in geometric analysis
• Symplectic geometry and dynamical systems

Mini-courses by Matt Kerr, Andreas Mihatsch, Colleen Robles, plus a couple of research talks.

This conference will be on various aspects of the global Langlands correspondence. Topics will include in particular the geometry and cohomology of Shimura varieties and more general locally symmetric spaces, or moduli spaces of shtukas.

This program is focused on the two-way interaction of logical ideas and techniques, such as definability from model theory and decidability from computability theory, with fundamental problems in number theory. These include analogues of Hilbert's tenth problem, isolating properties of fields of algebraic numbers which relate to undecidability, decision problems around linear recurrence and algebraic differential equations, the relation of transcendence results and conjectures to decidability and decision problems, and some problems in anabelian geometry and field arithmetic. We are interested in this specific interface across a range of problems and so intend to build a semester which is both more topically focused and more mathematically broad than a typical MSRI program.

The aim of the workshop is to discover how the problems in number theory and algebraic geometry arising from the Hilbert’s tenth problem for rationals interact with the ideas and techniques in mathematical logic, such as definability from model theory and decidability and degree-theoretic complexity from computability theory. This interaction includes various analogues of Hilbert’s tenth problem and related questions, focusing on the connections of algebraic, number-theoretic, model-theoretic, and computability-theoretic properties of structures and objects in algebraic number theory, anabelian geometry, field arithmetic, and differential algebra.

This conference is dedicated to studying recent advancements concerning Serre weights conjectures and the geometry of Shimura varieties and, in particular, the interaction between these two areas.

Homological tools and ideas are pervasive in number theory. To defend this assertion, it suffices to evoke the role of étale cohomology in the study of the zeta functions of varieties over finite fields through the Weil conjectures, or the cohomological approach to class field theory formulated by Artin and Tate in the 1950's. The theory of motives, a manifestation of a universal cohomology theory attached to algebraic varieties, and the attendant motivic cohomology plays a central role in describing the special values of L-functions of varieties over number fields, via the conjectures of Deligne, Beilinson-Bloch, and Bloch-Kato. Much progress in the Langlands program exploits the fruitful connection between automorphic representations and the cohomology of associated Shimura varieties and more general arithmetic quotients of locally symmetric spaces. The study of special values of L-functions and the Langlands program, widely perceived as two fundamental yet seperate strands of the subject in the early 1990's, were beautifully unified in Wiles' epoch-making proof of the Shimura-Taniyama conjecture, in which this conjecture was reduced to a special instance of the Bloch-Kato conjecture for the symmetric square motive of an elliptic curve. Recent years have seen great strides in our understanding of the cohomology of the arithmetic quotients arising in the study of automorphic representations, spurred in part by the desire to extend the range of applicability of the celebrated Taylor-Wiles method. This has led to new automorphy and potential automorphy results: most spectacularly, perhaps, for abelian surfaces, as well as elliptic curves over general CM fields.

The Banff International Research Station will host the "Arithmetic Aspects of Algebraic Groups" workshop in Banff from September 6 to September 11, 2020.

The investigation of arithmetic groups has been an active and important area of mathematical research ever since it arose in the work of Gauss, Klein, Poincare, and other famous mathematicians of the 18th and 19th centuries. New points of view have recently led to progress on classical problems, opened new directions of inquiry, and revealed unexpected connections with other areas of mathematics. The workshop will bring together experts in the area, researchers in related fields, and young mathematicians who wish to learn about the most recent advances and the most promising directions for the future of the field.

The conference Arakelov Geometry is organized by

José Ignacio Burgos Gil, Walter Gubler, and Klaus Künnemann.

This conference constitutes the eleventh session of the Intercity Seminar on Arakelov Theory organized by Jose Ignacio Burgos Gil, Vincent Maillot and Atsushi Moriwaki with previous sessions in Barcelona, Beijing, Copenhagen, Kyoto, Paris, Regensburg, and Rome.

This conference is part of the celebration of the recent creation of the new Number Theory group at the University of Bath.

It will revolve around topics in analytic number theory, algebraic number theory, and algebraic geometry, related to the study of Diophantine equations.

Speakers:

Tim Browning (IST, Vienna)
Jean-Louis Colliot-Thélène (Orsay)
Ulrich Derenthal (Hannover)
Christopher Frei (Manchester)
Rachel Newton (University of Reading)
Alexei Skorobogatov (Imperial College London)
Arne Smeets (Nijmegen)
Efthymios Sofos (Glasgow)

In cooperation with the Arizona Winter School (http://swc.math.arizona.edu), Pomona College will host the AWS Undergraduate Bootcamp. This 2-day intensive program, targeted for underrepresented minority students, will showcase number theory at the introductory level. This will take place on Saturday, September 12 and Sunday, September 13 in Millikan Laboratory at Pomona College in Claremont, California. All events are free.

There will be four types of events:

Expository Talks
    Experts in number theory will give one-hour presentations on various topics.
Tutorial
    A faculty member will give three lectures over two days on "Automorphic Forms." (The Arizona Winter School 2021 will be on "Modular forms beyond GL(2)".)
Problem Sessions
    Two graduate students will coordinate a series of one-hour sessions where students will work in groups on problems meant to supplement the tutorials.
Panel Discussions
    There will be two panels on topics to be announced.

In Iwasawa Theory, one of the central questions is the study of the Iwasawa main conjecture, which relates the characteristic ideal of the Selmer group of a motive to its p-adic L-function (when it exists). This in turn leads to information on the Bloch-Kato conjecture, a generalization of the Birch and Swinnerton-Dyer conjecture. Cases of the Iwasawa main conjecture have been established using the machinery of Euler systems, which are collections of cohomology classes satisfying certain norm relations and are related to the L-function of a motive and were first introduced and exploited in the late 80s and early 90s in the works of Thaine, Kolyvagin, Rubin, and Kato.

Bernadette Perrin-Riou, one of the influential, pioneering figures in Iwasawa Theory in the 1990s, is widely acclaimed for the influential ideas she has brought to the subject. Her deep study of the Euler system originally constructed by Kato led to the introduction of her fundamental big logarithm map" (often refereed as thePerrin-Riou map" nowadays), which is a far reaching generalisation of the Coleman power series and is one of the key ingredients in establishing links between Euler systems and p-adic L-functions. Her work also initiated the study of higher rank Euler systems and has been a source of inspiration for many further developments in this direction. Likewise, her p-adic analogue of the Gross-Zagier formula has opened up an area of enquiry that remains active and fertile to the present day. All these, as well as many other important contributions of Perrin-Riou, continue to serve as a model and a guide for today's research in Iwasawa Theory. This workshop is therefore dedicated to the celebration of her 65th birthday.

In the first decade of this century, further progress in the theory of Euler systems was stymied by the fact that few instances were known beyond the basic examples (circular units, elliptic units, Heegner points, and Beilinson elements) introduced and exploited by Thaine, Rubin, Kolyvagin and Kato respectively. Around 2010, the scope of Kato's construction was extended to encompass p-adic families of cohomology classes arising from Beilinson-Flach elements, and diagonal cycles in triple products of Kuga-Sato varieties, with application to the Birch and Swinnerton conjecture in analytic rank zero, in the spirit of the early work of Coates and Wiles. Important progress was then made in establishing the Euler system norm compatibilities of Beilinson-Flach elements. This has opened the floodgates for a wide variety of new Euler system constructions, applying notably to the Rankin-Selberg convolution of two modular forms, Siegel modular forms on GSp(4) and GSp(6), as well as Hilbert modular surfaces. At around the same time, and quite independently, a markedly different strategy has been proposed for studying diagonal on triple products based on congruences between modular forms instead of $p$-adic deformations, leading to remarkable constructions whose scope has the potential to surpass the more traditional approach based on norm-compatible elements. Finally, important progress arising from the method of Eisenstein congruences offer a powerful complementary approach, greatly contributing to the power, usefulness, and widening appeal of Euler system techniques.

The workshop will precede the annual Quebec-Maine conference which will take place at Laval University on Saturday and Sunday (September 26-27, 2020). The workshop will end on Friday at noon so that those who wish to attend can travel to Quebec City in the afternoon. (A roughly 3 hour trip by train or by bus.)

Witt vectors are well-known for their ability to pop up in unexpected places, and can serve as a good starting point for a conversation on many interesting and diverse mathematical subjects. The goal of the conference is to have such a conversation on several recent subjects where Witt vectors appeared yet again (including but not limited to the usual and topological Hochschild Homology, both commutative and non-commutative, prismatic cohomology and p-adic Hodge theory, polynomial functors, geometric representation theory in char p).

If G is a reductive algebraic group over Z, the group G(Z) of its integral points (or any congruence subgroup thereof) acts discretely on the locally symmetric space X:= G(R)/K, where K is a maximal compact subgroup of G(R). The quotients G(Z) X play a fundamental role in the theory of automorphic forms and in number theory. Notably, their cohomology is a rich source of invariants attached to automorphic representations of G, and thus plays a central role in the Langlands program. A fundamental trichotomy governing the topological behaviour of such arithmetic quotients was proposed around 2010 by Bergeron and Venkatesh. A single positive integer d, depending only on the overlying symmetric space X, dictates the expected behaviour of the homology of the arithmetic quotient. When d=0, the cohomology is expect to have very little torsion but lots of characteristic 0 homology, which can be studied via analytic and transcendental methods (de Rham cohomology, Hodge theory). Shimura varieties and even-dimensional real hyperbolic spaces fall into this class. When d=1, one expects to find a lot of torsion but very little characteristic 0 homology. Odd dimensional hyperbolic manifolds, such as the Bianchi three-fold SL2(Z[i]) SL2(C)/U(2), fall into this case. When d is greater than 1, one expects little torsion and little characteristic zero homology.

There has been remarkable progress towards understanding how this trichotomy interacts with arithmetic: When d = 0, several interesting recent torsion-freeness results have been obtained by researchers like Caraiani, Emerton, Gee, and Scholze. When d=1, one can ask whether torsion always arises when it's expected to, and with the expected abundance. Torsion can be probed analytically using the Cheeger-Muller theorem. But there are obstructions ("tiny eigenvalues" and "very complex cycles"), which are very interesting in their own right, and need to be overcome in order to prove that there's as much torsion as expected. This torsion growth problem, especially for hyperbolic three-manifolds, has a life of its own even outside number theory, notably in the community of geometric groups theorists. Among the most striking developments arising in the relatively less well explored setting where d is larger than 1, let us mention Peter Scholze's construction of Galois representations attached to (possibly torsion) eigenclasses in the cohomology of arithmetic quotients, which is especially deep in this case. Another highly promising, fundamental breakthrough is manifested in Akshay Venkatesh's conjecture on derived Hecke algebras, which is expected to play an important role in extending the scope of the Taylor-Wiles method beyond the setting of d=0 to which it had been confined until relatively recently. The deep study of torsion in homology and analytic torsion carried out earlier by Bergeron, Venkatesh and others played a very important part in the nascent theory of derived Hecke operators and the attendant motivic action on the cohomology of arithmetic groups. In some very special instances, where G=GL(2) and one focusses on the coherent cohomology of an arithmetic quotient with values in certain automorphic sheaves, Venkatesh's conjectures exhibit a tantalising connection with certain ``tame refinements", in the spirit of conjectures of Mazur and Tate, of conjectures on the values of triple product p-adic L-functions.

The field is still in a very exploratory stage in which precise expectations (conjectural or otherwise) have not yet fully cristallised. For instance, there does not yet seem to be a reasonable conjecture about "how much cohomology", torsion or characteristic zero, to expect when d is greater than 1. Among other reasons, this makes computing in this setting very interesting. The workshop is expected to have a significant computational and experimental component, in which various experts will report on experimental data that might prove valuable in solidifying our expectations.

The Banff International Research Station will host the "WIN5: Women in Numbers 5" workshop in Banff from November 15 to November 20, 2020.

Despite recent progress in gender equality in STEM fields, women continue to be underrepresented in the research landscape of many areas of mathematics, including number theory. The Women in Numbers (WIN) network was created in 2008 for the purpose of increasing the number of active female researchers in number theory. For this purpose, WIN sponsors regular conferences, taking place approximately every three years, where female scholars gather to collaborate on cutting-edge research in the field and produce publishable scientific results. The WIN workshops provide an ongoing forum for involving each new generation of junior faculty and graduate students in state-of-the-art research in number theory. They have to come be highly regarded among the broader number theory community due to the quality of research produced by these collaborations.

WIN5 is the fifth in this series of events, bringing together female number theorists at various career stages for research collaboration and mentorship. As always, the scientific program will centre on onsite collaboration on open research problems in number theory, conducted in small groups comprised of senior and junior scholars as well as graduate students. Groups will publish their initial finding in a peer-reviewed conference proceedings volume, and research partnerships formed at the WIN5 workshop are expected to last well beyond the duration of the event. WIN projects have the potential to grow into fruitful long-term research alliances that have a transforming influence on participants' careers and a significant positive impact on the research landscape in number theory. Past WIN workshop project groups have matured into highly effective research teams producing ongoing scholarly work of exceptional scientific quality.

The Casa Matemática Oaxaca (CMO) will host the "Langlands Program: Number Theory and Representation Theory" workshop in Oaxaca, from November 29 to December 04, 2020.

Langlands functoriality conjectures predict a vast generalization of the classical reciprocity laws of Class Field Theory, providing crossroads between Number Theory and Representation Theory. The conjectures are both local and global and pertain a connected reductive group and its Langlands dual group.

We aim to introduce young mathematicians in M\'exico and Latin-America to topics of current research in the Langlands Program. We will also promote the participation women and of graduate students from a diverse background in a workshop where experts in the field from across the world will gather to expand upon the frontiers of current research. In addition to research talks, there will be three courses that will also be accessible to mathematicians working in closely related fields.

The workshop will be devoted to the varied and fruitful interactions between p-adic cohomology theories, the theory of p-adic deformations of modular forms and Galois representations, and the construction of p-adic L-functions arising from the latter using techniques drawn from the former, with special emphasis on their rich array of arithmetic applications.

The field of p-adic automorphic forms has seen a huge development in the last decades with the construction of p-adic families in many new context. Among this one can cite Hansen's construction of eigenvarieties using overconvergent cohomology, and the coherent approach using (partial) Igusa towers of Andreatta–Iovita–Pilloni. There have been immediate applications to the construction of p-adic L-functions in families and to the proof of several instances of the conjectures by Greenberg and Benois on trivial zeroes, such as the work of Barrera–Dimitrov–Jorza.

But the existence of these eigenvarieties have proved to be useful also for the study of many other interesting arithmetic problems.

The first example is given by the applications to the Bloch–Kato conjecture. Bloch and Kato conjectured that the most interesting arithmetic information concerning varieties (and more generally, geometric Galois representations) are contained in two objects: the Selmer group and the L-function. They also conjecture that all the information coming from the Selmer group can be recovered from the L-function. Some special cases of this conjecture have been proven: we cite for example the work of Bellaiche–Chenevier for unitary groups and Skinner–Urban for elliptic curves in rank less or equal than 2. The key ingredients in these works is the use of deformations of automorphic forms and their Galois representations in p-adic families to construction elements in the Selmer group.

Another example is the study of local properties of Galois representations and the corresponding p-adic Hodge theory. We cite the work of Kedlaya, Pottharst, and Xiao concerning the existence of triangulations in families for p-adic representations of p-adic fields arising from finite slope automorphic forms. Other related results are the works on the smoothness of eigenvarieties at critical points by Bergdall and Breuil–Hellmann–Schraen; it has implication on the existence of companion forms, which are different p-adic automorphic forms sharing the same Galois representations (such as a CM form and its Serre antiderivative).

Very recently two new geometric approaches have been developed in the study of p-adic families and their L-functions.

Andreatta and Iovita introduced the idea of vector bundles with marked sections, which not only allows one to recover their previous constructions of eigenvarieties but let them p-adic interpolate in families the de Rham cohomology of the modular curve and the Gauss–Manin connection. They can then construct triple product p-adic L-functions for finite slope families and anticyclotomic p-adic L-functions when p is inert in the CM field.

At the same time, the introduction of perfectoid spaces and adic geometric has brought new and fresh ideas in the field: one can cite the new construction of classical eigenvarieties by Chojecki–Hansen–Johansson using functions on the perfectoid tower of modular curves and the construction by Kriz of a new p-adic Maass–Shimura operator and anticyclotomic p-adic L-functions in the inert case. His strategy relies on Scholze's Hodge to de Rham comparison isomorphism, which has been recently upgraded to an integral comparison map by Bhatt–Morrow–Scholze.

These new geometric tools have already allowed the construction of new p-adic L-functions; the aim of the workshop is to bring together arithmetic people with the experts in these two innovative approaches to find new exciting applications, both to global (Galois representations and their L-functions) and local (integral p-adic Hodge theory) problems.

Combinatorial algebraic geometry comprises the parts of algebraic geometry where basic geometric phenomena can be described with combinatorial data, and where combinatorial methods are essential for further progress.

Research in combinatorial algebraic geometry utilizes combinatorial techniques to answer questions about geometry. Typical examples include predictions about singularities, construction of degenerations, and computation of geometric invariants such as Gromov-Witten invariants, Euler characteristics, the number of points in intersections, multiplicities, genera, and many more. The study of positivity properties of geometric invariants is one of the driving forces behind the interplay between geometry and combinatorics. Flag manifolds and Schubert calculus are particularly rich sources of invariants with positivity properties.

In the opposite direction, geometric methods provide powerful tools for studying combinatorial objects. For example, many deep properties of polytopes are consequences of geometric theorems applied to associated toric varieties. In other cases geometry is a source of inspiration. For instance, long-standing conjectures about matroids have recently been resolved by proving that associated algebraic structures behave as if they are cohomology rings of smooth algebraic varieties.

Much research in combinatorial algebraic geometry relies on mathematical software to explore and enumerate combinatorial structures and compute geometric invariants. Writing the required programs is a considerable part of many research projects. The development of new mathematics software is therefore prioritized in the program.

The program will bring together experts in both pure and applied parts of mathematics as well mathematical programmers, all working at the confluence of discrete mathematics and algebraic geometry, with the aim of creating an environment conducive to interdisciplinary collaboration. The semester will include four week-long workshops, briefly described as follows.

• A 'boot-camp' aimed at introducing graduate students and early-career researchers to the main directions of research in the program.

• A research workshop dedicated to geometry arising from flag manifolds, classical and quantum Schubert calculus, combinatorial Hodge theory, and geometric representation theory.

• A research workshop dedicated to polyhedral spaces and tropical geometry, toric varieties, Newton-Okounkov bodies, cluster algebras and varieties, and moduli spaces and their tropicalizations.

• A Sage/Oscar Days workshop dedicated to development of programs and software libraries useful for research in combinatorial algebraic geometry. This workshop will also feature a series of lectures by experts in polynomial computations.

In the fall semester of 1985, Prof. Jean-Pierre Serre taught at Harvard University an extended series of lectures of his course on Rational Points on Curves over Finite Fields , first taught at Collège de France. Fernando Gouvêa's handwritten notes of this course have been spread all around since then. These notes contain the origin and inspiration of most of the works on the topic since 1985: maximal curves, construction of curves from their jacobians, class field towers, asymptotics of the number of points, etc.

At last, these notes have been edited, revised and are going to be published by the Société Mathématique Française in the Documents Mathématiques series. The present workshop will celebrate the publication of these notes. Experts on the topic will explain the main progress since 1985 and will discuss open questions and new techniques on curves over finite fields. Plenary speakers will be asked to write down their talks in order to publish proceedings which will be a natural continuation of Serre’s book.

In arithmetic geometry, one studies solutions to polynomial equations defined with arithmetically interesting coefficients, such as integers or rational numbers. One way to study such objects, which has seen tremendous success in the last several decades, is by investigating their symmetries. Quite surprisingly, in several interesting situations, many of the geometric and arithmetic properties of the objects in question are actually controlled by the object’s symmetries.

Unfortunately, it is usually impossible to study these symmetries directly with current technology. To get around this, mathematicians working in this area often study simplified (often linearized) versions of the symmetries in question, which still capture a significant amount of information about the given object. This workshop will bring together both senior and junior researchers, including graduate students, postdocs, and leading experts, who study objects of geometric and arithmetic origin from the point of view of their symmetries and their linearized variants.

There is an age-old relationship between arithmetic and geometry, going back at least to Euclid's Elements. Historically, it has usually been geometry that has been used to enrich our understanding of arithmetic, but the purpose of this workshop is to study the flow of information in the other direction. Namely, how can arithmetic enhance our understanding of geometry? This meeting will bring together researchers from both sides of the partnership, to explore ways to bind the two fields ever closer together.

One focus of modern number theory is to study symmetries of numbers that are roots of polynomial equations. Collections of such symmetries are called Galois groups, and they often encode interesting arithmetical information. The theory of Galois representations provides a way to understand these Galois groups and in particular, how they interact with other areas of mathematics. This workshop will investigate how these Galois representations can be put together into families, and search for new arithmetic applications of these families.

This workshop aims at bringing together the leading experts in the field, covering a broad spectrum reaching from the more theoretically-oriented over the explicit to the algorithmic aspects. The fundamental problem motivating the workshop asks for a description of the set of rational points X(Q) for a given algebraic variety X defined over Q. When X is a curve, the structure of this set is known, and the most interesting question is how to determine it explicitly for a given curve. When X is higher-dimensional, much less is known about the structure of X(Q), even when X is a surface. So here the open questions are much more basic for our understanding of the situation, and on the algorithmic side, the focus is on trying to decide if a given variety does have any rational point at all.

This is a workshop with about 50 participants. Participation is by invitation. Every participant is expected to contribute actively to the success of the event, by giving talks and/or by taking part in the discussions.

Algebraic dynamics is the study of discrete dynamical systems on algebraic varieties. It has its origins in complex dynamics, where one studies self-maps of complex varieties, and now encompasses dynamical systems defined over global fields.

In recent years, researchers have fruitfully investigated the latter by applying number-theoretic techniques, particularly those of Diophantine approximation and geometry, subfields which study the metric and geometric behavior of rational or algebraic points of a variety. The depth of this connection has allowed the mathematical arrow between the two fields to point in both directions; in particular, arithmetic dynamics is providing new approaches to deep classical Diophantine questions involving the arithmetic of abelian varieties. This workshop will focus on communicating and expanding upon the connections between algebraic dynamics and Diophantine geometry. It will bring together leading researchers in both fields, with an aim toward synthesizing recent advances and exploring future directions and applications.

The GTA 2021 conference will bring together world class researchers in mathematics. Its main objectives are to discuss recent advances in the fields of algebraic geometry, number theory and their applications, as well as to foster international collaborations on connected topics.

Although contributions from all related areas of mathematics are welcome, particular emphasis will be placed on research interests of our late colleague Alexey Zykin, namely: zeta-functions and L-functions, algebraic geometry over finite fields, families of fields and varieties, abelian varieties and elliptic curves.

Despite the enormous commercial potential that quantum computing presents, the existence of large-scale quantum computers also has the potential to destroy current security infrastructures. Post-quantum cryptography aims to develop new security protocols that will remain secure even after powerful quantum computers are built. This workshop focuses on isogeny-based cryptography, one of the most promising areas in post-quantum cryptography. In particular, we will examine the security, feasibility and development of new protocols in isogeny-based cryptography, as well as the intricate and beautiful pure mathematics of the related isogeny graphs and elliptic curve endomorphism rings. To address the goals of both training and research, the program will be comprised of keynote speakers and working group sessions.

A conference on the occasion of Takeshi Saito's 60th birthday

This Conference has been organised in cooperation with the Society for Industrial and Applied Mathematics (SIAM).

Areas of interest include, but are not limited to: Topology. Kinematics. Algebraic topology of con?guration spaces of robot mechanisms. Topological aspects of path planning and sensor networks. Differential topology and singularity theory of robot mechanism and moduli spaces. Algebraic Geometry. Varieties generated by linkages and constraints. Geometry of stiffness and inertia matrices. Rigid-body motions. Computational approaches to algebraic geometry. Dynamical Systems and Control. Dynamics of robots and mechanisms. Simulation of multi-body systems, e.g. swarm robots. Geometric control of robots. Optimal control and other optimisation problems. Combinatorial and Stochastic Methods. Rigidity of structures. Path planning algorithms. Modular robots. Statistics. Stochastic control. Localisation. Navigation with uncertainty. Statistical learning theory. Cognitive Robotics. Mathematical aspects of Artificial Intelligence, Developmental Robotics and other Neuroscience based approaches.

Invited speakers: Dr Mini Saag – University of Surrey, UK Prof Frank Sottile - Texas A&M University, USA Prof Stefano Stramigioli - University of Twente, The Netherlands

The success of modern codes for large-scale optimization is heavily dependent on the use of effective tools of numerical linear algebra. On the other hand, many problems in numerical linear algebra lead to linear, nonlinear or semidefinite optimization problems. The purpose of the conference is to bring together researchers from both communities and to find and communicate points and topics of common interest. This Conference has been organised in cooperation with the Society for Industrial and Applied Mathematics (SIAM). Conference topics include any subject that could be of interest to both communities, such as: • Direct and iterative methods for large sparse linear systems. • Eigenvalue computation and optimization. • Large-scale nonlinear and semidefinite programming. • Effect of round-off errors, stopping criteria, embedded iterative procedures. • Optimization issues for matrix polynomials • Fast matrix computations. • Compressed/sparse sensing • PDE-constrained optimization • Distributed computing and optimization • Applications and real time optimization Invited Speakers Invited Speakers to be confirmed shortly. Registration Registration is currently open at https://my.ima.org.uk/ If you are an IMA Member or you have previously registered for an IMA conference, then you are already on our database. Please “request a new password” using the email address previously used, to log in. Call for Papers and Mini-Symposiums Mini-symposium proposals and contributed talks are invited on all aspects of numerical linear algebra and optimization. Mini-symposium proposals should be submitted to conferences@ima.org.uk by 31 January 2022. A mini-symposium consists of up to four speakers. For emerging topics the mini-symposium can be extended to at most two sessions on a single topic (maximum eight speakers). Organisers will be advised of acceptance by 14 February 2022. Contributed talks and mini-symposia talks will be accepted on the basis of a one page extended abstract which should be submitted by 28 February 2020 online at http://online.ima.org.uk/ or by e-mail to conferences@ima.org.uk. Authors will be advised of acceptance by 31 March 2022. A book of abstracts will be made available to delegates at the conference. Key deadlines Mini-symposia proposals: 31 January 2022 Notification of acceptance of mini-symposia: 14 February 2022 Abstract submission: 28 February 2022 Notification of acceptance of abstracts: 31 March 2022 Authors will be advised of acceptance by 31 March 2022. A book of abstracts will be made available to delegates at the conference.

Early Bird Conference Fees IMA/SIAM Member - £395.00 Non IMA/SIAM Member - £450.00 IMA/SIAM Student - £215.00 Non IMA/SIAM Student - £225.00 Conference Fees will increase by £20 on 22 May 2022 Day Delegate rate: A Day Delegate rate is also available for this Conference if you would like to attend one of the scheduled Conference days. If you would like to find out more information about our Day Delegate rate, please contact us at conferences@ima.org.uk

Accommodation The IMA have booked accommodation at Edgbaston Park Hotel on hold for delegates on a first-come, first-serve basis. The room is £90 Single occupancy, B&B which will be available to book until 16/05/2022. If you are interested in booking at this rate, please contact the Conferences Department for the booking code.

Organising Committee Michal Kocvara, University of Birmingham (co-chair) Daniel Loghin, University of Birmingham (co-chair) Coralia Cartis, University of Oxford Nick Gould, Rutherford Appleton Laboratory Philip Knight, University of Strathclyde Jennifer Scott, Rutherford Appleton Laboratory Valeria Simoncini, University of Bologna Contact information For general conference queries please contact the Conferences Department, Institute of Mathematics and its Applications, Catherine Richards House, 16 Nelson Street, Southend-on-Sea, Essex, SS1 1EF, UK. E-mail: conferences@ima.org.uk Tel: +44 (0) 1702 354 020