Front Matter, Table of Contents, Preface, Conference Organization

Rasmus Ejlers Møgelberg; Benno  van den Berg

doi:10.4230/LIPIcs.TYPES.2024.0

Front Matter, Table of Contents, Preface, Conference Organization

Rasmus Ejlers Møgelberg (Editor)
, Benno van den Berg (Editor)

University of Amsterdam

Research output: Conference Article in Proceeding or Book/Report chapter › Preface/postscript › Research › peer-review

Abstract

The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. This volume constitutes the post-proceedings of the 30th International Conference on Types for Proofs and Programs, TYPES 2024, that was held at the IT University of Copenhagen, Denmark, from 10 to 14 June 2024.

Original language	English
Title of host publication	Leibniz International Proceedings in Informatics, LIPIcs
Number of pages	190
Publisher	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
Publication date	3 Jul 2025
Pages	1-190
ISBN (Print)	978-3-95977-376-8
DOIs	https://doi.org/10.4230/LIPIcs.TYPES.2024.0
Publication status	Published - 3 Jul 2025
Event	International Conference on Types for Proofs and Programs - IT University of Copenhagen, Copenhagen, Denmark Duration: 10 Jun 2024 → 14 Jun 2024 Conference number: 30 https://vipwww.itu.dk/research/types2024/

Conference

Conference	International Conference on Types for Proofs and Programs
Number	30
Location	IT University of Copenhagen
Country/Territory	Denmark
City	Copenhagen
Period	10/06/2024 → 14/06/2024
Internet address	https://vipwww.itu.dk/research/types2024/

Series	Leibniz International Proceedings in Informatics
Volume	336
ISSN	1868-8969

Keywords

type theory
formal methods
computer-assisted reasoning
proofs
programming

Access to Document

10.4230/LIPIcs.TYPES.2024.0Licence: CC BY

Cite this

@inbook{7e86f01311634abb840eb6d9e022b89c,

title = "Front Matter, Table of Contents, Preface, Conference Organization",

abstract = "The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. This volume constitutes the post-proceedings of the 30th International Conference on Types for Proofs and Programs, TYPES 2024, that was held at the IT University of Copenhagen, Denmark, from 10 to 14 June 2024.",

keywords = "type theory, formal methods, computer-assisted reasoning, proofs, programming",

author = "M{\o}gelberg, \{Rasmus Ejlers\} and \{van den Berg\}, Benno",

note = "This work is licensed under a Creative Commons Attribution 4.0 International license (CC-BY 4.0): https://creativecommons.org/licenses/by/4.0/legalcode. In brief, this license authorizes each and everybody to share (to copy, distribute and transmit) the work under the following conditions, without impairing or restricting the authors{\textquoteright} moral rights: Attribution: The work must be attributed to its authors.; International Conference on Types for Proofs and Programs, Types 2024 ; Conference date: 10-06-2024 Through 14-06-2024",

year = "2025",

month = jul,

day = "3",

doi = "10.4230/LIPIcs.TYPES.2024.0",

language = "English",

isbn = "978-3-95977-376-8",

series = "Leibniz International Proceedings in Informatics",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH",

pages = "1--190",

booktitle = "Leibniz International Proceedings in Informatics, LIPIcs",

url = "https://vipwww.itu.dk/research/types2024/",

}

Møgelberg, RE & van den Berg, B (eds) 2025, Front Matter, Table of Contents, Preface, Conference Organization. in Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Leibniz International Proceedings in Informatics, vol. 336, pp. 1-190, International Conference on Types for Proofs and Programs, Copenhagen, Denmark, 10/06/2024. https://doi.org/10.4230/LIPIcs.TYPES.2024.0

Front Matter, Table of Contents, Preface, Conference Organization. / Møgelberg, Rasmus Ejlers (Editor); van den Berg, Benno (Editor).
Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2025. p. 1-190 (Leibniz International Proceedings in Informatics, Vol. 336).

Research output: Conference Article in Proceeding or Book/Report chapter › Preface/postscript › Research › peer-review

TY - GEN

T1 - Front Matter, Table of Contents, Preface, Conference Organization

A2 - Møgelberg, Rasmus Ejlers

A2 - van den Berg, Benno

N1 - Conference code: 30

PY - 2025/7/3

Y1 - 2025/7/3

N2 - The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. This volume constitutes the post-proceedings of the 30th International Conference on Types for Proofs and Programs, TYPES 2024, that was held at the IT University of Copenhagen, Denmark, from 10 to 14 June 2024.

AB - The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. This volume constitutes the post-proceedings of the 30th International Conference on Types for Proofs and Programs, TYPES 2024, that was held at the IT University of Copenhagen, Denmark, from 10 to 14 June 2024.

KW - type theory

KW - formal methods

KW - computer-assisted reasoning

KW - proofs

KW - programming

UR - https://www.mendeley.com/catalogue/2cb844ff-0b3d-32a9-b632-7b77fc1ac13e/

U2 - 10.4230/LIPIcs.TYPES.2024.0

DO - 10.4230/LIPIcs.TYPES.2024.0

M3 - Preface/postscript

SN - 978-3-95977-376-8

T3 - Leibniz International Proceedings in Informatics

SP - 1

EP - 190

BT - Leibniz International Proceedings in Informatics, LIPIcs

PB - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH

T2 - International Conference on Types for Proofs and Programs

Y2 - 10 June 2024 through 14 June 2024

ER -

Front Matter, Table of Contents, Preface, Conference Organization

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this