Diese Veranstaltung hat bereits stattgefunden.

TLA+ Workshop

Name: TLA+ Workshop
Start: 2023-05-11T09:00:00+02:00
End: 2023-05-12T17:00:00+02:00
Location: AI xpress

11. Mai 2023 9:00 – 12. Mai 2023 17:00

Am 11. und 12. Mai 2023 veranstaltet die JUGS e.V. in Kooperation mit dem Softwarezentrum Böblingen/Sindelfingen e.V. und dem KI Startup- und Innovationszentrum AI xpress einen 2-tägigen Workshop mit dem Thema TLA+ und dem Referenten Markus Kuppe von Microsoft Research (Seattle/USA).

Was ist TLA+? TLA+ ist eine formale Spezifikationssprache, die von Leslie Lamport entwickelt wurde. Sie wird zum Entwerfen, Modellieren, Dokumentieren und Verifizieren von Programmen, insbesondere nebenläufigen Systemen und verteilten Systemen, verwendet. TLA+ gilt als umfassend testbarer Pseudocode. Das heisst, TLA+ wird normalerweise vor dem eigentlichen Programmieren verwendet!

Leslie Lamport war der Gewinner des Turing Award 2013. Er hat nicht nur LaTex geschrieben, sondern auch grundlegende Arbeit im Bereich der verteilten Systeme geleistet.

Kooperation
Diese Veranstaltung ist eine Kooperation des JUGS e.V. in Kooperation mit dem Softwarezentrum Böblingen/Sindelfingen e.V. und dem KI Startup- und Innovationszentrum AI xpress.

Referent

Markus Kuppe (Principal Research Software Development Engineer bei Microsoft in Seattle) arbeitet mit Leslie Lamport zusammen, und verfügt über umfangreiche Erfahrung im Unterrichten von TLA+, da er bereits mehr als zwei Dutzend TLA+-Klassen unterrichtet hat. Markus hat auch Artikel zu TLA+ veröffentlicht und hat einen Master-Abschluss in Informatik der Universität Hamburg, den er unter der Leitung von Leslie Lamport mit Auszeichnung abschloss. Markus gehört zu den weltbesten TLA+-Experten und hat viele Vorträge über TLA+ sowohl im akademischen Umfeld als auch an Branchentreffpunkten weltweit gehalten. Er ist der perfekte Ausbilder für alle, die mehr über TLA+ und seine Anwendungen in nebenläufigen und verteilten Systemen erfahren möchten.