Dr. Maximilian Heisinger

Wissenschaftlicher Mitarbeiter

LVA

LVA Nr.

Titel

Typ

SSt.

LeiterInnen

Rhythmus

338014 (2025S)

Formal Models
Terminliste einblenden

1,00

Nils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338018 (2025S)

Formal Models
Terminliste einblenden

1,00

Nils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338019 (2025S)

Formal Models
Terminliste einblenden

1,00

Nils FroleyksSimone HeisingerMaximilian HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338017 (2025S)

Formal Models
Terminliste einblenden

1,00

Simone HeisingerNils FroleyksMaximilian HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338013 (2025S)

Formal Models
Terminliste einblenden

1,00

Peter PfeifferNils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338011 (2025S)

Formal Models
Terminliste einblenden

1,00

Simone HeisingerNils FroleyksMaximilian HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338012 (2025S)

Formal Models
Terminliste einblenden

1,00

Adrian Rebola PardoNils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankMartina Seidl

Wöchentlich

338010 (2025S)

Formal Models
Terminliste einblenden

2,00

Martina SeidlNils FroleyksMaximilian Heisinger

Wöchentlich

338020 (2025S)

Bachelor’s Thesis Seminar in AI

6,00

Martina SeidlMaximilian HeisingerClemens Hofstadler

Blocktermin

338021 (2025S)

SAT Solving
Terminliste einblenden

2,00

Martina SeidlNils FroleyksMaximilian Heisinger

Wöchentlich

338009 (2025S)

Formal Models
Terminliste einblenden

1,00

Nils FroleyksSimone HeisingerMaximilian HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338026 (2025S)

Formal Models
Terminliste einblenden

1,00

Paulus SeipNils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338027 (2025S)

Formal Models
Terminliste einblenden

1,00

Clemens HofstadlerNils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338015 (2025S)

Formal Models
Terminliste einblenden

1,00

Maximilian HeisingerNils FroleyksSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338016 (2025S)

Formal Models
Terminliste einblenden

1,00

Maximilian HeisingerNils FroleyksSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Wöchentlich

338014 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Nils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338018 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Nils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338019 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Nils FroleyksSimone HeisingerMaximilian HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338017 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Simone HeisingerNils FroleyksMaximilian HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338013 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Peter PfeifferNils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338011 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Simone HeisingerNils FroleyksMaximilian HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338012 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Adrian Rebola PardoNils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankMartina Seidl

Rhythmus

Wöchentlich

338010 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

2,00

LeiterInnen

Martina SeidlNils FroleyksMaximilian Heisinger

Rhythmus

Wöchentlich

338020 (2025S)

Titel

Bachelor’s Thesis Seminar in AI

Typ

SSt.

6,00

LeiterInnen

Martina SeidlMaximilian HeisingerClemens Hofstadler

Rhythmus

Blocktermin

338021 (2025S)

Titel

SAT Solving
Terminliste einblenden

Typ

SSt.

2,00

LeiterInnen

Martina SeidlNils FroleyksMaximilian Heisinger

Rhythmus

Wöchentlich

338009 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Nils FroleyksSimone HeisingerMaximilian HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338026 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Paulus SeipNils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338027 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Clemens HofstadlerNils FroleyksMaximilian HeisingerSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338015 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Maximilian HeisingerNils FroleyksSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

338016 (2025S)

Titel

Formal Models
Terminliste einblenden

Typ

SSt.

1,00

LeiterInnen

Maximilian HeisingerNils FroleyksSimone HeisingerMark PeyrerPeter PfeifferAndreas PlankAdrian Rebola PardoMartina Seidl

Rhythmus

Wöchentlich

Name
CookieConsent
Zweck	Speichert Ihre Einstellungen zur Verwendung von Cookies auf dieser Website.
Ablauf	1 Jahr
Anbieter	JKU

Name
_ga
Zweck	Wird verwendet, um Benutzer zu unterscheiden.
Ablauf	2 Jahre
Anbieter	Google
_gid
Zweck	Wird verwendet, um Benutzer zu unterscheiden und die Nutzung der Website zu analysieren. Es werden anonyme Daten zur Anzahl von Besuchern, die besuchten Seiten und die Quelle des Zugriffes erfasst.
Ablauf	1 Tag
Anbieter	Google
_gat_UA-112203476-1
Zweck	Wird zum Drosseln der Anfragerate bei Google Analytics für Websites mit hohen Nutzerzahlen verwendet.
Ablauf	1 Minute
Anbieter	Google
__Secure-ENID
Zweck	Wird in Zusammenhang mit Google-Diensten verwendet. Das Cookie dient primär der Sicherheit und Authentifizierung.
Ablauf	13 Monate
Anbieter	Google
AEC
Zweck	Wird verwendet, um unbefugten Zugriff und Cross-Site-Request Forgery (CSRF) Angriffe zu verhindern.
Ablauf	6 Monate
Anbieter	Google
SOCS
Zweck	Wird verwendet, um die Cookie-Einstellungen des Users zu speichern.
Ablauf	13 Monate
Anbieter	Google
_pk_id
Zweck	Wird verwendet, um einige Details über den Benutzer zu speichern wie z.B. die eindeutige Besucher-ID.
Ablauf	13 Monate
Anbieter	JKU
_pk_ses
Zweck	Kurzlebiges Cookie, welches verwendet wird, um Daten für den Besuch vorübergehend zu speichern.
Ablauf	30 Minuten
Anbieter	JKU
_pk_ref
Zweck	Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern.
Ablauf	6 Monate
Anbieter	JKU

Name	Zweck	Ablauf	Anbieter
_ga	Wird verwendet, um Benutzer zu unterscheiden.	2 Jahre	Google
_gid	Wird verwendet, um Benutzer zu unterscheiden und die Nutzung der Website zu analysieren. Es werden anonyme Daten zur Anzahl von Besuchern, die besuchten Seiten und die Quelle des Zugriffes erfasst.	1 Tag	Google
_gat_UA-112203476-1	Wird zum Drosseln der Anfragerate bei Google Analytics für Websites mit hohen Nutzerzahlen verwendet.	1 Minute	Google
__Secure-ENID	Wird in Zusammenhang mit Google-Diensten verwendet. Das Cookie dient primär der Sicherheit und Authentifizierung.	13 Monate	Google
AEC	Wird verwendet, um unbefugten Zugriff und Cross-Site-Request Forgery (CSRF) Angriffe zu verhindern.	6 Monate	Google
SOCS	Wird verwendet, um die Cookie-Einstellungen des Users zu speichern.	13 Monate	Google
_pk_id	Wird verwendet, um einige Details über den Benutzer zu speichern wie z.B. die eindeutige Besucher-ID.	13 Monate	JKU
_pk_ses	Kurzlebiges Cookie, welches verwendet wird, um Daten für den Besuch vorübergehend zu speichern.	30 Minuten	JKU
_pk_ref	Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern.	6 Monate	JKU

Name
_ga
Zweck	Wird verwendet, um Benutzer zu unterscheiden.
Ablauf	2 Jahre
Anbieter	Google
_gid
Zweck	Wird verwendet, um Benutzer zu unterscheiden und die Nutzung der Website zu analysieren. Es werden anonyme Daten zur Anzahl von Besuchern, die besuchten Seiten und die Quelle des Zugriffes erfasst.
Ablauf	1 Tag
Anbieter	Google
_gcl_au
Zweck	Wird verwendet, um zwischen User und Userverhalten zu unterscheiden.
Ablauf	3 Monate
Anbieter	Google
_gac_UA-112203476-1
Zweck	Enthält Kampagneninformationen und dient der Messung des Kampagnenerfolges von Google AdWords Kampagnen.
Ablauf	90 Tage
Anbieter	Google
test_cookie
Zweck	Wird testweise gesetzt, um zu prüfen, ob der Browser das Setzen von Cookies erlaubt. Enthält keine Identifikationsmerkmale.
Ablauf	15 Minuten
Anbieter	Google
IDE
Zweck	Enthält eine zufallsgenerierte User-ID. Anhand dieser ID kann Google den User über verschiedene Websites domainübergreifend wiedererkennen und personalisierte Werbung ausspielen.
Ablauf	1 Jahr
Anbieter	Google
_gcl_aw
Zweck	Dieses Cookie wird gesetzt, wenn ein User über einen Klick auf eine Google Werbeanzeige auf die Website gelangt. Es enthält Informationen darüber, welche Werbeanzeige geklickt wurde, sodass erzielte Erfolge wie z.B. Bestellungen oder Kontaktanfragen der Anzeige zugewiesen werden können.
Ablauf	3 Monate
Anbieter	Google
AMCV_xx
Zweck	Enthält eine zufallsgenerierte User-ID. Anhand dieser ID kann die Adobe Marketing Cloud den User über verschiedene Websites domainübergreifend wiedererkennen und personalisierte Werbung ausspielen.
Ablauf	3 Jahre
Anbieter	LinkedIn
bcookie
Zweck	Enthält eine ID des Browsers.
Ablauf	2 Jahre
Anbieter	LinkedIn
bscookie
Zweck	Enthält eine ID des Browsers bei einer sicheren Verbindung.
Ablauf	2 Jahre
Anbieter	LinkedIn
lang
Zweck	Wird verwendet, um die Spracheinstellung des Besuchers zu speichern.
Ablauf	Session
Anbieter	LinkedIn
lidc
Zweck	Wird verwendet, um Benutzer zu unterscheiden und die Nutzung der Website zu analysieren. Es werden anonyme Daten zur Anzahl von Besuchern, die besuchten Seiten und die Quelle des Zugriffes erfasst.
Ablauf	1 Tag
Anbieter	LinkedIn
lissc
Zweck	Wird für die Analyse der Nutzung von eingebetteten Dienstleistungen verwendet.
Ablauf	1 Jahr
Anbieter	LinkedIn
UserMatchHistory
Zweck	Enthält Kampagneninformationen und dient der Messung des Kampagnenerfolges.
Ablauf	30 Tage
Anbieter	LinkedIn
fr
Zweck	Enthält Kampagneninformationen und dient der Messung des Kampagnenerfolges.
Ablauf	90 Tage
Anbieter	Facebook
fbp
Zweck	Wird von Facebook genutzt, um eine Reihe von Werbeprodukten anzuzeigen, zum Beispiel Echtzeitangebote dritter Werbetreibender.
Ablauf	90 Tage
Anbieter	Facebook
sc_at
Zweck	Wird verwendet, um Benutzer über mehrere Domains hinweg zu unterscheiden.
Ablauf	1 Jahr
Anbieter	Snap
sc-country
Zweck	Dieses Cookie unterscheidet das Land des Benutzers.
Ablauf	1 Tag
Anbieter	Snap
uid
Zweck	Dieses Cookie enthält eine zufallsgenerierte User-ID und wird für das Ausspielen und die Echtzeitermittlung der Preise für Anzeigen für differenzierte Zielgruppen verwendet.
Ablauf	60 Tage
Anbieter	Adform
C
Zweck	Identifiziert und speichert ob Nutzer Cookies akzeptieren. Wert 1: Cookies sind erlaubt, Wert 3: Cookies sind nicht erlaubt.
Ablauf	30 Tage
Anbieter	Adform
_scid_r
Zweck	Wird verwendet, um User anhand einer eindeutigen ID zu identifizieren und maßgeschneiderte Werbung basierend auf den Useraktivitäten zu liefern. Es dient zur Optimierung von Werbeinhalten und Kampagnen.
Ablauf	13 Monate
Anbieter	Snapchat
_scid
Zweck	Wird verwendet, User anhand einer eindeutigen ID zu identifizieren und über verschiedene Websites hinweg zu verfolgen und gezielte Werbung basierend auf dem Userverhalten anzuzeigen.
Ablauf	13 Monate
Anbieter	Snapchat
X-AB
Zweck	Cookie steht in Zusammenhang mit Snapchat-Inhalten.
Ablauf	1 Tag
Anbieter	Snapchat
_ScCbts
Zweck	Wird verwendet, um Werbeanzeigen zu optimieren, Inhalte zu personalisieren, Sicherheitsmaßnahmen zu verbessern und die Nutzung zu analysieren.
Ablauf	7 Tage
Anbieter	Snapchat
li_gc
Zweck	Wird verwendet, um die Cookie-Einstellungen für User ohne LinkedIn Registrierung zu speichern.
Ablauf	6 Monate
Anbieter	LinkedIn

Name	Zweck	Ablauf	Anbieter
_ga	Wird verwendet, um Benutzer zu unterscheiden.	2 Jahre	Google
_gid	Wird verwendet, um Benutzer zu unterscheiden und die Nutzung der Website zu analysieren. Es werden anonyme Daten zur Anzahl von Besuchern, die besuchten Seiten und die Quelle des Zugriffes erfasst.	1 Tag	Google
_gcl_au	Wird verwendet, um zwischen User und Userverhalten zu unterscheiden.	3 Monate	Google
_gac_UA-112203476-1	Enthält Kampagneninformationen und dient der Messung des Kampagnenerfolges von Google AdWords Kampagnen.	90 Tage	Google
test_cookie	Wird testweise gesetzt, um zu prüfen, ob der Browser das Setzen von Cookies erlaubt. Enthält keine Identifikationsmerkmale.	15 Minuten	Google
IDE	Enthält eine zufallsgenerierte User-ID. Anhand dieser ID kann Google den User über verschiedene Websites domainübergreifend wiedererkennen und personalisierte Werbung ausspielen.	1 Jahr	Google
_gcl_aw	Dieses Cookie wird gesetzt, wenn ein User über einen Klick auf eine Google Werbeanzeige auf die Website gelangt. Es enthält Informationen darüber, welche Werbeanzeige geklickt wurde, sodass erzielte Erfolge wie z.B. Bestellungen oder Kontaktanfragen der Anzeige zugewiesen werden können.	3 Monate	Google
AMCV_xx	Enthält eine zufallsgenerierte User-ID. Anhand dieser ID kann die Adobe Marketing Cloud den User über verschiedene Websites domainübergreifend wiedererkennen und personalisierte Werbung ausspielen.	3 Jahre	LinkedIn
bcookie	Enthält eine ID des Browsers.	2 Jahre	LinkedIn
bscookie	Enthält eine ID des Browsers bei einer sicheren Verbindung.	2 Jahre	LinkedIn
lang	Wird verwendet, um die Spracheinstellung des Besuchers zu speichern.	Session	LinkedIn
lidc	Wird verwendet, um Benutzer zu unterscheiden und die Nutzung der Website zu analysieren. Es werden anonyme Daten zur Anzahl von Besuchern, die besuchten Seiten und die Quelle des Zugriffes erfasst.	1 Tag	LinkedIn
lissc	Wird für die Analyse der Nutzung von eingebetteten Dienstleistungen verwendet.	1 Jahr	LinkedIn
UserMatchHistory	Enthält Kampagneninformationen und dient der Messung des Kampagnenerfolges.	30 Tage	LinkedIn
fr	Enthält Kampagneninformationen und dient der Messung des Kampagnenerfolges.	90 Tage	Facebook
fbp	Wird von Facebook genutzt, um eine Reihe von Werbeprodukten anzuzeigen, zum Beispiel Echtzeitangebote dritter Werbetreibender.	90 Tage	Facebook
sc_at	Wird verwendet, um Benutzer über mehrere Domains hinweg zu unterscheiden.	1 Jahr	Snap
sc-country	Dieses Cookie unterscheidet das Land des Benutzers.	1 Tag	Snap
uid	Dieses Cookie enthält eine zufallsgenerierte User-ID und wird für das Ausspielen und die Echtzeitermittlung der Preise für Anzeigen für differenzierte Zielgruppen verwendet.	60 Tage	Adform
C	Identifiziert und speichert ob Nutzer Cookies akzeptieren. Wert 1: Cookies sind erlaubt, Wert 3: Cookies sind nicht erlaubt.	30 Tage	Adform
_scid_r	Wird verwendet, um User anhand einer eindeutigen ID zu identifizieren und maßgeschneiderte Werbung basierend auf den Useraktivitäten zu liefern. Es dient zur Optimierung von Werbeinhalten und Kampagnen.	13 Monate	Snapchat
_scid	Wird verwendet, User anhand einer eindeutigen ID zu identifizieren und über verschiedene Websites hinweg zu verfolgen und gezielte Werbung basierend auf dem Userverhalten anzuzeigen.	13 Monate	Snapchat
X-AB	Cookie steht in Zusammenhang mit Snapchat-Inhalten.	1 Tag	Snapchat
_ScCbts	Wird verwendet, um Werbeanzeigen zu optimieren, Inhalte zu personalisieren, Sicherheitsmaßnahmen zu verbessern und die Nutzung zu analysieren.	7 Tage	Snapchat
li_gc	Wird verwendet, um die Cookie-Einstellungen für User ohne LinkedIn Registrierung zu speichern.	6 Monate	LinkedIn

Dr. Maximilian Heisinger

Publikationen

Vorträge

Forschungsprojekte

Scientific Community Services

Erfindungen

LVA