Related papers: A theory perspective on Top2014
HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress. Previous editions of HOR were held in Copenhagen -…
This is the final report on reproducibility@xsede, a one-day workshop held in conjunction with XSEDE14, the annual conference of the Extreme Science and Engineering Discovery Environment (XSEDE). The workshop's discussion-oriented agenda…
I summarize the highlights of "Cosmic Flows: Towards an Understanding of the Large-scale Structure in the Universe", a workshop held in Victoria, Canada in July 1999.
This is a paper in Analytic Topology.
At the time of the 10th International Workshop on Top Quark Physics (TOP2017), top quark physics is a very dynamic research area. Thanks to the unprecedentedly fast accumulation of high-energy data at the LHC during the ongoing Run~2,…
A candidate theory of gravity quantized is reviewed.
Lecture notes in french of the lecture on surface tension given in 2015 and 2016 at the preparation to "Agr\'egation de physique" in the Ecole Normale Sup\'erieure de Lyon
We present a conceptually clear introduction to quantum theory, deriving the theory from scratch from the point of view of quantum information. Different subsets of these lectures were taught to a wide variety of audiences, including…
These proceedings summarize my plenary talk at Quark Matter 2011 with a focus on the future perspectives of the low energy programs at RHIC, FAIR, NICA and CERN.
This is the written version of the opening talk at the symposium "Expectations of a Final Theory," at Trinity College, Cambridge, on September 2, 2005. It is to be published in Universe or Multiverse?, ed. B. Carr (Cambridge University…
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices with their mutual quotations forming the edges in a network…
These notes are a written version of a set of lectures given at TASI-02 on the topic of effective field theories. They are meant as an introduction to some of the latest techniques and applications in the field.
The purpose of this paper is to present a systematic exposition of the main results obtained in the studies carried out in groupoid theory. Key words and phrases: groupoid, topological groupoid, Lie groupoid, group-groupoid, vector…
This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as part of the International Conference on Automated Deduction (CADE 2015) on August 2-3, 2015 in Berlin. The PxTP…
I review a selection of the talks at the QCD Session of the XL Rencontre de Moriond, talks either by theorists or else of special theoretical interest. I use the talks to provide some assessment of where we stand with respect to the…
This is an introduction to Homotopy Type Theory and Univalent Foundations for philosophers, written as a chapter for the book "Categories for the Working Philosopher" (ed. Elaine Landry)
This note is the written version of conversations with young colleagues on unofficial history, general ideas, unexpected facts and open problems concerning tilting theory.
This talk summarises the discussions during the conference on the spin structure of the nucleon held at Erice; July 1995. The summary focuses on where we have come, where we are now, and the emerging questions that direct where we go next…
Making sense of theory choice in normal and across extraordinary science is central to philosophy of science. The emergence of machine learning models has the potential to act as a wrench in the gears of current debates. In this paper, I…
The physics perspectives of the production and decay of single top quarks and top quark pairs at the CERN Large Hadron Collider (LHC) are reviewed from a phenomenological point of view.