Presentasjon av BLDL på norsk

Bergen Language Design Laboratory (BLDL)

Language provides us with means of expressing ideas, as well as a vehicle through which ideas evolve.

The Bergen Language Design Laboratory is dedicated to experimenting with programming concepts and providing these as tool-supported language constructs. Read our full charter here.

Events 2021

Sign up for announcements

INF328B on History of Programming Languages

• BLDL organized a special course where students read and presented papers from the ACM SIGPLAN Conference on History of Programming Languages.
• Collection of essays by the students of the course is available here.

BLDL Seminars 2021

• Thursday 2021-05-20 1415-1600, Zoom

  Peter Van Roy (Université catholique de Louvain, BE): A History of the Oz Multiparadigm Language

• Thursday 2021-05-05 1415-1600, Zoom

  Bjarne Stroustrup (Morgan Stanley and Columbia University, USA): Thriving in a crowded and changing world: C++ 2006-2020

• Thursday 2021-04-29 1415-1600, Zoom

  John Reid (JKR Associates and Rutherford Appleton Laboratory, UK): History of Coarrays and SPMD Parallelism in Fortran

• Thursday 2021-04-09 1215-1400, Zoom

  Yulia Startsev (Mozilla, DE): Developing JavaScript in the SpiderMonkey engine

• Thursday 2021-02-04 1515-1600, Zoom

  Semyon Atamas (JetBrains): Fortran for IntelliJ: pitfalls of supporting old language in a modern IDE

• Thursday 2021-10-21 1515-1600, Zoom

  Benjamin Chetioui (BLDL, University of Bergen): Composable Transformations of Python Programs with JAX

Events 2020

BLDL Seminars 2020

• Thursday 2020-12-03 1515-1600, Zoom

  Mikhail Barash (BLDL, University of Bergen): Metaprogramming in C++

• Thursday 2020-11-26 1515-1600, Zoom

  Håkon Robbestad Gylterud (Informatics, University of Bergen): Differentiating data structures

• Thursday 2020-11-05 1515-1600, Zoom

  Mostafa Bakhoday Paskyabi (Department of Geophysics, University of Bergen): On Simulation Software for Offshore Wind Farms

• Thursday 2020-10-22 1515-1600, Zoom

  Knut Anders Stokke (Department of Informatics, University of Bergen): Manipulating GUI Structures Declaratively

• Thursday 2020-10-15 1015-1200, Zoom

  Vitaly Bragilevsky (JetBrains and Saint Petersburg State University): Concurrency in Haskell

• Thursday 2020-10-08 1515-1600, Zoom

  Valery Isaev (JetBrains Research and Saint Petersburg National Research Academic University): Arend - a Theorem Prover Based on Homotopy Type Theory

• Thursday 2020-09-10 1415-1500, Zoom

  Mikhail Barash (BLDL, University of Bergen): Specifying Software Languages: Grammars, Projectional Editors, and Unconventional Approaches

BLDL 10 YEARS

Events 2019

BLDL Seminars 2019

• Monday 2019-11-04 1415-1600, Stort auditorium, Høyteknologisenteret

  Stephen Michell (Convener ISO/IEC JTC1/SC22/WG23 - Programming Language Vulnerabilities): Application Security and Safety Vulnerabilities — A Language-Based Analysis

• Friday 2019-04-26 1215-1400, 510N3 (the yoga room, informatikk), Høyteknologisenteret

  Paul Meurer (University of Bergen Library, Department of Linguistic, Literary and Aesthetic Studies, University of Bergen, NO): Querying linguistic databases – corpora and treebanks

External events

• Supercomputing, SC19 Booth #220, 17-22 November 2019, Denver, CO, USA

Events 2018

BLDL Seminars 2018

• Wednesday 2018-10-31 1015-1100, Aud 4, realfagbygget

  Markus Roggenbach (Computer Science, Swansea University, Wales, UK): Software Model Checking for Mobile Security – Collusion Detection in K

• Domain Specific Language (DSL) month September 2018
  • Thursday 2018-09-06 1415-1500, 405O2 (the aquarium), Høyteknologisenteret

    Sandra Macia (Barcelona Supercomputing Centre (BSC), Spain): Saiph: Towards a DSL for High-Performance Computational Fluid Dynamics

  • Thursday 2018-09-13 1415-1500, 405O2 (the aquarium), Høyteknologisenteret

    Magne Haveraaen (Institutt for informatikk, Universitetet i Bergen, Norway): The API is the DSL

  • Mini course Thursday 2018-09-20 and Friday 2018-09-21 both days 1015-1200, 405O2 (the aquarium), Høyteknologisenteret

    Mikhail Barash (Turku Centre for Computer Science (TUCS), Finland): Extend your Java: language composition with JetBrains MPS

  • Thursday 2018-09-20 1415-1600, 405O2 (the aquarium), Høyteknologisenteret

    Mikhail Barash (Turku Centre for Computer Science (TUCS), Finland): Introducing Language Wheel

• Thursday 2018-08-23 1400-1600, Vilvite auditorium

  Bjarne Stroustrup (Managing Director, Technology Division, Morgan Stanley, NYC, NY, USA): The Continuing Evolution of C++

External events

• Supercomputing, SC18 Booth #3924, 11-16 November 2018, Dallas, Texas, USA

Events 2017

BLDL Seminars 2017

• Tuesday 2018-12-12 through Wednesday 2018-12-13, Høyteknologisenteret.

  Mikhail Barash (Turku Centre for Computer Science (TUCS), Finland): Domain-specific programming languages

• Thursday 2017-05-11 1415-1500, Lille auditorium, Høyteknologisenteret

  Adrian Rutle (Institutt for data- og realfag, Høgskulen på Vestlandet): Is model-driven software engineering (MDSE) dead?

• Friday 2017-03-03 1015-1300, Store auditorium, Høyteknologisenteret

  Tero Hasu (BLDL, Department of Informatics, University of Bergen) PhD defence: Programming Language Technology for Niche Platforms

• Thursday 2017-03-02 1415-1500, Store auditorium, Høyteknologisenteret

  Sibylle Schupp (Institute for Software Systems, Hamburg University of Technology, DE): Reasoning about Software in an Unreasonable World

• Wednesday 2017-02-22 1015-1100, Lille auditorium, Høyteknologisenteret

  Tero Hasu (BLDL, Department of Informatics, University of Bergen): What makes or breaks a programming language?

Several of the courses taught at the Department of Informatics 2017 have a BLDL related content.

• Elements of programming languages
• INF222 Programming Languages
• Category Theory
• Introduction to Logic

External events

• Supercomputing, SC17 Booth #573, 12-17 November 2017, Denver, Colorado, USA

Events 2016

BLDL Seminars 2016

• Monday 2016-11-07 – Friday 2016-11-11, each day 10-16 at VilVite rooms B, C and 4 (see the full plan for details)

  Dines Bjørner (Dept. of Mathematics and Computer Science, Technical University of Denmark): The Triptych of Software Engineering - A Comprehensive Approach

• Thursday 2016-10-20 1415-1500, Store auditorium, Høyteknologisenteret.

  Albert Rubio (Departament de Ciències de la Computació, Universitat Politècnica de Catalunya), Barcelona, ES): Scalable Program Analysis Techniques using Max-SMT

• Wednesday 2016-06-15 1415-1600, Lille auditorium, Høyteknologisenteret.

  Zhiming Liu (Centre for Research and Innovation in Software Engineering (RISE), Southwest university, Chongqing, China): Formal Model-Driven Design of Evolving Component-Based Systems

• Monday 2016-06-13 1415-1500, Lille auditorium, Høyteknologisenteret.

  Arnaud Gotlieb (The Certus Centre, Simula, Oslo, Norway): An overview of Constraint-Based Testing

• Tuesday 2016-05-31 1415-1500, Lille auditorium, Høyteknologisenteret.

  Mikhail Barash (Turku Centre for Computer Science, Finland): Grammars for programming languages

External events

• Open and Original Problems in Software Language Engineering (OOPSLE), 15-16 March 2015, Osaka, Japan.
• Platform for Advanced Scientific Computing Conference (PASC), 8-10 June 2016, Lausanne, Switzerland.
• International Supercomputing Conference – ISC High Performance, 19-23 June 2016, Frankfurt, Germany.
• SEMINAR SERIES ON ADVANCED TECHNIQUES & TOOLS FOR SOFTWARE EVOLUTION (SATToSE), 11-13 July 2016, Bergen, Norway
• Supercomputing, SC16 Booth #3949, 13-18 November 2016, Salt Lake City, Utah, USA

Events 2015

BLDL Seminars 2015

• Tuesday 2015-09-29 1415-1500, Stort auditorium (2144), Høyteknologisenteret.

  Jaakko Järvi (Texas A&M University, College Station, TX, USA): Better User Interfaces with less Code

• Thursday 2015-06-18 1015-1400, room 2142 (lite auditorium)

  K. Rustan M. Leino (Microsoft Research, Redmond, WA, USA): Making program verification work
  Magne Haveraaen (BLDL): Programming by concepts
  Eva Burrows (BLDL): Programming models
  Anya Bagge (BLDL): The Magnolia integrated development environment (IDE)

• Thursday 2015-05-07 1015-1200, room 4138 (Høyteknologisenteret)

  Ketil Stølen (SINTEF, Oslo, NO): What does it mean for a UML specification to fulfill another UML specification?

• Thursday 2015-05-07 1415-1500, Stort auditorium (2144), Høyteknologisenteret.

  Ketil Stølen (SINTEF, Oslo, NO): Cyberspace, Cybersecurity and Cyber-risk – What is new and what are the real challenges?

• Wednesday 2015-04-29 1015-1200, room 4138 (Høyteknologisenteret)

  Alessandro Rossini (SINTEF, Oslo, NO): Model-Driven Engineering Meets Cloud Computing

External events

• Open and Original Problems in Software Language Engineering (OOPSLE), 6 March 2015, Montréal, Canada.
• Informal workshop on ICT and health, 1 June 2015, Bergen University College, Kronstad Campus, Bergen, NO.
• High Integrity Systems Symposium, June 3, Oslo, Norway.
• SEMINAR SERIES ON ADVANCED TECHNIQUES & TOOLS FOR SOFTWARE EVOLUTION (SATToSE), 6-8 July 2015, Mons, Belgium
• International Supercomputing Conference – ISC High Performance, July 12-16 2015, Frankfurt, Germany.
• Supercomputing 2015, SC15 Booth #290, November 15-20 2015, Austin, Texas, USA

Events 2014

BLDL Seminars 2014

Special events autumn 2014:

• Friday 2014-12-12 1330-1500, room 4138 (Høyteknologisenteret)

  Ragnhild Kobro Runde (Institutt for informatikk, Universitetet i Oslo, NO): Mandatory choice and underspecification: Comparing Event-B and STAIRS

• Thursday 2014-10-09 1415-1500, Stort auditorium (2144), Høyteknologisenteret.

  Ian Watson (University of Manchester, UK): Simple Parallel Programming?

• Friday 2014-10-10 1015-1200, room 4138 (Høyteknologisenteret)

  Ian Watson (University of Manchester, UK): From the first dataflow machine to the present/future prospects/trends of the dataflow execution model

• Friday 2014-10-10 1315-1500, room 4138 (Høyteknologisenteret)

  Ian Watson (University of Manchester, UK): dataflow models in Scala w/demonstration

Special events spring 2014:

• Wednesday 2014-06-04 1215-1400, room 4138 (Høyteknologisenteret), informal meeting
  • Rogardt Heldal (Chalmers, SE): Cooperation academia-industry.
  • Jaakko Järvi (Parasol, Texas A&M University, USA): Constraint Systems: a programming model for UIs.

• Tuesday 2014-02-11 High Integrity Day in VilVite auditorium.

Several of the courses taught at the Department of Informatics spring 2014 have a BLDL related content.

• Seminar on declarative user interface programming
  Attendence to this course is open to anyone interested in the topic. Contact the organisers for more details.
• Category Theory
• Introduction to Logic

External events

• Open and Original Problems in Software Language Engineering (OOPSLE), 3 February 2014, Antwerp, Belgium.
• Joint symposium on program and model transformations (PAMT 2014), May 26-27 2014, Bergen.
• International Supercomputing Conference (ISC'14), June 22-26 2014, Leipzig, Germany.
• High Integrity Language Technology (HILT 2014), October 18-21 2014, Portland, Oregon, USA.
• SEMINAR SERIES ON ADVANCED TECHNIQUES & TOOLS FOR SOFTWARE EVOLUTION (SATToSE), 9-11 July 2014, L’Aquila, Italy
• Supercomputing 2014, Broader Engagement, SC14 Booth #3603, November 16-21 2014, New Orleans, Louisiana, USA

Events 2013

BLDL Seminars 2013

Special events autumn 2013:

• Tuesday 2013-09-10: Ralf Lämmel (The Software Languages Team, University of Koblenz-Landau, Germany):
  MegaL – a domain-specific modeling language for the linguistic architecture of software products.

Several of the courses taught at the Department of Informatics autumn 2013 had a BLDL related content.

• Program Specification Autumn 2013
• Introduction to Program Translation

Special events spring 2013:

• Wednesday 2013-04-10 - Friday 2013-04-12: Chapel and parallel programming week with Brad Chamberlain (Cray Inc, Seattle, Washington, USA).
  The week includes a tutorial Wednesday, a departmental seminar Thursday, a Friday presentation, and a workshop Wednesday-Friday. Participation is free, but the tutorial and the workshop require registration: call Marta at +47 55 58 42 00 or send an email to Marta.Lopez (c/o) ii.uib.no by Friday 2013-04-05.

Several of the courses taught at the Department of Informatics spring 2013 had a BLDL related content.

• Category Theory
• Introduction to Logic

External events

• International Supercomputing Conference (ISC'13), June 16-20 2013, Leipzig, Germany.
• 9th ACM SIGPLAN Workshop on Generic Programming (WGP 2013), September 28 2013, Boston, Massachusetts, USA.
• Open and Original Problems in Software Language Engineering (OOPSLE), 16 October 2013, Koblenz-Landau, Germany.
• Supercomputing 2013, Broader Engagement, SC13 Booth #4501, November 17-22, Denver, Colorado, USA

Events 2012

BLDL Seminars 2012

Several of the courses taught at the Department of Informatics autumn 2012 have a BLDL related content.

• Program Specification Autumn 2012
• Software Security
• Elements of programming languages Autumn 2012

Special events spring 2012:

• Tuesday 2012-04-24 0915-1600: Full-day Hands-on Workshop on Security
• Monday 2012-05-07 - Thursday 2012-05-10: Domain engineering week

Several of the courses taught at the Department of Informatics spring 2012 had a BLDL related content.

• Category Theory
• Introduction to Logic
• Selected Topics in Programming Theory: Domain Engineering (Spring 2012)

External events

• 12th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2012), March 31-April 1 2012, Tallinn, Estonia.
• 8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012), September 9 2012, Copenhagen, Denmark.
• 12th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), September 23-24 2012, Riva del Garda, Trento, Italy.
• Supercomputing 2012, SC12 Booth #3750, November 10-16, Salt Lake City, Utah, USA

Events 2011

BLDL Seminars 2011

Several of the courses taught at the Department of Informatics autumn 2011 had a BLDL related content.

• Program Specification Autumn 2011
• Compiler Technology
• Software Testing Foundations Autumn 2011

External events

• Supercomputing 2011, SC11 Booth #5208, November 14-17 2011, Seattle, WA, USA.

Events 2010

BLDL Seminars 2010

External events

• Supercomputing 2010, SC10 Booth #1113.
• BLDL PhD student Eva Burrows gets SRC top award at PLDI at PLDI.

Events 2009

The first week of November 2009 was opening week (photos) at BLDL, with a series of events, including two PhD defences, an official opening and a Workshop on Concepts.

BLDL-announce

The mailing list for Bergen Language Design Laboratory activity announcements is administered by mailman. Go to https://mailman.uib.no/listinfo/bldl-announce for signing on/off the list.