Related papers: VADU 2018 Open Problem Session
The article contains a few questions and speculations related to the moduli spaces of curves, K3 surfaces, maps, and sheaves presented in the problem session of the AGNES conference in Amherst (April 2010).
Volume containing the Late-Breaking Abstracts submitted to the Evo* 2025 Conference, held in Trieste (Italy) from April 23rd to 25th. These extended abstracts showcase ongoing research and preliminary findings exploring the application of…
This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conference series is to bring together researchers and developers…
Volume with the Late-Breaking Abstracts submitted to the Evo* 2022 Conference, held in Madrid (Spain), from 20 to 22 of April. These papers present ongoing research and preliminary results investigating on the application of different…
These are the lecture notes for a course taught at Tsinghua University in the spring of 2022. In these notes, we develop the basic theory of vertex operator algebras (VOAs) and their conformal blocks using complex-analytic methods. In…
This is the text of a series of three lectures given at the CMA of the Australian National University on the recent solution of the square root problem for divergence form elliptic operators, a long-standing conjecture posed by Kato in the…
Open problems from the 15th Annual ACM Symposium on Computational Geometry.
These are notes to accompany my lectures at the $2024$ "Current Developments in Mathematics" conference hosted by Harvard/MIT. The lectures were about some recent progress in our understanding of two and three dimensional dynamical systems,…
This volume contains the proceedings of the Fifth International Workshop on Verification and Program Transformation (VPT 2017). The workshop took place in Uppsala, Sweden, on April 29th, 2017, affiliated with the European Joint Conferences…
How audiences read, interpret, and critique data visualizations is mainly assessed through performance tests featuring tasks like value retrieval. Yet, other factors shown to shape visualization understanding, such as numeracy, graph…
The Event-Enriched Image Analysis (EVENTA) Grand Challenge, hosted at ACM Multimedia 2025, introduces the first large-scale benchmark for event-level multimodal understanding. Traditional captioning and retrieval tasks largely focus on…
A growing number of methods aim to assess the challenging question of treatment effect variation in observational studies. This special section of "Observational Studies" reports the results of a workshop conducted at the 2018 Atlantic…
This document collects contributions to the Open Problem List in Billiards and Quantitative Symplectic Geometry, compiled following discussions during the workshop ``Billiards and quantitative symplectic geometry'' that took place at the…
This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018…
This is a contribution to the Proceedings of the 7th Mathematical Physics Meeting: Summer School and Conference on Modern Mathematical Physics, held in Belgrade 09 -- 19 September 2012. We give an easily accessible introduction to the ADM…
This paper deals with the following mixed boundary value problem \begin{equation}\label{ProblemAbstract} \tag{$\Diamond$} \begin{cases} -\Delta u = f &\mbox{in $\Omega$,} \\ u = \varphi &\mbox{on $\Gamma_{\! D}$,} \\ u_\nu - a_2 \,…
The theoretical analysis of the Adiabatic Quantum Computation protocol presents several challenges resulting from the difficulty of simulating, with classical resources, the unitary dynamics of a large quantum device. We present here a…
The evolution of complexity has been a central theme for Biology and Artificial Life (Bonner, 1988; Bedau et al., 2000). Complexification has been interpreted in different ways: as a process of diversification between evolving units…
A list of the problems presented on August 12, 2002 at the open-problem session of the 14th Canadian Conference on Computational Geometry held in Lethbridge, Alberta, Canada.
Lecture notes after the doctoral school (Post)Modern Thermodynamics held at the University of Luxembourg, December 2022, 5-7, covering and advancing continuous-time Markov chains, network theory, stochastic thermodynamics, large deviations,…