Hallo allerseits,

Heute wollen wir mal wieder etwas von einer Konferenz erzählen bei der wir EtherTrust vorgestellt haben. Diesmal sind wir zur FLoC der ,Federated Logic Conference’ in Oxford gefahren. Das ist eine große Dachkonferenz zu der einmal alle vier Jahre alle wichtigen Konferenzen im Bereich der Logik zusammenkommen. Dementsprechend ist das ein riesiges Event und wir hatten das große Glück auf einer der Unterkonferenzen (CAV, einer großen Konferenz für Verifikation) ein Tutorium geben zu dürfen.

Zu diesem Zweck sind Matteo und Clara diesen Juli für eine Woche nach Oxford gereist und haben dort gemeinsam das 90-minütige Tutorium gegeben:

Wenn es euch interessiert, könnt ihr  euch die Folien zum Tutorium auch hier anschauen.

Ein Tutorium zu geben hat nicht nur den großen Vorteil, dass man viele Leute damit erreicht (vor allem auch solche die aus anderen Bereichen der Informatik kommen), sondern erlaubt es einem auch ein wissenschaftliches Papier zu diesem Tutorium im Konferenzbericht zu veröffentlichen.

Dieses wissenschaftliche Papier findet ihr hier.

Insgesamt war die Reise nach Oxford sehr interessant, da wir mit vielen anderen Wissenschaftlern sprechen und Werbung für unser Projekt machen konnten, aber auch weil wir selbst viele interessante Vorträge aus unterschiedlichen Bereichen der Logik gesehen haben, die für uns auch sehr inspirierend waren.

Was für uns besondern interessant war, dass wir sowohl mit Entwicklern von Ethereum selbst als auch mit den Entwicklern von KEVM (einer anderen formalen Ethereum Semantik) sprechen und uns austauschen konnten - vielleicht wird daraus in Zukunft sogar eine Kooperation :)

Liebe Grüße und bis zum nächsten Mal,

Euer EtherTrust-Team.