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 (Redaktør)
, Benno van den Berg (Redaktør)

University of Amsterdam

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Forord/efterskrift › Forskning › 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.

Originalsprog	Engelsk
Titel	Leibniz International Proceedings in Informatics, LIPIcs
Antal sider	190
Forlag	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
Publikationsdato	3 jul. 2025
Sider	1-190
ISBN (Trykt)	978-3-95977-376-8
DOI	https://doi.org/10.4230/LIPIcs.TYPES.2024.0
Status	Udgivet - 3 jul. 2025
Begivenhed	International Conference on Types for Proofs and Programs - IT University of Copenhagen, Copenhagen, Danmark Varighed: 10 jun. 2024 → 14 jun. 2024 Konferencens nummer: 30 https://vipwww.itu.dk/research/types2024/

Konference

Konference	International Conference on Types for Proofs and Programs
Nummer	30
Lokation	IT University of Copenhagen
Land/Område	Danmark
By	Copenhagen
Periode	10/06/2024 → 14/06/2024
Internetadresse	https://vipwww.itu.dk/research/types2024/

Navn	Leibniz International Proceedings in Informatics
Vol/bind	336
ISSN	1868-8969

Adgang til dokumentet

10.4230/LIPIcs.TYPES.2024.0Licens: CC BY

Citationsformater

@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 (red) 2025, Front Matter, Table of Contents, Preface, Conference Organization. i Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Leibniz International Proceedings in Informatics, bind 336, s. 1-190, International Conference on Types for Proofs and Programs, Copenhagen, Danmark, 10/06/2024. https://doi.org/10.4230/LIPIcs.TYPES.2024.0

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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Forord/efterskrift › Forskning › 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

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater