Dimensionally correct by construction: Type systems for programs

We are all responsible for ensuring technology-led change is safe and positive for everyone in society. At BCS we’re committed to meeting this responsibility under royal charter.That’s why we set the highest standards of professionalism and best practice in the industry, share knowledge, and develop skills and capability tuned to our evolving digital world.We’ve been supporting the technology industry since 1957 and our 70,000-strong membership spans 150 countries. Every member actively promotes IT professionalism and we provide them with career development opportunities and bring the community together to address the professional, ethical and economic challenges facing technology today.

BCS, The Chartered Institute for IT

Dimensionally correct by construction: Type systems for programs respecting dimensions

This event is now closed for any further registrations.

<h3>SPEAKERS</h3><h3>Conor McBride</h3><h3>Fredrik Nordvall Forsberg</h3><h3></h3>

<h3>AGENDA</h3><p>17:15 - Networking
</p><p>18:00 - Speakers’ presentation
</p><p>19:00 - Questions &amp; discussion
</p><p>19:15 - Networking
</p><p>20:00 - Webinar ends
</p><p></p>

<h3>SYNOPSIS</h3><p>Physical dimensions such as length, mass and time can be used to ensure that equations are physically meaningful -- it makes no sense to add 7 metres to 12 seconds. From a computer science perspective, there is a strong similarity between physical dimensions and types in programming languages, and indeed, Andrew Kennedy explored this connection in the 1990s. Modern type systems not only tell you off when you get things wrong, but also help you to get things right, e.g. by using types for code generation, or to guide the search for the correct program. </p><p>We show that they are also expressive enough to not only encode the physical dimensions of single scalars, but also of vectors and matrices, and to type basic linear algebra operations such as matrix multiplication and Gaussian elimination. Convincing our type checker that the pieces fit together properly required us to increase significantly the amount of algebra it is willing to do for itself, and in the process, we learned a lot.</p>

<h3>SPEAKER BIOGRAPHIES</h3><p>The speakers are a Reader (<a href="https://www.strath.ac.uk/staff/mcbrideconordr/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Conor McBride</a>) and Strathclyde Chancellor's Fellow (<a href="https://www.strath.ac.uk/staff/nordvallforsbergfredrikdr/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Fredrik Nordvall Forsberg</a>) in the area of Computer and Information Sciences at the University of Strathclyde.</p>

<p><strong>Our events are for adults aged 16 years and over.
</strong></p>

<p><strong>THIS EVENT IS BROUGHT TO YOU BY:</strong></p><p><strong>Formal Aspects of Computing SG </strong></p><p><strong></strong><a href="https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer"><strong>https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/</strong></a><strong> </strong></p><p></p>

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Ticket sales have ended

Dimensionally correct by construction: Type systems for programs

More events from BCS, The Chartered Institute for IT

Discover more events from BCS, The Chartered Institute for IT, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all online events to browse and filter by date, category, and more.

Ticket sales have ended

Dimensionally correct by construction: Type systems for programs

More events from BCS, The Chartered Institute for IT

Discover more events from BCS, The Chartered Institute for IT, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all online events to browse and filter by date, category, and more.