confirm upload
cancel upload
To upload files, they can be dragged & dropped into any Semester(s): ______ ______ | .... | | . | | .. | | ... | Files ----- Browserwindow | . | | .. | / |______| |______| / | | | | / ---------~ ~--------~ ~---------------------- | | | | | | | ___| |________| |______ ________ | | | _________ _________ _____ __| | | _| |_ _| |_ _| |_ | | \ / \ / . . . \ / | Drag & Drop | \ / \ / \ / | | \/ \/ \/ | | _________ _________ _________ | | | 2021W | | 2020W | | 1995W | | | | | | | | | | | | .. | | ... | . . . | . | | | | .... | | ...... | . . . | ... | | Semesters | | .. | | . | . . . | ..... | | | | . | | | . . . | .... | | | | | | | . . . | .... | | | |_________| |_________| |_________| | | | ----------------------------------------------- Understood (don't show this information again)

185.291 - Formal Methods in Computer Science (VO 6.0ECTS)

Egly, Uwe
Gramlich, Bernhard
2024S
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Zuleger, Florian
Moosbrugger, Marcel
Nardi, Oliviero
Pluska, Alexander

E192 Institute of Logic and Computation
2023W
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Zuleger, Florian
Lukumbuzya, Sanja
Moosbrugger, Marcel
Georgiou, Pamina
Pluska, Alexander
Rebola Pardo, Adrian

E192 Institute of Logic and Computation
2023S
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Zuleger, Florian
Petkovic Komel, Anja
Moosbrugger, Marcel
König, Matthias
Nardi, Oliviero
Pluska, Alexander

E192 Institute of Logic and Computation
2022W
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Zuleger, Florian
König, Matthias
Sallinger, Sarah Sophie
Weber, Friedrich
Rain, Sophie
Moosbrugger, Marcel

E192 Institute of Logic and Computation
2022S
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Zuleger, Florian
König, Matthias
Sallinger, Sarah Sophie
Weber, Friedrich
Rain, Sophie
Petkovic Komel, Anja

E192 Institute of Logic and Computation
2021W
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Zuleger, Florian
König, Matthias
Georgiou, Pamina
Sallinger, Sarah Sophie
Weber, Friedrich
Stankovic, Miroslav

E192 Institute of Logic and Computation
2021S
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Zuleger, Florian
Rapberger, Anna

E192 Institute of Logic and Computation
2020W
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Cerny, Pavol
Rapberger, Anna
Sallinger, Sarah Sophie
Weber, Friedrich

E192 Institute of Logic and Computation
2020S
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Cerny, Pavol
Humenberger, Andreas
Kukovec, Jure

E192 Institute of Logic and Computation
2019W
Egly, Uwe
Woltran, Stefan
Kovacs, Laura
Humenberger, Andreas
Kukovec, Jure
Cerny, Pavol

E192 Institute of Logic and Computation
2019S
Egly, Uwe
Woltran, Stefan
Zuleger, Florian
Kovacs, Laura
Gleiss, Bernhard
Humenberger, Andreas
Tran, Thanh Hai
Stankovic, Miroslav

E192 Institute of Logic and Computation
2018W
Egly, Uwe
Woltran, Stefan
Zuleger, Florian
Kovacs, Laura
Pührer, Jörg
Pagel, Jens
Schlaipfer, Matthias
Kukovec, Jure
Lazic, Marijana
Stoilkovska, Ilina

E192 Institute of Logic and Computation
2018S
Aminof, Benjamin
Egly, Uwe
Lonsing, Florian Matthias
Musliu, Nysret
Salzer, Gernot
Suda, Martin
Woltran, Stefan
Zuleger, Florian

E192 Institute of Logic and Computation
2017W
Aminof, Benjamin
Egly, Uwe
Lonsing, Florian Matthias
Salzer, Gernot
Simkus, Mantas
Suda, Martin
Woltran, Stefan
Zuleger, Florian

E185 Institute of Computer Languages
2017S
Salzer, Gernot
Egly, Uwe
Kotek, Tomer
Lonsing, Florian Matthias
Schlaipfer, Matthias
Simkus, Mantas
Suda, Martin
Weissenbacher, Georg
Woltran, Stefan

E185 Institute of Computer Languages
2016W
Salzer, Gernot
Egly, Uwe
Weissenbacher, Georg
Woltran, Stefan
Pagel, Jens
Lonsing, Florian Matthias
Simkus, Mantas
Sinn, Moritz
Suda, Martin

E185 Institute of Computer Languages
2016S
Salzer, Gernot
Egly, Uwe
Veith, Helmut
Woltran, Stefan
Pagel, Jens
Kotek, Tomer
Lonsing, Florian Matthias
Pani, Thomas
Simkus, Mantas
Zuleger, Florian

E185 Institute of Computer Languages
2015W
Salzer, Gernot
Egly, Uwe
Veith, Helmut
Woltran, Stefan
Konnov, Igor
Lonsing, Florian Matthias
Pani, Thomas
Simkus, Mantas
Zuleger, Florian

E185 Institute of Computer Languages
2015S
Salzer, Gernot
Egly, Uwe
Veith, Helmut
Woltran, Stefan
Konnov, Igor
Pani, Thomas
Simkus, Mantas
Weinzierl, Antonius
Zuleger, Florian

E185 Institute of Computer Languages
2014S
Salzer, Gernot
Egly, Uwe
Pichler, Reinhard
Veith, Helmut
Konnov, Igor
Musliu, Nysret
Pani, Thomas
Simkus, Mantas
Sinn, Moritz
Weinzierl, Antonius
Zuleger, Florian

E185 Institute of Computer Languages
2013S
Salzer, Gernot
Egly, Uwe
Pichler, Reinhard
Veith, Helmut
Holzer, Andreas
Konnov, Igor
Simkus, Mantas
Sinn, Moritz
Sisel, Tanja
Weinzierl, Antonius
Zuleger, Florian

E185 Institute of Computer Languages
2012S
Salzer, Gernot
Egly, Uwe
Pichler, Reinhard
Veith, Helmut
Holzer, Andreas
Konnov, Igor
Musliu, Nysret
Sisel, Tanja
Weinzierl, Antonius
Zuleger, Florian
Sinn, Moritz

E185 Institute of Computer Languages
2011S
Egly, Uwe
Holzer, Andreas
Pichler, Reinhard
Salzer, Gernot
Schüller, Peter
Simkus, Mantas
Sisel, Tanja
Veith, Helmut
Weinzierl, Antonius
Zuleger, Florian

E185 Institute of Computer Languages
2010S
Egly, Uwe
Gramlich, Bernhard
Pichler, Reinhard
Salzer, Gernot
Tompits, Hans

E185 Institute of Computer Languages
2009W
Egly, Uwe
Gramlich, Bernhard
Pichler, Reinhard
Salzer, Gernot
Tompits, Hans

E185 Institute of Computer Languages
2009S
Egly, Uwe
Gramlich, Bernhard
Pichler, Reinhard
Salzer, Gernot
Tompits, Hans

E185 Institute of Computer Languages
2008W
Egly, Uwe
Gramlich, Bernhard
Pichler, Reinhard
Salzer, Gernot
Tompits, Hans

E185 Institute of Computer Languages
2008S
Egly, Uwe
Gramlich, Bernhard
Pichler, Reinhard
Salzer, Gernot
Tompits, Hans

E185 Institute of Computer Languages
2007W
Egly, Uwe
Gramlich, Bernhard
Pichler, Reinhard
Salzer, Gernot
Tompits, Hans

E185 Institute of Computer Languages
2006W
Gramlich, Bernhard
Salzer, Gernot

E185 Institute of Computer Languages