[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
========================================================
BLDL 15 - Call for Participation
========================================================
Bergen Language Design Laboratory at the University of Bergen (Norway) arranges
a workshop to celebrate its 15th anniversary in:
Bergen, Norway, on 26-27 November 2024.
Bergen Language Design Laboratory (BLDL) is dedicated to experimenting with
software concepts and providing these as tool-supported language constructs.
Such experiments require both language tools and a formal basis for the
constructs, with the latter significantly simplifying the former.
To celebrate its 15th anniversary, BLDL is hosting a workshop to bring together
researchers, industry experts, and students to discuss advancements in language
design and implementation. This event will highlight the laboratory's
contributions to the evolution of major programming languages such as C++,
Fortran, and JavaScript. Attendees will have the opportunity to learn about the
latest research findings, share insights, and explore future directions in the
field.
========================================================
Keynotes and invited talks
========================================================
Bjarne Stroustrup (Columbia University, US)
C++ as a 21st century language
David Abrahams (Adobe, US)
Hylo - The Safe Systems and Generic-programming Language Built on Value
Semantics
Thomas Clune (NASA)
Type-safe generic programming in Fortran
Yulia Startsev (Mozilla)
JavaScript: language design in the open
Meinte Boersma (DSL Consultancy)
Projectional editing for the masses — controversial thoughts included
Anne Elster (Norwegian University of Science and Technology)
High-Performance Computing for AI and Geophysical Forecasting
========================================================
Talks by members of Bergen Language Design Laboratory
========================================================
Magne Haveraaen, Anya Bagge
15 years of language experimentation at BLDL: insights and impact
Jaakko Järvi, Knut Anders Stokke
From GUIdelines to Code — Implementing GUI behaviors with Dataflow Constraint
Systems
Mikhail Barash
Formal grammars for programming languages
========================================================
Registration
========================================================
Registration deadline: *** November 19, 2024 by 23:59 CET ***
Register here:
https://urldefense.com/v3/__https://conf.researchr.org/attending/bldl-15/registration__;!!IBzWLUs!XPlVTbLf1JEHVIELDnMpUZl6CS-qGpEDODQkIV5h_--46jC4HlQO-WlzXGer7a5UbCMTJFqIYtVbz_cM5HCS3AJcB1wDaaJzzp4x$
For questions, email [email protected]<mailto:[email protected]>
