English
Related papers

Related papers: Blois 2019: highlights and outlook

200 papers

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…

Programming Languages · Computer Science 2016-09-02 Manuel V. Hermenegildo , Pedro Lopez-Garcia

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

High Energy Physics - Theory · Physics 2007-05-23 Michael R. Douglas

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

High Energy Physics - Experiment · Physics 2024-04-12 Neville Harnew

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…

Social and Information Networks · Computer Science 2019-12-20 Nuno Moniz

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…

High Energy Physics - Experiment · Physics 2015-05-20 Jeffrey A. Appel

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…

Programming Languages · Computer Science 2019-09-12 Massimo Bartoletti , Ludovic Henrio , Anastasia Mavridou , Alceste Scalas

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…

Programming Languages · Computer Science 2024-04-08 Diana Costa , Raymond Hu

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

Artificial Intelligence · Computer Science 2019-12-02 Frank Stein , Alun Preece

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…

Logic in Computer Science · Computer Science 2010-03-31 Mário Florido , Ian Mackie

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…

Numerical Analysis · Mathematics 2020-09-25 Desmond J. Higham

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…

Numerical Analysis · Mathematics 2024-01-30 Massimiliano Fasi , Stéphane Gaudreault , Kathryn Lund , Marcel Schweitzer

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…

Logic in Computer Science · Computer Science 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

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…

Information Retrieval · Computer Science 2019-12-30 Jon Degenhardt , Surya Kallumadi , Utkarsh Porwal , Andrew Trotman

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

Statistical Mechanics · Physics 2008-06-20 Remi Monasson

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…

Logic in Computer Science · Computer Science 2023-11-15 Stefano Gogioso , Matty Hoban

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…

Instrumentation and Methods for Astrophysics · Physics 2020-09-25 Leonard Burtscher , Didier Barret , Abhijeet P. Borkar , Victoria Grinberg , Knud Jahnke , Sarah Kendrew , Gina Maffey , Mark J. McCaughrean

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-06-20 Dominic Orchard , Nobuko Yoshida

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…

Robotics · Computer Science 2017-06-20 Lei Zhang , Huaxi , Zhang
‹ Prev 1 3 4 5 6 7 10 Next ›