BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AI xpress - ECPv6.15.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://aixpress.io
X-WR-CALDESC:Veranstaltungen für AI xpress
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Berlin:20230511T090000
DTEND;TZID=Europe/Berlin:20230512T170000
DTSTAMP:20260506T044456
CREATED:20230327T140839Z
LAST-MODIFIED:20240726T103811Z
UID:10000300-1683795600-1683910800@aixpress.io
SUMMARY:TLA+ Workshop
DESCRIPTION: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).  \n\n\n\nWas 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!  \n\n\n\nLeslie Lamport war der Gewinner des Turing Award 2013. Er hat nicht nur LaTex geschrieben\, sondern auch grundlegende Arbeit im Bereich der verteilten Systeme geleistet.  \n\n\n\n \n\n\n\n\n\n \n\n\n\n \n\n\n\nKooperationDiese 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.  \n\n\n\n \n\n\n\n\n\n\n\n\n\n\n  \n\nReferent\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\nMarkus 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. \n\n\n\n \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n  \n\nAnmeldung\n\n\n\n\n\n\n\n\n\n\n\nWeitere Informationen und Details zur Anmeldung findest du über die Seite der Java User Group Stuttgart!  \n\n\n\n\n\n\n\n\n\n\n  \n\nVeranstalter\n\n\n\n\n\n\n\n\n\n  \n          \n              \n          \n              \n          \n              \n      \n\n\n\n\n\n\n\n\n\n\n\n\nBei Fragen schreibe uns bitte eine E-Mail an: info@aixpress.io. Vielen Dank!
URL:https://aixpress.io/events/tla-workshop/
LOCATION:AI xpress\, Röhrer Weg 8\, Böblingen\, 71032\, Deutschland
CATEGORIES:Workshop
ATTACH;FMTTYPE=image/jpeg:https://aixpress.io/wp-content/uploads/2023/03/TLAWorkshop-2.jpg
END:VEVENT
END:VCALENDAR