Related papers: Open problems in information geometry: a discussio…
This volume contains the proceedings of F-IDE 2018, the fourth international workshop on Formal Integrated Development Environment, which was held as a FLoC 2018 satellite event, on July 14, 2018, in Oxford, England. High levels of safety,…
This paper presents a data-driven analysis of Quark Matter conferences from 2011 to 2025, investigating trends in geographical representation, research emphasis, and methodological strategies. Using a dataset of over 10,000 presentations,…
Mathematics is often perceived as difficult or inaccessible, yet meaningful engagement can arise in unexpected places. In this article we describe a multi-year exploration of mathematical outreach through games, puzzles, exhibitions, and…
This is the write-up of the talk I gave at the 23rd International Symposium on Mathematical Programming (ISMP) in Bordeaux, France, July 6th, 2018. The talk was a general overview of the state of the art of time-varying, mainly convex,…
A study of the Revista General de Informacion y Documentacion, from 2005 to 2022. The objective is aimed at qualifying the structure of the research field and assessing the trajectory of the thematic areas covered. Applying as methodology…
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 document compiles problems proposed and discussed during the problem session at the conference Foliations and Diffeomorphism Groups (CIRM, 2024), organized by H\'el\`ene Eynard-Bontemps, Ga\"el Meigniez, Sam Nariman, and Mehdi Yazdi.…
These are the contributed papers presented at the 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025), at Birmingham, UK on 19 July as a satellite event of the FSCD conference. The program…
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…
In this National Report are given major results of researches conducted by Russian geodesists in 2011-2014 on the topics of the International Association of Geodesy (IAG) of the International Union of Geodesy and Geophysics (IUGG). This…
In this survey paper, we present open problems and conjectures on visibility graphs of points, segments and polygons along with necessary backgrounds for understanding them.
The proceedings list for the program of FACTS-IR 2019, the Workshop on Fairness, Accountability, Confidentiality, Transparency, and Safety in Information Retrieval held at SIGIR 2019.
We discuss the fundamental theoretical framework together with numerous results obtained by the authors and colleagues over an extended period of investigation on the Information Geometric Approach to Chaos (IGAC).
This is the Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence, which was held in Edinburgh, Scotland July 26 - 29 2005.
We report the discussion session at the sixth international Genetic Improvement workshop, GI-2019 @ ICSE, which was held as part of the 41st ACM/IEEE International Conference on Software Engineering on Tuesday 28th May 2019. Topics included…
One of the grand challenges discussed during the Dagstuhl Seminar "Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web" and described in its report is that of a: "Public FAIR Knowledge Graph of Everything: We…
This is a list of problems that were collected from participants at the Comparative Prime Number Theory Symposium held at UBC from June 17 to June 21, 2024. Its goal is to stimulate research and future collaborations in this growing field.…
GWnext 2024 was a meeting held in the Kavli Institute for Astronomy and Astrophysics at Peking University in March $4^\text{th} - 8^\text{th}$, 2024. In the meeting researchers at different career stages -- with a particular focus on early…
The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace…
We report on status and perspectives of the International Lattice Data Grid. ILDG was established some twenty years ago as a community-wide initiative to enable the sharing of gauge configurations generated by many major lattice…