DagRep.12.2.1.pdf
- Filesize: 2.78 MB
- 16 pages
Document
Logic and Random Discrete Structures (Dagstuhl Seminar 22061)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 12, Issue 2
Volume: Dagstuhl Reports, Volume 12
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2022-08-23
Cite As Get BibTex
Erich Grädel, Phokion G. Kolaitis, Marc Noy, and Matthias Naaf. Logic and Random Discrete Structures (Dagstuhl Seminar 22061). In Dagstuhl Reports, Volume 12, Issue 2, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/DagRep.12.2.1
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22061 "Logic and Random Discrete Structures". The main topic of this seminar has been the analysis of large random discrete structures, such as trees, graphs, or permutations, from the perspective of mathematical logic. It has brought together both experts and junior researchers from a number of different areas where logic and random structures play a role, with the goal to establish new connections between such areas and to encourage interactions between foundational research and different application areas, including probabilistic databases.
Subject Classification
ACM Subject Classification
- Theory of computation → Logic
- Theory of computation → Complexity theory and logic
- Mathematics of computing → Combinatorics
Keywords
- combinatorics
- complexity theory
- logic
- random structures
- probabilistic databases
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads