Related papers: MesonNet 2013 International Workshop. Mini-proceed…
This volume contains the proceedings of the Eighth Workshop on Fixed Points in Computer Science which took place on 24 March 2012 in Tallinn, Estonia as an ETAPS-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software…
This summary aims to highlight major results and insights gained from recent studies of hadronic final states in ep, ppbar, e+e-, as well as relevant theoretical developments, presented in the Multi-hadron final states parallel sessions of…
This volume contains the proceedings of the Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012), taking place on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on…
Hadronization is a non-perturbative process, which theoretical description can not be deduced from first principles. Modeling hadron formation requires several assumptions and various phenomenological approaches. Utilizing state-of-the-art…
The mini-proceedings of the 17$^{\mathrm{th}}$ Meeting of the "Working Group on Radiative Corrections and MonteCarlo Generators for Low Energies" held in Frascati, 20$^{\mathrm{th}}$ - 21$^{\mathrm{st}}$ April, are presented. These…
The KM3NeT neutrino detectors are currently under construction at two locations in the Mediterranean Sea, aiming to detect the Cherenkov light generated by high-energy relativistic charged particles in sea water. The KM3NeT collaboration…
The International Workshop on Locational Analysis and Related Problems will take place during September 7-8, 2023 in Edinburgh (United Kingdom). It is organized by the Spanish Location Network and the Location Group GELOCA from the Spanish…
This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, affiliated to Twenty-Seventh Annual ACM/IEEE Symposium on…
This volume contains the papers presented at the sixth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013) held on August 25th, 2013 in Istanbul, co-located with the 29th International Conference on Logic…
This volume contains the proceedings of the Ninth Workshop on Fixed Points in Computer Science which took place on the September 1st, 2013 in Torino, Italy as a CSL-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…
This is a summary of theoretical plenary contributions to the biennial hadron physics conference Meson2006, which was the ninth in this series. The topics covered in the meeting include low energy pion-pion and pion-nucleon interactions,…
The second international workshop on Computational Models for Cell Processes (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009. The workshop was jointly…
This volume contains the proceedings of the First International Workshop on Hybrid Systems and Biology (HSB 2012), that will be held in Newcastle upon Tyne, UK, on the 3rd September, 2012. HSB 2012 is a satellite event of the 23rd…
This volume contains the papers presented at the 6th Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012), a satellite workshop of the 23rd International Conference on Concurrency Theory (CONCUR) held on 8th September…
The workshop on "Hadron-Hadron and Cosmic-Ray Interactions at multi-TeV Energies" held at the ECT* centre (Trento) in Nov.-Dec. 2010 gathered together both theorists and experimentalists to discuss issues of the physics of high-energy…
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…
These are the proceedings of the workshop "HadAtom01", held at the Institut fuer Theoretische Physik, Universitaet Bern, October 11 - 12, 2001. The main topics discussed at the workshop were the physics of hadronic atoms and in this context…
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the…
This is the Proceedings of the Third Workshop on Mobile Security Technologies (MoST) 2014, held in San Jose, CA, USA, on May 17, 2014. The workshop was held as part of the IEEE Computer Society Security and Privacy Workshops, in conjunction…