相关论文: Theory @ Hard Probes 2013

These proceedings contain research results presented during the Workshops "Quark Matter in Astro- and Particle Physics" held at the University of Rostock, November 27-29, 2000 and "Dynamical Aspects of the QCD Phase Transition" held at the…

In connection to the development of the field of Combinatorics on Words, we present a list of open problems and conjectures that were stated during the ten last meetings WORDS. We wish to continually update the present document by adding…

In this lecture, I review some of the perspectives on the Higgs boson discussed at the Higgs Hunting 2012 Worshop and discuss the short- and long-term aspects of Higgs physics.

This summary talk reviews the LHC 2003 Symposium, focusing on expectations as we prepare to leap over the current energy frontier into new territory. We may learn from what happened in the two most recent examples of leaping into new energy…

In this lecture, I summarize developments presented at the Lepton Photon 2011 conference and give my perspective on the current situation in high-energy physics.

This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…

This manuscript is based on the Summary and Overview talk given at the "The International Conference of Strongly Correlated Electronic Systems" (SCES '04), July 26-30, at Karlsruhe, Germany. After highlighting some of the principal new…

This is a write-up of the lectures given by the author during the Master Class "Categorification" at {\AA}rhus University, Denmark in October 2010.

This is the text of the invited talk I have given at the Karl Schwarzschild Meeting in Frankfurt in 2013.

Opening Lecture at the Hong Kong University of Science and Technology Jockey Club Institute for Advanced Study Program on High Energy Physics Conference, January 18--21, 2016.

Lecture notes for the tutorial at the workshop HPOPT 2008 - 10th International Workshop on High Performance Optimization Techniques (Algebraic Structure in Semidefinite Programming), June 11th to 13th, 2008, Tilburg University, The…

I offer a brief summary, with commentary, of theoretical contributions to Moriond QCD 2008.

This volume of EPTCS contains the proceedings of the First Workshop on Hammers for Type Theories (HaTT 2016), held on 1 July 2016 as part of the International Joint Conference on Automated Reasoning (IJCAR 2016) in Coimbra, Portugal. The…

I will summarise the new theory developments that emerged during the 2015 QCD Moriond conference. I will give my perspective on some of the topics and emphasise what I consider most relevant.

Invited Talk presented at the First Arctic Workshop on Particle Physics, Saariselkae, August 1994 and at the Workshop on Elementary Particles and Quantum Field Theory, Moscow, September 1994

The talk contains an overview of recent experimental results obtained by the LHC experiments. The measured inclusive event properties, as well as various correlation phenomena, are compared with predictions of phenomenological models.

This volume constitutes the proceedings of LFMTP 2011, the Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. The LFMTP workshop series brings together designers, implementors, and practitioners to…

This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop…

Lecture notes of lectures delivered at the Hodge Theory Summer School in ICTP Trieste, June 2010.

These are lecture notes from the Austral Winter School on Microlocal Analysis and Non-elliptic Fredholm Theory, held at the Australian National University, Canberra, June 30 -- July 11, 2025.