Published in: LIPIcs, Volume 141, 10th International Conference on Interactive Theorem Proving (ITP 2019)
Jesse Michael Han and Floris van Doorn. A Formalization of Forcing and the Unprovability of the Continuum Hypothesis. In 10th International Conference on Interactive Theorem Proving (ITP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 141, pp. 19:1-19:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{han_et_al:LIPIcs.ITP.2019.19, author = {Han, Jesse Michael and van Doorn, Floris}, title = {{A Formalization of Forcing and the Unprovability of the Continuum Hypothesis}}, booktitle = {10th International Conference on Interactive Theorem Proving (ITP 2019)}, pages = {19:1--19:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-122-1}, ISSN = {1868-8969}, year = {2019}, volume = {141}, editor = {Harrison, John and O'Leary, John and Tolmach, Andrew}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2019.19}, URN = {urn:nbn:de:0030-drops-110742}, doi = {10.4230/LIPIcs.ITP.2019.19}, annote = {Keywords: Interactive theorem proving, formal verification, set theory, forcing, independence proofs, continuum hypothesis, Boolean-valued models, Lean} }
Published in: Dagstuhl Reports, Volume 5, Issue 11 (2016)
Ada Diaconescu, Stepehn Marsh, Jeremy Pitt, Wolfgang Reif, and Jan-Philipp Steghöfer. Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482). In Dagstuhl Reports, Volume 5, Issue 11, pp. 127-150, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{diaconescu_et_al:DagRep.5.11.127, author = {Diaconescu, Ada and Marsh, Stepehn and Pitt, Jeremy and Reif, Wolfgang and Stegh\"{o}fer, Jan-Philipp}, title = {{Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482)}}, pages = {127--150}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {11}, editor = {Diaconescu, Ada and Marsh, Stepehn and Pitt, Jeremy and Reif, Wolfgang and Stegh\"{o}fer, Jan-Philipp}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.127}, URN = {urn:nbn:de:0030-drops-57954}, doi = {10.4230/DagRep.5.11.127}, annote = {Keywords: computational justice, multi-agent sytems, norms, organic computing, reputation, self-organisation, social capital, socio-technical systems, sociologically-inspired computing, trust} }
Published in: Dagstuhl Reports, Volume 4, Issue 12 (2015)
Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli. Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). In Dagstuhl Reports, Volume 4, Issue 12, pp. 68-113, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{hillston_et_al:DagRep.4.12.68, author = {Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco}, title = {{Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)}}, pages = {68--113}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {12}, editor = {Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.12.68}, URN = {urn:nbn:de:0030-drops-50066}, doi = {10.4230/DagRep.4.12.68}, annote = {Keywords: Collective Adaptive Systems, Qualitative and Quantitative Modelling and Analysis, Verification, Humans-In-The-Loop} }
Feedback for Dagstuhl Publishing