Talks

Talk
Talk

Hilfe, wir syncen!

OOP / 14:00 - 14:45

Talk
Talk

Neuigkeiten in Scala 3

IT-Tage 2021 / 14:00 - 14:45

Talk
Talk

Let’s stay in sync! How to develop offline-capable products with the help of CRDTs

Digitale Leute Summit 2021 / 12:30 - 13:10

Talk
Talk

Typelevel: the past, the present, the future

ScalaCon 11/2021 / 22:00 - 22:45

Talk
Talk
Slides available

INNOQ Technology Lunch: Scala 3 – Was ist neu?

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

Talk
Talk
Slides available

A History of Enterprise Monads

YOW! Lambda Jam 2021 / 07:15 - 07:45

Talk
Talk
Slides available

Theorems for Free

BOB 2021 / 10:15 - 11:00

Talk
Talk
Slides available

Typelevel’s Road to Scala 3

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

Talk
Talk
Slides available

INNOQ Technology Lunch: Verifikation von Smart Contracts

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

Talk
Talk

Theorems for Free

Haskell eXchange 2020 / 16:35 - 17:10

Talk
Talk
Slides available

Theorems for Free

Virtual MuniHac 2020 / 12:00 - 13:00

Talk
Talk

Das eierlegende Truffleschwein

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

Talk
Talk
Slides available

Programmation en Clojique

:clojureD / 11:15 - 12:00

Talk
Talk
Slides available

JS, Rust, Python and the Holy Graal

BOB 2020 / 17:25 - 18:10

Talk
Talk

Lieber ein Typparameter zu viel als einer zu wenig

rheinJUG Februar 2020 / 19:30 - 20:30

Talk
Talk
Slides available

Das eierlegende Truffleschwein

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

Talk
Talk

Das eierlegende Truffleschwein

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

Talk
Talk
Slides available

Verification of Smart Contracts

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

Talk
Talk

Lieber ein Typparameter zu viel als einer zu wenig

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

Talk
Talk
Slides available

Das eierlegende Truffleschwein

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

Talk
Talk
Slides available

How to test proper{t,l}y

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

Talk
Talk
Slides available

iSAQB goes Blockchain?

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

Talk
Talk
Slides available

Smart Contract Development & Testing mit Ethereum

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

Talk
Talk
Slides available

Das eierlegende Truffleschwein

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

Talk
Talk
Slides available

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

Herbstcampus 2019 / 14:00 - 15:10