BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Conjectural Enumerations of Trimer Covers of Finite Subgraphs of t
he Triangular Lattice (Remote)
DTSTART;VALUE=DATE-TIME:20211130T155000Z
DTEND;VALUE=DATE-TIME:20211130T164000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-6010@indico.math.cnrs.fr
DESCRIPTION:Speakers: James Propp (Umass Lowell)\nThe work of Conway and L
agarias applying combinatorial group theory to packing problems suggests w
hat we might mean by “domain-wall boundary conditions” for the trimer
model on the infinite triangular lattice in which the permitted trimers ar
e triangle trimers and three-in-a-line trimers. Looking at subregions of t
he lattice with those sorts of boundaries\, we find intriguing numerology
governing the number of trimer covers. This wealth of conjecture is in sta
rk contrast with the paucity of mathematical tools that permit exact enume
ration of trimer covers as compared to dimer covers.\n\nhttps://indico.mat
h.cnrs.fr/event/7040/contributions/6010/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/6010/
END:VEVENT
BEGIN:VEVENT
SUMMARY:q-cut-and-join Operators and q-Capelli Identity on Reflection Equa
tion Algebras (in person)
DTSTART;VALUE=DATE-TIME:20211130T110000Z
DTEND;VALUE=DATE-TIME:20211130T115000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5960@indico.math.cnrs.fr
DESCRIPTION:Speakers: Dimitri Gurevich (Valenciennes University)\nThere ex
ists a way\, based on the notion of Quantum Doubles\, to introduce analogs
of partial derivatives on the so-called Reflection Equation algebras. Ana
logously to the classical case it is possible to use these ”q-derivative
s” for different applications. I plan to explain their utility for const
ructing q-analogs of the Casimir operators\, close to them cut-and-join op
erators\, and the Capelli identity.\n\nhttps://indico.math.cnrs.fr/event/7
040/contributions/5960/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5960/
END:VEVENT
BEGIN:VEVENT
SUMMARY:An Update on Algebraic Hypergeometric Series (Remote)
DTSTART;VALUE=DATE-TIME:20211201T155000Z
DTEND;VALUE=DATE-TIME:20211201T164000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5971@indico.math.cnrs.fr
DESCRIPTION:Speakers: Maxim Kontsevich (IHES)\nAlgebraic hypergeometric se
ries in one variable were classified in 1989 by F. Beukers and G. Heckman\
, in terms of finite complex reflection groups. Recently\, K. Penson obser
ved that one of such series is a generating series of a probability densit
y with compact support\, given again by an algebraic function. Then togeth
er with N. Behr\, G. Duchamp and G. Koshevoy\, we found that this is a gen
eral phenomenon. The proof is an immediate application on an explicit inte
gral by Bateman and Erdélyi.The probability density is so called Meijer
’s G-function\, which the unique solution of the hypergeometric differen
tial equation with the pure ramification at point 1. I will speak about it
\, and also on the genus zero property of the corresponding planar algebra
ic curve.\n\nhttps://indico.math.cnrs.fr/event/7040/contributions/5971/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5971/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Distance\, Strong Convexity\, Flagness\, and Associahedra (in pers
on)
DTSTART;VALUE=DATE-TIME:20211202T155000Z
DTEND;VALUE=DATE-TIME:20211202T164000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5978@indico.math.cnrs.fr
DESCRIPTION:Speakers: Lionel Pournin (LIPN\, Paris-North University)\nOne
can always transform a triangulation of a convex polygon into another by p
erforming a sequence of edge flips\, which amounts to follow a path in the
graph G of the associahedron. The least number of flips required to do so
is then a distance in that graph whose estimation is instrumental in a va
riety of contexts\, as for instance in computational biology\, in computer
science\, or in algebraic topology. On the other hand\, it is known that
paths in G correspond to a certain kind of 3-dimensional triangulation. Th
is talk is about the recent proof that these 3-dimensional triangulations
are flag when the corresponding path is a geodesic. This result\, that pro
vides a new powerful tool to study the geometry of G\, can be thought of a
s a 3-dimensional analogue of a well-known strong convexity property of G.
Several consequences on the computation of distances in G and on strong c
onvexity in related graphs will be discussed. This talk is based on joint
work with Zili Wang (Dartmouth College).\n\nhttps://indico.math.cnrs.fr/ev
ent/7040/contributions/5978/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5978/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Noncommutative Birational Rowmotion on Rectangles (Remote)
DTSTART;VALUE=DATE-TIME:20211130T130000Z
DTEND;VALUE=DATE-TIME:20211130T135000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5961@indico.math.cnrs.fr
DESCRIPTION:Speakers: Darij Grinberg (Drexel University)\nThe operation of
birational rowmotion on a finite poset has been a mainstay in dynamical a
lgebraic combinatorics for the last 8 years.\nSince 2015\, it is known tha
t for a rectangular poset of the form $[p] \\times [q]$\, this operation i
s periodic with period $p + q$. (This result\, as has been observed by Max
Glick\, is equivalent to Zamolodchikov’s periodicity conjecture in type
AA\, proved by Volkov.)\nIn this talk\, I will outline a proof (joint wor
k with Tom Roby) of a noncommutative generalization of this result. The ge
neralization does not quite extend to the full generality one could hope f
or it covers noncommutative rings\, but not semirings\; however\, the proo
f is novel and simpler than the original commutative one. Extending this t
o semirings and to other posets is work in progress.\n\nhttps://indico.mat
h.cnrs.fr/event/7040/contributions/5961/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5961/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Asymptotic Distribution of Parameters in Trivalent Maps and Linear
Lambda Terms (in person)
DTSTART;VALUE=DATE-TIME:20211201T130000Z
DTEND;VALUE=DATE-TIME:20211201T135000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5968@indico.math.cnrs.fr
DESCRIPTION:Speakers: Alexandros Singh (LIPN\, Paris-North University)\nSt
ructural properties of large random maps and lambda-terms may be gleaned b
y studying the limit distributions of various parameters of interest. In o
ur work we focus on restricted classes of maps and their counterparts in t
he lambda-calculus\, building on recent bijective connections between thes
e two domains. In such cases\, parameters in maps naturally correspond to
parameters in lambda-terms and vice versa. By an interplay between lambda-
terms and maps\, we obtain various combinatorial specifications which allo
w us to access the distributions of pairs of related parameters such as: t
he number of bridges in rooted trivalent maps and of subterms in closed li
near lambda-terms\, the number of vertices of degree 1 in (1\,3)-valent ma
ps and of free variables in open linear lambda-terms etc. To analyse asymp
totically these distributions\, we introduce appropriate tools: a moment-p
umping schema for differential equations and a composition schema inspired
by Bender’s theorem.\nJoint work with Olivier Bodini and Noam Zeilberge
r.\n\nhttps://indico.math.cnrs.fr/event/7040/contributions/5968/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5968/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ambitropical Convexity\, Mean Payoff Games and Nonarchimedean Conv
ex Programming (in person)
DTSTART;VALUE=DATE-TIME:20211202T135000Z
DTEND;VALUE=DATE-TIME:20211202T144000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5976@indico.math.cnrs.fr
DESCRIPTION:Speakers: Stéphane Gaubert (INRIA & Ecole Polytechnique)\nCon
vex sets can be defined over ordered fields with a non-archimedean valuati
on. Then\, tropical convex sets arise as images by the valuation of non-ar
chimedean convex sets. The tropicalization of polyhedra and spectrahedra c
an be described in terms of deterministic and stochastic games with mean p
ayoff\, being characterized in terms of sub or super-fixed point sets of S
hapley operators\, which determine the value of the game. This is motivate
d by open complexity issues in linear programming. We shall discuss here e
specially a generalization of tropical convexity: considering fixed point
sets of Shapley operators\, instead of sub or super-fixed points sets\, le
ads to a richer “ambitropical” theory\, which includes tropical convex
ity and its dual in a unified framework. We shall present several characte
rizations of ambitropical convex sets\, with features related to normed sp
aces (nonexpansive retracts and hyperconvexity)\, lattice theory (order pr
eserving retracts)\, or of a combinatorial nature (cell decompositions in
alcoved polyhedra).\nThe results on ambitropical convexity is from a work
with Akian and Vannucci\; the ones on the tropicalization of nonarchimedea
n convex sets are from works with Allamigeon\, Benchimol\, Joswig and Skom
ra.\n\nhttps://indico.math.cnrs.fr/event/7040/contributions/5976/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5976/
END:VEVENT
BEGIN:VEVENT
SUMMARY:A Tropical Version of Hilbert Polynomial (remote)
DTSTART;VALUE=DATE-TIME:20211202T130000Z
DTEND;VALUE=DATE-TIME:20211202T135000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5975@indico.math.cnrs.fr
DESCRIPTION:Speakers: Dimitri Grigoryev (CNRS Painlevé Lab\, Univ. Lille)
\nWe define Hilbert function of a semiring ideal of tropical polynomials i
n n variables. For $n = 1$ we prove that it is the sum of a linear functio
n and a periodic function (for sufficiently large values). The leading coe
fficient of the linear function equals the tropical entropy of the ideal.
For an arbitrary n we discuss a conjecture that the tropical Hilbert funct
ion of a radical ideal is a polynomial of degree at most $n − 1$ (for su
fficiently large values). For $n = 1$ the conjecture is true\, also we hav
e proved it for zero- dimensional ideals and for planar tropical curves.\n
\nhttps://indico.math.cnrs.fr/event/7040/contributions/5975/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5975/
END:VEVENT
BEGIN:VEVENT
SUMMARY:A Functorial Excursion between Algebraic Geometry and Linear Logic
(in person)
DTSTART;VALUE=DATE-TIME:20211201T095000Z
DTEND;VALUE=DATE-TIME:20211201T104000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5974@indico.math.cnrs.fr
DESCRIPTION:Speakers: Paul-André Melliès (CNRS\, Université de Paris)\n
In this talk\, I will use the functor of points approach to Algebraic Geom
etry to establish that every covariant presheaf X on the category of commu
tative rings — and in particular every scheme X — comes equipped “ab
ove it” with a symmetric monoidal closed category PshModX of presheaves
of modules. This category PshModX defines moreover a model of intuitionist
ic linear logic\, whose exponential modality is obtained by glueing togeth
er in an appropriate way the Sweedler dual construction on ring algebras.
The purpose of this work is to explore the idea that linear logic is a log
ic of generalised vector bundles\, in the same way as dependent type theor
y is understood today as a logic of spaces up to homotopy.\n\nhttps://indi
co.math.cnrs.fr/event/7040/contributions/5974/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5974/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Modularity of Conifold Fibers in some Hypergeometric Families (in
person)
DTSTART;VALUE=DATE-TIME:20211202T095000Z
DTEND;VALUE=DATE-TIME:20211202T104000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5973@indico.math.cnrs.fr
DESCRIPTION:Speakers: Vasily Golyshev (IITP RAS Moscow & IHES)\nI will exp
lain how the computational technique of fibered motives can be used to obt
ain modularity proofs for certain conifold fibers in Calabi-Yau families (
joint with Don Zagier\, and with Kilian Bönisch and Albrecht Klemm).\n\nh
ttps://indico.math.cnrs.fr/event/7040/contributions/5973/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5973/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Anomalous Statistics of Extreme Random Processes (in person)
DTSTART;VALUE=DATE-TIME:20211201T150000Z
DTEND;VALUE=DATE-TIME:20211201T155000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5970@indico.math.cnrs.fr
DESCRIPTION:Speakers: Sergei Nechaev (Poncelet Laboratory Moscow)\nI plan
to discuss three problems of extremal statistics in which unusual (but rel
ated to each other) features arise:\na) statistics of two-dimensional ”s
tretched” random walks above a semicircle\,\nb) spectral properties of s
parse random matrices\,\nc) statistics of one-dimensional paths in the Poi
ssonian field of traps. I will pay attention to the relationship of these
problems with the Anderson localization in 1D\, and with some number-theor
etic properties of eta-Dedekind function.\n\nhttps://indico.math.cnrs.fr/e
vent/7040/contributions/5970/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5970/
END:VEVENT
BEGIN:VEVENT
SUMMARY:How to Conjecture and Prove that the Generating Function of the Ya
ng- Zagier Numbers is Algebraic (in person)
DTSTART;VALUE=DATE-TIME:20211201T135000Z
DTEND;VALUE=DATE-TIME:20211201T144000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5969@indico.math.cnrs.fr
DESCRIPTION:Speakers: Sergey Yurkevich (University of Vienna & INRIA)\nIn
a recent paper Don Zagier mentions a mysterious integer sequence $(a_{n})_
{n≥0}$ which arises from a solution of a topological ODE discovered by M
arco Bertola\, Boris Dubrovin and Di Yang. In my talk I show how to conjec
ture\, prove and even quantify that $(a_{n})_{n≥0}$ actually admits an a
lgebraic generating function which is therefore a very particular period.
The methods are based on experimental mathematics and algorithmic ideas in
differential Galois theory\, which I will show in the interactive part of
the talk. The presentation is based on joint work with A. Bostan and J.-A
. Weil.\n\nhttps://indico.math.cnrs.fr/event/7040/contributions/5969/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5969/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Enumeration and Generation of Young Tableaux with Walls: the Densi
ty Method (in person)
DTSTART;VALUE=DATE-TIME:20211202T110000Z
DTEND;VALUE=DATE-TIME:20211202T115000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5966@indico.math.cnrs.fr
DESCRIPTION:Speakers: Cyril Banderier (CNRS & LIPN\, Paris-North Universit
y)\nWe consider a generalization of Young tableaux in which we allow some
consecutive pairs of cells with decreasing labels\, conveniently visualize
d by a ”wall” between the corresponding cells. This leads to new class
es of recurrences\, and to a surprisingly rich zoo of generating functions
(algebraic\, hypergeometric\, D-finite\, differentially-algebraic). Some
patterns lead to nice bijections with trees\, lattice paths\, or permutati
ons. Our approach relies on the density method\, a powerful way to perform
both uniform random generation and enumeration. It finds its origins in n
umber theory (values of the zeta function\, with a Kontsevich-Zagier perio
d point of view) and in poset theory (volume of polytopes). We also apply
this approach to describe the asymptotic fluctuations of the limit surface
of Young tableaux.\nBased on several articles with Philippe Marchal and M
ichael Wallner.\n\nhttps://indico.math.cnrs.fr/event/7040/contributions/59
66/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5966/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Crystal Operators on Cluster Algebras (Remote)
DTSTART;VALUE=DATE-TIME:20211130T135000Z
DTEND;VALUE=DATE-TIME:20211130T144000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5977@indico.math.cnrs.fr
DESCRIPTION:Speakers: Volker Genz (IBS CGP)\nCrystal operators on canonica
l bases as introduced by Kashiwara/Lusztig provide in particular a toolbox
to compute within the category of finite dimensional representations of f
inite dimensional simple Lie algebras. Motivated by this we introduce cert
ain operators on the lattice of tropical points of mirror dual A- and X-cl
uster spaces. In particular\, this yields a crystal-like structure on the
canonical basis due to Gross-Hacking-Keel-Kontsevich. We expect these oper
ators to have a wider range of applications in the theory of cluster algeb
ras and in physics. This is partially based on joint work with Gleb Koshev
oy and Bea Schumann.\n\nhttps://indico.math.cnrs.fr/event/7040/contributio
ns/5977/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5977/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Noncommutative Wick Polynomials (in person)
DTSTART;VALUE=DATE-TIME:20211202T090000Z
DTEND;VALUE=DATE-TIME:20211202T095000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5972@indico.math.cnrs.fr
DESCRIPTION:Speakers: Frédéric Patras (CNRS/Université Côte d'Azur)\nW
ick polynomials are at the foundations of QFT (they encode normal ordering
s) and probability (they encode chaos decompositions). In this lecture\, w
e survey the construction and properties of noncommutative (or free) analo
gs using shuffle\nHopf algebra techniques. Based on joint works with K. Eb
rahimi-Fard\, N. Tapia and L. Zambotti.\n\nhttps://indico.math.cnrs.fr/eve
nt/7040/contributions/5972/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5972/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Geometry\, Matter and Physics (in person)
DTSTART;VALUE=DATE-TIME:20211201T110000Z
DTEND;VALUE=DATE-TIME:20211201T115000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5967@indico.math.cnrs.fr
DESCRIPTION:Speakers: Richard Kerner (LPTMC\, Sorbonne-Université)\nWe sh
ow how the fundamental statistical properties of quantum fields combined w
ith the superposition principle lead to continuous symmetries including th
e $SL(2\, C)$ group and the internal symmetry groups $SU(2)$ and $SU(3)$.
The exact colour symmetry is related to ternary $Z_{3}$-graded generalizat
ion of the fermionic commutation relations for quarks. A $Z_{3}$-graded ge
neralization of the Dirac equation is presented\, and its invariance prope
rties are analyzed. They lead to an enlarged $Z_{3}$-graded Lorentz group\
, operating in the Hilbert space of quark states including flavors and gen
erations.\n\nhttps://indico.math.cnrs.fr/event/7040/contributions/5967/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5967/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Some New Taylor-BKAR Formulas (in person)
DTSTART;VALUE=DATE-TIME:20211201T090000Z
DTEND;VALUE=DATE-TIME:20211201T095000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5965@indico.math.cnrs.fr
DESCRIPTION:Speakers: Léonard Ferdinand and Vincent Rivasseau (Lab. de ph
ysique des deux infinis Irène Joliot-Curie\, Université Paris-Saclay)\nW
e here introduce some combinatorial and analytic tools\, conceived to make
possible to perform new expansions in the context of constructive field t
heory and multiscale analysis. These formulas generalize the idea of perfo
rming cluster expansion using a sum indexed by forest to the case of a Tay
lor expansion of order more than zero. They are expected to help construct
new field theories of the matrices and tensors type.\n\nhttps://indico.ma
th.cnrs.fr/event/7040/contributions/5965/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5965/
END:VEVENT
BEGIN:VEVENT
SUMMARY:String Cones and Cluster Varieties (Remote)
DTSTART;VALUE=DATE-TIME:20211130T150000Z
DTEND;VALUE=DATE-TIME:20211130T155000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5963@indico.math.cnrs.fr
DESCRIPTION:Speakers: Bea Schumann (University of Cologne)\nWe study defin
ing inequalities of string cones via a potential function on a reduced dou
ble Bruhat cell. We give a necessary criterion for the potential function
to provide a minimal set of inequalities via tropicalization and conjectur
e an equivalence. This is based on joint work with Gleb Koshevoy.\n\nhttps
://indico.math.cnrs.fr/event/7040/contributions/5963/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5963/
END:VEVENT
BEGIN:VEVENT
SUMMARY:On the Solutions of Knizhnik-Zamolodchikov Differential Equations
by Noncommutative Picard-Vessiot Theory (in person)
DTSTART;VALUE=DATE-TIME:20211202T150000Z
DTEND;VALUE=DATE-TIME:20211202T155000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5962@indico.math.cnrs.fr
DESCRIPTION:Speakers: Vincel Hoang Ngoc Minh (LIPN\, Paris-North Universit
y)\nIn this talk\, basing on the algebraic combinatorics on noncommutative
formal power series with holomorphic coefficients and\, on the other hand
\, a Picard-Vessiot theory of noncommutative differential equations\, we g
ive a recursive construction of solutions of the Knizhnik-Zamolodchikov eq
uations satisfying asymptotic conditions.\n\nhttps://indico.math.cnrs.fr/e
vent/7040/contributions/5962/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5962/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Maximally Dense Sphere Packings (Remote)
DTSTART;VALUE=DATE-TIME:20211130T095000Z
DTEND;VALUE=DATE-TIME:20211130T104000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5959@indico.math.cnrs.fr
DESCRIPTION:Speakers: Thomas Fernique (CNRS & LIPN\, Paris-North Universit
y)\nIt is well known that to cover the greatest proportion of the Euclidea
n plane with identical disks\, we have to center these disks in a triangul
ar grid. This problem can be generalized in two directions: in higher dime
nsions or with different sizes of disks. The first direction has been the
most studied (for example\, in dimension 3\, the Kepler’s conjecture was
proved by Hales and Ferguson in 1998). In this talk\, we will rather focu
s on the second direction\, in particular on the cases of two or three dis
c sizes. We will survey recent results for a large audience.\n\nhttps://in
dico.math.cnrs.fr/event/7040/contributions/5959/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5959/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Towards Executable Applied Category Theory in Coq (Remote)
DTSTART;VALUE=DATE-TIME:20211130T090000Z
DTEND;VALUE=DATE-TIME:20211130T095000Z
DTSTAMP;VALUE=DATE-TIME:20220524T130703Z
UID:indico-contribution-7040-5958@indico.math.cnrs.fr
DESCRIPTION:Speakers: Nicolas Behr (CNRS\, Université de Paris\, IRIF)\nT
his talk will present the ”coreact.wiki” initiative\, which aims to de
velop a novel form of wiki engine that will couple a database of human-rea
dable mathematical knowledge with a database containing machine-readable a
nd -executable representations of this knowledge in proof assistants such
as Coq. For the concrete example of analytic combinatorics à la Flajolet
and Sedgewick\, I will provide an overview of the types of statements that
can be efficiently formalized in Coq at present and in the near future\,
and how we plan to provide an interactive web-based interface to the ”co
react.wiki” platform based upon jsCoq to permit computations and formal
proofs in a user-friendly fashion. Time permitting\, I will also sketch th
e possibility of extracting prototypical reference algorithms from formali
zed categorical statements in Coq via the use of SMT solvers.\n\nhttps://i
ndico.math.cnrs.fr/event/7040/contributions/5958/
LOCATION:Le Bois-Marie Centre de conférences Marilyn et James Simons
URL:https://indico.math.cnrs.fr/event/7040/contributions/5958/
END:VEVENT
END:VCALENDAR