Related papers: Top 2014: Theory Summary
This volume contains the proceedings of the Seventh International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013). The workshop took place in Rome, Italy, on March 23rd, 2013, as part of the sixteenth edition of the European…
I summarise the theoretical talks at Moriond 2015, with emphasis on naturalness.
This Multi-Petawatt Physics Prioritization (MP3) Workshop Report captures the outcomes from a community-initiated workshop held April 20-22, 2022 at Sorbonne University in Paris, France. The MP3 workshop aimed at developing science…
Lectures given at the Workshop "Hadrons 1994", Gramado, RS, Brasil
This paper is a write-up of the ideas that were presented, developed and discussed at the fourth International Workshop on QCD Challenges from pp to AA, which took place in February 2023 in Padua, Italy. The goal of the workshop was to…
This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…
This paper summarizes the main experimental results presented at the XL International Symposium on Multiparticle Dynamics (ISMD10, 21-25 September 2010 University of Antwerp,Belgium).
This is the write-up of the summary talk on theory activities in the heavy-ion community as presented at Quark Matter 2025. It contains a (biased) selection of results from the parallel program of the conference. The progress is reported…
The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference CADE26. Topics of interest include: methods of automated…
The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was…
This volume contains a selection of the papers presented at the XIV Jornadas sobre Programaci\'on y Lenguajes (PROLE 2014), held at C\'adiz, Spain, during September 17th-19th, 2014. Previous editions of the workshop were held in Madrid…
This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on June 22, 2019, in Vancouver, Canada. The workshop was…
This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…
I briefly review standard top quark physics at hadron colliders and summarize the contributions to this conference. The possibility of new mechanisms for $t\bar{t}$ production are also discussed.
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 -…
An overview is presented of the experimental talks given at the XXXVIIth Rencontres de Moriond QCD session.
Summary of the Latin American Workshop on Fundamental Interactions held at the Physics Department of the Universidad de Buenos Aires from 26 to 30 July 2004.
In this summary we give a concise overview of the experimental and theoretical results, which were presented during the QCD and Hadronic Final State Working Group sessions at the DIS 2007 workshop.
I review few selected topics on recent theoretical progress in top physics. In particular I will discuss recent progress in the computation of the relationship between the MS-bar and pole top mass, in the NNLO calculation of top…
This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International…