Related papers: Theory @ Hard Probes 2015
Notes of my lectures at the CIME (Levico Terme, june 2015). The lectures gave an overview of the L\"uroth problem, its history, the counter-examples found in the 70's, and the recent developments on stable rationality following the new…
With Run II of the LHC having started, the need for high precision theory predictions whose uncertainty matches that of the data to be taken necessitated a range of new developments in Monte-Carlo Event Generators. This talk will give an…
This document collects the lecture notes from my mini-course "Complexity Theory, Game Theory, and Economics," taught at the Bellairs Research Institute of McGill University, Holetown, Barbados, February 19--23, 2017, as the 29th McGill…
This volume contains the proceedings of the Eleventh International Workshop on the ACL2 Theorem Prover and its Applications, held on May 30 and 31, 2013, in Laramie, Wyoming, USA. ACL2 is an industrial-strength automated reasoning system,…
This is the proceedings of the Seventeenth conference on Theoretical Aspects of Rationality and Knowledge, 17-19 July 2019, Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse University Toulouse, France. The mission of the…
I comment on some theoretical work presented at QCD Moriond 2006.
Recent achievements in the heavy quark theory are critically reviewed. The emphasis is put on those aspects which either did not attract enough attention or cause heated debates in the current literature. Among other topics we discuss (i)…
We describe a list of open problems in random matrix theory and the theory of integrable systems that was presented at the conference Asymptotics in Integrable Systems, Random Matrices and Random Processes and Universality, Centre de…
The Theory-Software Translation Workshop, held in New Orleans in February 2019, explored in depth the process of both instantiating theory in software - for example, implementing a mathematical model in code as part of a simulation - and…
Highlights of recent theory developments are summarized relevant to precision Standard Model (SM) studies and searches for Beyond-the-SM (BSM) phenomena at present and future high-energy pp and e+ e- colliders, and B-factories, as well as…
Some recent developments in the heavy quark theory are briefly reviewed. The main emphasis is put on interrelation between HQET and OPE. The notion of duality and deviations from duality are discussed in detail.
The status of hadron physics at the end of the HADRON07 Conference is reviewed. The latest results presented at the conference, as well as those important developments in the field which were not represented, are included.
This volume contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK, on April 11th, 2015. Previous editions of the Workshop…
I report on recent theoretical developments at Quark Matter 2006.
The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and constructive mathematics. In fact the concept of continuation…
A brief summary is given of some recent perturbative QCD results on the evaluation of cross sections and on the the structure of final states in processes with incoming hadrons at small $x$. A new Monte Carlo simulation which includes these…
Effective Quantum Field Theories and QCD Lattice methods have become more and more complementary and mutually supportive in the study of Hard Probes. I present some of the progress that this alliance already delivered and I discuss future…
This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…
The 2015 Logic Blog contains a large variety of results connected to logic, some of them unlikely to be submitted to a journal. For the first time there is a group theory part. There are results in higher randomness, and in computable…
This volume contains the proceedings of the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2015, a two-day workshop held in Austin, Texas, USA, on October 1-2, 2015. ACL2 workshops occur at…