相关论文: Blois 2019: highlights and outlook

The Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) was co-located with ETAPS 2009 in the city of York, England. The workshop took place on Sunday 22nd March 2009.…

This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, Ia\c{s}i, Romania on September 17-19, 2025.

This volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th Symposium on Formal Methods, FM 2012. The focus of the…

The XXVII$^{\rm th}$ Rencontres de Moriond featured approximately 84 talks on a wide range of topics. I will try to summarize the highlights under the hypothesis that $SU_3 \x SU_2 \x U_1$ is correct to first approximation, concentrating on…

Overview of the latest theory developments presented at the Hard Probes 2015 conference, held at McGill University, Montreal, Canada, in July 2015.

This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming (ICLP) in Flushing, New York City.

This is the Proceedings of the Access InContext Workshop, which was held at the CHI'25 Conference on Human Factors in Computing Systems, in Yokohama, Japan, on April 26th 2025.

This is the report on the Workshop on Opportunities, Challenges, and Best Practices for Basic Plasma Science User Facilities, held at the University of Maryland, College Park, MD, on May 20-21, 2019.

Compilation of papers presented by the VERITAS Collaboration at the 37th International Cosmic Ray Conference (ICRC), held July 12 through July 23, 2021 (online) in Berlin, Germany.

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).

There have been great advances in charm physics at the B-factories in recent years, including the observation of D0-D0bar mixing and the discovery of many new hidden-charm states, some of them presumably exotic in structure. This talk…

This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2 keynote talks and 9 contributed presentations on themes of…

This is the Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence, which was held in Banff, Canada, July 7 - 11 2004.

This is the Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence, which was held in Cambridge, MA, July 13 - 16 2006.

Bike sharing systems (BSS) have been growing fast all over the world, along with the number of articles analyzing such systems. However the lack of temporally large trip databases has limited the analysis of BSS users behavior in the long…

These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011.

This manuscript contains the lecture notes of the short courses given by one of us (F.Z.) at the summer school "Fundamental Problems in Statistical Physics XV", held in Brunico, Italy, in July 2021, and, just before that, at the summer…

This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023. Technical Communications included here…

The BRIDGES meeting in gauge theory, extremal structures, and stability was held in June 2024 at l'Institut d'\'Etudes Scientifiques de Carg\`ese in Corsica, organized by Daniele Faenzi, Eveline Legendre, Eric Loubeau, and Henrique S\'a…

This submission contains all publications from the ACIS 2015 Doctoral Consortium held in Adelaide, Australia from November 30 - December 1, 2015.