Mercoledì 22 aprile alle ore 16:00, il Prof. Lionel Vaux Auclair (Université d'Aix-Marseille) terrà un Colloquium di Matematica dal titolo "Lambda-calculus, linear logic, and all that...".Abstract:After a brief (and hopefully gentle) overview of the Curry-Howard…

Mercoledì 1 aprile alle ore 16:00, il Prof. Stefan Teufel (Universität Tübingen) terrà un Colloquium di Matematica dal titolo "Finding spectral gaps in quasicrystals".Abstract:Tight-binding operators are bounded linear operators on l^2(Gamma), where Gamma is a countable discrete…

Mercoledì 18 marzo 2026 alle ore 16.00, presso il Dipartimento di Matematica e Fisica (Lungotevere Dante 376 - Aula M1), il prof. David Masser (Basilea) terrà il Colloquium di Matematica dal titolo "Lower bounds for heights over function fields".Abstract:After introducing heights we discuss…

Mercoledì 26 novembre 2025 alle ore 16.00, presso il Dipartimento di Matematrica e Fisica (Lungotevere Dante 376 - Aula M1)., il prof. Bjorn Poonen (MIT) terrà il Colloquium di Matematica dal titolo "Tetrahedra and exponential diophantine equations".Abstract:Dehn answered Hilbert's third problem…

Mercoledì 22 ottobre alle ore 16:00 , il Prof. Matt Gursky (University of Notre Dame) terrà un Colloquium di Matematica dal titolo "Einstein metrics: (non)-existence and rigidity questions".Abstract:In this talk I will give an overview of…

Giovedì 26 Giugno alle ore 16.00, presso il Dipartimento di Matematica e Fisica (Aula M1 - Lungotevere Dante 376), il prof. René Schoof terrà il Colloquium di Matematica dal titolo "30 years of Fermat's Last Theorem".Abstract:In 1994 Andrew Wiles presented a proof of Fermat's…

Mercoledì 9 Aprile alle ore 16.00, presso il Dipartimento di Matematica e Fisica (Aula M1 - Lungotevere Dante 376), il prof. Roberto Natalini (Direttore dell'Istituto per le Applicazioni del Calcolo "M. Picone", Consiglio Nazionale delle Ricerche) terra' il Colloquium di…

Mercoledì 29 gennaio alle ore 16.00, il Prof. Marcel Guardia (Universitat de Barcelona) terra' il Colloquium di Matematica dal titolo " Unstable motions in Celestial Mechanics ".Abstract:One of the oldest problems in dynamical systems is the stability of the Solar…

Lunedì 2 dicembre 2024, alle ore 16.00, presso il Dipartimento di Matematica e Fisica (Aula M1 - Lungotevere Dante 376), si terrà il prossimo Colloquium di Matematica del prof. Jarod Alper (University of Washington) dal titolo…

Lunedì 14 ottobre 2024 alle ore 16:00, presso il Dipartimento di Matematica e Fisica, si terrà un colloquium di teoria dei numeri del prof. Ken Ono (University of Virginia) dal titolo "Partitions Detect Primes".               …

Venerdì 24 Maggio alle ore 14:30, Laura DeMarco (Harvard University), terrà il Colloquium di Matematica dal titolo "The Mandelbrot set: geometry and arithmetic".Abstract: The Mandelbrot set M has been studied for many years and continues to baffle mathematicians.…

Martedì 14 novembre alle ore 16:15, Michel Waldschmidt (Sorbonne University Institut Mathématique de Jussieu), terrà il Colloquium di Matematica dal titolo "On the abc Conjecture and some of its consequences".Abstract:According to Nature News, 10 September 2012, quoting Dorian Goldfeld, the abc Conjecture is…

Venerdì 24 giugno  alle ore 11:00, Umberto Zannier (Scuola Normale Superiore) , terrà il Colloquium di Matematica dal titolo "Dalle radici dell'unità a Manin-Mumford e oltre". (Un "survey" sulla teoria dei punti di torsione su gruppi algebrici).Abstract:Intendo presentare alcuni…

We will describe network processes in which, at each step, each node communicates with its neighbors, or a random subset of neighbors, and updates its state according to the outcome of these communications. We will…

Given a complete Riemannian manifold that looks enough like Euclidean space at infinity, physicists have defined a quantity called the “mass” that measures the asymptotic deviation of the geometry from the Euclidean model. After first…

We review some probabilistic interpretations of symmetric and skew-symmetric Fock spaces related to Markov processes. Most results will be presented in the simple context of finite graphs.

Giving meaning to programs through axiomatic, denotational, and operational semantics is one of the main goals of theoretical computer science since its early days. Traditionally, program semantics is built around notions of program equivalence and…