Related papers: The Tate conjecture over finite fields (AIM talk)

These notes are from a 4-lecture mini-course taught by the author at the conference on von Neumann algebras as part of the ``Geometrie non commutative en mathematiques et physique'' month at CIRM in 2004.

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) that will…

These notes reproduce the content of a short, 50-minutes, survey talk given at the Nice University in September, 2004. We added a few topics that have not been touched on in the lecture by lack of time.

We continue the work of [5] and [3], in which are considered papers in the literature that discuss fixed point assertions in digital topology. We discuss published assertions that are incorrect or incorrectly proven; that are severely…

These are the notes for some lectures given by this author at Harish-Chandra Research Institute, Allahabad in March 2014 for a workshop on Schur multipliers. The lectures aimed at giving an overview of the subject with emphasis on groups of…

This article is the written version of the closing talk presented at the conference `A Century of Cosmology' held at San Servolo, Italy, in August 2007. I focus on the prospects of constraining fundamental physics from cosmological…

Notes from lectures given at the Autumn School on Algebraic and Arithmetic Geometry at the Johannes Gutenberg-Universit\"at Mainz in October 2017.

This is my article on Tate's work for the second volume in the book series on the Abel Prize winners. True to the epigraph, I have attempted to explain it in the context of the "great reformulation".

These notes contain a survey of some aspects of the theory of graded differential algebras and of noncommutative differential calculi as well as of some applications connected with physics. They also give a description of several new…

These are notes on Zhang's work and subsequent developments produced in preparation for 5 hours of talks for a general mathematical audience given in Cambridge, Edinburgh and Auckland over the last year. Being for colloquium-style talks,…

This is a survey of open problems in different parts of combinatorial and additive number theory. The paper is based on lectures at the Centre de Recerca Matematica in Barcelona on January 23 and January 25, 2008.

On June 5, 2007 the second author delivered a talk at the Journees de l'Institut Elie Cartan entitled "Finite symmetry groups in complex geometry". This paper begins with an expanded version of that talk which, in the spirit of the…

Summary talk at the Lepton-Photon Symposium, Cornell University, Aug. 10-15, 1993.

These are the revised notes of my lectures at the 1995 Santa Cruz summer institute. Changes from the Jan.26,1996 version: Major: 7.1--2; Medium: 3.7, 3.11, 5.3.3, 7.9.2, 9.8.

This volume contains the proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th International…

This volume includes a selection of papers presented at the 2nd Workshop on Advancing Artificial Intelligence through Theory of Mind held at AAAI 2026 in Singapore on 26th January 2026. The purpose of this volume is to provide an open…

This is the Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence, which was held in Stanford, CA, July 17-19, 1992

These are expanded notes from lectures given at the \'{E}tats de la Recherche workshop on "Derived algebraic geometry and interactions". These notes serve as an introduction to the emerging theory of Poisson structures on derived stacks.

This is the Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence, which was held in Acapulco, Mexico, August 7-10 2003

This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances. The approach is based on the idea of reducing…