Related papers: Theory @ Hard Probes 2013
These notes overlap with lectures given at the TASI summer schools in 2014 and 2011, as well as at the European School of High Energy Physics in 2013. This is primarily an attempt at transcribing my hand-written notes, with emphasis on…
This is the report of the "Quantum General Relativity" session, at the 16th International Conference on General Relativity & Gravitation, held on July 15th to 21st 2001, in Durban, South Africa. The report will appear on the Proceedings of…
This thesis is concerned with investigations into the "complexity of term rewriting systems". Moreover the majority of the presented work deals with the "automation" of such a complexity analysis. The aim of this introduction is to present…
These are partial lecture notes from the fifteen Ess\'en Lectures for graduate students at Uppsala University given (in four days!) in June 2013.
I review the recent results in the field of QCD at high energy presented to this Conference. In particular, I will concentrate on measurements of $\as$ from studies of event structures and jet rates, jet production in hadronic collisions,…
These are the proceedings of the workshop "HadAtom03," held at the European Centre for Theoretical Nuclear Physics and Related Studies (ECT*), Trento (Italy), October 13 - 17, 2003. The main topics discussed at the workshop were the physics…
Experimental summary talk given at International Conference on Ultrarelativistic Nucleus-Nucleus Collisions (QM2001), Stony Brook, New York, 15-20 Jan 2001.
I summarise the theoretical talks at Moriond 2015, with emphasis on naturalness.
Summary of the experimental results presented at the 51st edition of the Moriond Electroweak and Unified Theories conference held in March 2016 at La Thuile, Italy.
Talk given at Orbis Scientiae Conference, Coral Gables, FLA, Dec. 16-19, 1999. Talk surveys some recent three-neutrino models of neutrino masses and mixings.
Theory Summary Talk given by Tamas S. Biro at SQM 2013, Birmingham, UK.
The Sixth International Conference on Applied Category Theory took place at the University of Maryland, 31 July -- 4 August 2023. This conference follows the previous meetings at Leiden (2018), Oxford (2019), MIT (2020, fully online),…
Summary talk at ICHEP 2002, Amsterdam, July 2002. I have kept very close to the content and style of the talk as it was delivered. You may access the associated PowerPoint presentation through a link at…
This talk summarizes topical theoretical work for tests of the electroweak theory and reviews the status of the electroweak Standard Model in view of the recent precision data reported at the 1997 summer conferences.
In this report, which is an extended version of that appearing in the Proceedings of GR16, I will give a summary of the main topics covered in Session A.3. on mathematical relativity at GR16, Durban. The summary is mainly based on extended…
Types for Proofs and Programs is the annual meeting of the Types Project, whose aim is to develop the technology of formal reasoning and computer programming based on Type Theory. This is done by improving the languages and computerised…
This is the text of the 'Theory' opening talk at the 2001 Strongly Correlated Electron Systems conference. It contains opinions about some of the outstanding scientific challenges facing the theory side of the correlated electrons field.
I present an overview of predictions for the heavy ion program at the Large Hadron Collider. It is mainly based on the material presented during the workshop 'Heavy Ion Collisions at the LHC - Last Call for Predictions', held in the frame…
The theory part of the conference is summarized with certain emphasis on the results concerning the pomeron in soft and hard processes.
This EPTCS volume collects the post-proceedings of the 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012), held as part of the Conferences on Intelligent Computer Mathematics (CICM 2012) in Bremen on July 11th…