相关论文: Blois 2019: highlights and outlook

This volume constitutes the pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 6-8th September 2016 in Edinburgh, Scotland UK, and co-located with the 18th…

Based on comments made at the 23rd Solvay Conference, December 2005, Brussels.

This paper remembers thirty years of the Beauty conference series and celebrates its 20th meeting. The conference highlights are reviewed.

This paper presents a data set describing the evolution of results in the Portuguese Parliamentary Elections of October 6$^{th}$ 2019. The data spans a time interval of 4 hours and 25 minutes, in intervals of 5 minutes, concerning the…

The CHARM 2010 meeting had over 30 presentations of experimental results, plus additional future facilities talks just before this summary talk. Since there is not enough time even to summarize all that has been shown from experiments and…

This volume contains the proceedings of ICE'19, the 12th Interaction and Concurrency Experience, which was held in Copenhagen, Denmark on the 20th and 21st of June 2019, as a satellite event of DisCoTec'19. The ICE workshop series features…

On October 5/6, 2017, DESY hosted the first DESY Test Beam User Workshop [1] which took place in Hamburg. Fifty participants from different user communities, ranging from LHC (ALICE, ATLAS, CMS, LHCb) to FAIR (CBM, PANDA), DUNE, Belle-II,…

This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…

Proceedings of the AAAI Fall Symposium on Artificial Intelligence in Government and Public Sector, Arlington, Virginia, USA, November 7-8, 2019

This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual…

I give a brief, non-technical, historical perspective on numerical analysis and optimization. I also touch on emerging trends and future challenges. This content is based on the short presentation that I made at the opening ceremony of…

This manuscript summarizes the outcome of the focus groups at "The f(A)bulous workshop on matrix functions and exponential integrators", held at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, Germany, on…

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…

The SIGIR 2019 Workshop on eCommerce (ECOM19), was a full day workshop that took place on Thursday, July 25, 2019 in Paris, France. The purpose of the workshop was to serve as a platform for publication and discussion of Information…

Notes of the lectures delivered in Les Houches during the Summer School on Complex Systems (July 2006).

This volume contains the proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), which was held June 27-July 1, 2022 at Wolfson College, University of Oxford, UK. QPL is an annual conference that brings…

This report summarises the talks and discussions that took place over the course of the MITP Youngst@rs Colours in Darkness workshop 2023. All talks can be found at https://indico.mitp.uni-mainz.de/event/377/.

The annual meeting of the European Astronomical Society took place in Lyon, France, in 2019, but in 2020 it was held online only due the COVID-19 pandemic. The carbon footprint of the virtual meeting was roughly 3,000 times smaller than the…

PLACES 2016 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the ninth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

The 3rd International conference on Cloud and Robotics (ICCR2016) was held November 23-23, 2016 in Saint Quentin (France). ICCR is the premier gathering of practitioners and researchers interested in how to bring the power of Cloud…