[TYPES/announce] Call for Participation: BLDL 15, Bergen Norway, 26-27 Nov 2024

[Jaakko Järvi]

========================================================
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 Mikhail.Barash at uib.no<mailto:Mikhail.Barash at uib.no>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241030/b1a87ac1/attachment-0001.htm>