Please note that this newsitem has been archived, and may contain outdated information or links.
14 - 19 June 2021, 27th International Conference on Types for Proofs and Programs (TYPES 2021), Virtual
The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
This year's TYPES will be held virtually (online), possibly in combination with a physical meeting in Leiden in the Netherlands if the political situation permits that. TYPES 2021 will not only consist of presentations, but also a setup of working groups that get together throughout the week. The hope is that we can retain at least some of the exchange and chatter that is the heart of the TYPES conference series.
TYPES solicits contributed talks to stimulate discussions. The contributed talks are selected on the base of extended abstracts/short papers of 2 pages (excluding bibliography) formatted with the LaTeX EasyChair3.5. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress.
Please note that this newsitem has been archived, and may contain outdated information or links.