Section: VL Formal Modeling (SS 2021) | 326.006, VL Formales Modellieren, Wolfgang Schreiner / Carsten Schneider / Wolfgang Windsteiger, 2021S

Upcoming events

There are no upcoming events

Calendar

Monday	Tuesday	Wednesday	Thursday	Friday	Saturday	Sunday
					No events, Saturday, 1 March No events, Saturday, 1 March	No events, Sunday, 2 March No events, Sunday, 2 March
No events, Monday, 3 March No events, Monday, 3 March	No events, Tuesday, 4 March No events, Tuesday, 4 March	No events, Wednesday, 5 March No events, Wednesday, 5 March	No events, Thursday, 6 March No events, Thursday, 6 March	No events, Friday, 7 March No events, Friday, 7 March	No events, Saturday, 8 March No events, Saturday, 8 March	No events, Sunday, 9 March No events, Sunday, 9 March
No events, Monday, 10 March No events, Monday, 10 March	No events, Tuesday, 11 March No events, Tuesday, 11 March	No events, Wednesday, 12 March No events, Wednesday, 12 March	No events, Thursday, 13 March No events, Thursday, 13 March	No events, Friday, 14 March No events, Friday, 14 March	No events, Saturday, 15 March No events, Saturday, 15 March	No events, Sunday, 16 March No events, Sunday, 16 March
No events, Monday, 17 March No events, Monday, 17 March	No events, Tuesday, 18 March No events, Tuesday, 18 March	No events, Wednesday, 19 March No events, Wednesday, 19 March	No events, Thursday, 20 March No events, Thursday, 20 March	No events, Friday, 21 March No events, Friday, 21 March	No events, Saturday, 22 March No events, Saturday, 22 March	No events, Sunday, 23 March No events, Sunday, 23 March
No events, Monday, 24 March No events, Monday, 24 March	No events, Tuesday, 25 March No events, Tuesday, 25 March	No events, Wednesday, 26 March No events, Wednesday, 26 March	No events, Thursday, 27 March No events, Thursday, 27 March	No events, Friday, 28 March No events, Friday, 28 March	No events, Saturday, 29 March No events, Saturday, 29 March	No events, Sunday, 30 March No events, Sunday, 30 March
No events, Monday, 31 March No events, Monday, 31 March

JavaScript is disabled in your browser.
Many features of Moodle will be not usable or will appear to be broken.
Please enable JavaScript for the full Moodle experience.

Section outline

Select section VL Formal Modeling (SS 2021)
326.006, Wednesday, 15:30-17:00, Start: March 10, 2021
We discuss the formal modeling of mathematical problems that are amenable to algorithms and software from symbolic computation; the models are based on the language of algebra and logic. In this lecture, we discuss particular examples from various application domains. In the accompanying proseminar students are expected to model selected problems and demonstrate their results in the form of small papers and presentations.
The course will take place (completely or partially) in digital form via Zoom Meetings (respectively video recordings), see the link below.
Zoom Meeting
https://jku.zoom.us/j/95922982482?pwd=ejFPeVEyekswZFRRQ0h4MWlzRlNpdz09
Meeting-ID: 959 2298 2482 Password: ..modeling

Johannes Kepler Universität Linz

Impressum

March 2025

Section outline