Talks

Talk

26 Feb 2021

Talk

Slides available

Theorems for Free

BOB 2021 / 10:15 - 11:00

Dr. Lars Hupel

Talk

13 Feb 2021

Talk

Slides available

Typelevel’s Road to Scala 3

Scala Love in the City / 11:55 - 12:25

Dr. Lars Hupel

Talk

10 Feb 2021

Talk

Slides available

INNOQ Technology Lunch: Verifikation von Smart Contracts

INNOQ Technology Lunch (10.2.2021) / 12:15 - 13:00

Dr. Lars Hupel

Talk

05 Nov 2020

Talk

Theorems for Free

Haskell eXchange 2020 / 16:35 - 17:10

Dr. Lars Hupel

Talk

11 Sep 2020

Talk

Slides available

Theorems for Free

Virtual MuniHac 2020 / 12:00 - 13:00

Dr. Lars Hupel

Talk

23 Mar 2020

Talk

Das eierlegende Truffleschwein

CyberJUG März 2020 / 20:15 - 21:00

Dr. Lars Hupel

Talk

29 Feb 2020

Talk

Slides available

Programmation en Clojique

:clojureD / 11:15 - 12:00

Dr. Lars Hupel

Talk

28 Feb 2020

Talk

Slides available

JS, Rust, Python and the Holy Graal

BOB 2020 / 17:25 - 18:10

Dr. Lars Hupel

Talk

26 Feb 2020

Talk

Lieber ein Typparameter zu viel als einer zu wenig

rheinJUG Februar 2020 / 19:30 - 20:30

Dr. Lars Hupel

Talk

23 Jan 2020

Talk

Slides available

Das eierlegende Truffleschwein

Java User Group Nürnberg Januar 2020 / 19:00 - 20:00

Dr. Lars Hupel

Talk

05 Dec 2019

Talk

Das eierlegende Truffleschwein

Java User Group Thüringen Dezember 2019 / 18:30 - 19:30

Dr. Lars Hupel

Talk

13 Nov 2019

Talk

Slides available

Verification of Smart Contracts

Blockchain Technology Conference 2019 / 15:15 - 16:00

Dr. Lars Hupel

Talk

11 Nov 2019

Talk

Lieber ein Typparameter zu viel als einer zu wenig

Softwerkskammer Rhein-Neckar November 2019 / 18:30 - 19:30

Dr. Lars Hupel

Talk

04 Nov 2019

Talk

Slides available

Das eierlegende Truffleschwein

Lightweight Java User Group München November 2019 / 20:00 - 20:30

Dr. Lars Hupel

Talk

22 Oct 2019

Talk

Slides available

How to test proper{t,l}y

Belgian Scala User Group October 2019 / 19:00 - 20:00

Dr. Lars Hupel

Talk

17 Oct 2019

Talk

Slides available

iSAQB goes Blockchain?

The Architecture Gathering 2019 / 14:15 - 14:35

Marcus Klüsener

Dr. Lars Hupel

Talk

18 Sep 2019

Talk

Slides available

Smart Contract Development & Testing mit Ethereum

Software Architecture Summit Berlin 2019 / 14:15 - 17:30

Dr. Lars Hupel

Talk

10 Sep 2019

Talk

Slides available

Das eierlegende Truffleschwein

JUG Ingolstadt September 2019 / 19:00 - 19:30

Dr. Lars Hupel

Talk

04 Sep 2019

Talk

Slides available

Sätze für lau – lieber ein Typparameter zu viel als einer zu wenig

Herbstcampus 2019 / 14:00 - 15:10

Dr. Lars Hupel

Talk

21 Aug 2019

Talk

Slides available

How to test proper{t,l}y

Munich Scala User Group August 2019 / 20:15 - 21:00

Dr. Lars Hupel

Talk

18 Jul 2019

Talk

Slides available

Lieber ein Typparameter zu viel als einer zu wenig

JUG Ostfalen Juli 2019 / 19:00 - 20:00

Dr. Lars Hupel

Talk

29 Jun 2019

Talk

Slides available

How to test proper{t,l}y

ScalaMatsuri 2019 / 13:10 - 13:50

Dr. Lars Hupel

Talk

16 May 2019

Talk

Slides available

Numeric Programming with Spire

J on the Beach / 16:20 - 17:10

Dr. Lars Hupel

Talk

02 May 2019

Talk

Slides available

Numeric Programming with Spire

Scala Hamburg Meetup Mai 2019 / 19:00 - 20:00

Dr. Lars Hupel

Talk

12 Mar 2019

Talk

Slides available

Blockchain, Crypto-Währungen und -Plattformen

Software Architecture Summit 2019 München / 10:00 - 17:30

Stefan Tilkov

Dr. Lars Hupel