Related papers: Proceedings 14th International Conference on Quant…
These are notes of lectures on spinning particles and the worldline formalism originally given by Olindo Corradini and Christian Schubert at the School on Spinning Particles in Quantum Field Theory: Worldline Formalism, Higher Spins, and…
These lectures are directed at a level suitable for graduate students in experimental and theoretical High Energy Physics. They are intended to give an introduction to the theory and phenomenology of quantum chromodynamics (QCD) as it is…
This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2'14, a two-day workshop held in Vienna, Austria, on July 12-13, 2014. ACL2 workshops occur at approximately…
These lecture notes discuss methods, recent results and future prospects in proton-proton physics at the Large Hadron Collider.
This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of September 2014, and was a satellite event of iFM 2014 (the 11th…
PLACES 2012 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the fifth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…
This lecture reviews aspects of and prospects for progress towards a theory of quantum gravity from a particle physics perspective, also paying attention to recent findings of the LHC experiments at CERN.
The fourth international workshop on Computational Models for Cell Processes (CompMod 2013) took place on June 11, 2013 at the {\AA}bo Akademi University, Turku, Finland, in conjunction with iFM 2013. The first edition of the workshop…
This whitepaper presents NWQWorkflow, an end-to-end workflow for quantum application development, compilation, error correction, benchmarking, numerical simulation, control, and execution on a prototype superconducting testbed. NWQWorkflow…
This document contains the proceedings of the Seventh International Workshop on Logical and Semantic Frameworks, with Applications, which was held on September 29 and 30, 2012, in Rio de Janeiro, Brazil. It contains 11 regular papers (9…
In recent developments, deep learning methodologies applied to Natural Language Processing (NLP) have revealed a paradox: They improve performance but demand considerable data and resources for their training. Alternatively, quantum…
Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security. They are essential in characterizing the…
In this proceedings for the MG14 conference, we discuss the construction of a phenomenology of Planck-scale effects in curved spacetimes, underline a few open issues and describe some perspectives for the future of this research line.
This volume contains the proceedings of the Seventh International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2016). The symposium took place in Catania, Italy, from the 14th to the 16th of September 2016. The…
This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the…
This contribution is a brief introduction to the physics of Quark-Gluon Plasma (QGP); the intention is to set the stage for the corresponding session proceedings of the "Rencontre Jeunes Chercheurs 2014". The text consists in a description…
The Fifth International Conference on Applied Category Theory took place at the University of Strathclyde in Glasgow, Scotland on 18-22 July 2022. This conference follows the previous meetings at Leiden (2018), Oxford (2019), MIT (2020,…
The text below was written during two visits that Daniel Segal made at Universit{\'e} Paris 13. Danny stayed at Laboratoire de Physique des Lasers the summers of 2008 and 2009 to participate in the exploration of a novel lead in the field…
This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…
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…