Related papers: VADU 2018 Open Problem Session

This paper is a write-up of the ideas that were presented, developed and discussed at the third International Workshop on QCD Challenges from pp to A-A, which took place in August 2019 in Lund, Sweden. The goal of the workshop was to focus…

This volume contains the papers presented at the 23rd International Overture Workshop, held on the 11th of June 2025. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project…

This whitepaper is an outcome of the workshop Intersections between Nuclear Physics and Quantum Information held at Argonne National Laboratory on 28-30 March 2018 [www.phy.anl.gov/npqi2018/]. The workshop brought together 116 national and…

ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous…

In this report, which is an extended version of that appearing in the Proceedings of GR16, I will give a summary of the main topics covered in Session A.3. on mathematical relativity at GR16, Durban. The summary is mainly based on extended…

These notes arose from a mini lecture series the author gave at the Early Career Researchers Workshop on Geometric Analysis and PDEs, held in January 2020 at the Matrix institute of the University of Melbourne. We discussed some classical…

This article is a collection of contributions from speakers at the 2025 DEAMN [Dynamics of Electrons in Atomic and Molecular Nanoclusters] workshop at the Majorana Centre in Erice. Not ordinary contributions to a conference proceeding, this…

The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a biannual conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory,…

This volume contains the proceedings of GandALF 2025, the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2025 took place on 16-17th September 2025, in Valletta, Malta. The aim of GandALF 2025…

We propose a half-day workshop at IEEE VIS 2023 on the topic of communication and collaboration around data. Specifically, we aim to gather researchers interested on multimodal, synchronous, and remote or hybrid forms of communication and…

Mini-proceedings of the ECT* Workshop, Hadronic Atoms and Kaonic Nuclei - Solved Puzzles, Open Problems and Future Challenges in Theory and Experiment, 12-16 October 2009

This is a series of three lectures I gave at the Korea Institute of Advanced Study in June 2019 at a workshop about "Algebraic and Symplectic Aspects of Degenerations of Complex Surfaces". I focus on the symplectic aspects, in particular on…

Notes of my lectures at the CIME (Levico Terme, june 2015). The lectures gave an overview of the L\"uroth problem, its history, the counter-examples found in the 70's, and the recent developments on stable rationality following the new…

Welcome to WeaSuL 2021, the First Workshop on Weakly Supervised Learning, co-located with ICLR 2021. In this workshop, we want to advance theory, methods and tools for allowing experts to express prior coded knowledge for automatic data…

This volume contains the proceedings of the Verification of Scientific Software (VSS 2025) workshop, held on 4 May 2025 at McMaster University, Canada, as part of ETAPS 2025. VSS brings together researchers in software verification and…

This article contains a collection of problems contributed during the course of the conference.

We sketch an assortment of problems that were posed -- and not yet solved -- during problem sessions at the conference ``Approximation Theory and Numerical Analysis meet Algebra, Geometry, and Topology'', which was held at the Palazzone…

This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). The workshop was held in Stockholm, Sweden, on June 16,…

Editorial of the International Conference on Critical Phenomena and Diffusion in Complex Systems held on 5--7 December, 2006 in Nizhniy Novgorod State University, Russia and was dedicated to the memory and 80th anniversary of Professor…

On May $28^{th}$ and $29^{th}$, a two day workshop was held virtually, facilitated by the Beyond Center at ASU and Moogsoft Inc. The aim was to bring together leading scientists with an interest in Network Science and Epidemiology to…