Wolfgang Pauli Institute (WPI) Vienna |
|||||
---|---|---|---|---|---|
Home | WPI in a nutshell | Practical Information | Events | People | WPI Projects |
Login | Thematic Programs | Pauli Fellows | Talks | Research Groups |
7th Workshop "Mathematics for Medicine (against Cancer)" |
||
---|---|---|
| ||
| ||
|
Symposium "What are mathematics (good for) ?" |
||
---|---|---|
| ||
Topics: at the occasion of the "Mauser60Fest" we shall discuss the essence of mathematics and their impact on science and society. This symposium is sort of sequel of the 2018 symposium "How many mathematics ?" (where the answer was "2.666") cf https://www.wpi.ac.at/event_view.php?id_activity=261 | ||
| ||
|
15th Plasma Kinetics Working Group Meeting (external website ) |
||
---|---|---|
| ||
|
18th International Conference on Reachability Problems (RP'24) (external website ) |
||
---|---|---|
| ||
|
Workshop "Mathematical modeling in life and health sciences" |
||
---|---|---|
| ||
|
Workshop "Asynchronous Hyperproperties: From Theory to Practice" (external website ) |
||
---|---|---|
| ||
Topics: Hyperproperties are a general framework to reason about properties requiring comparing multiple system executions, like security properties or robustness requirements. In this workshop, we want to bring together practitioners from different backgrounds with theoreticians developing frameworks for specifying hyperproperties. This workshop will focus on the recent developments in hyperproperties verification over systems in which executions are not aligned, called asynchronous hyperproperties. The workshop format will emphasise open discussions and promote the interchange of ideas between different communities. | ||
|
Working Group on "Forest of Nearest Neighbors" |
||
---|---|---|
| ||
|
Workshop on "Advances in Risk Modelling" (external website ) |
||
---|---|---|
| ||
|
19th International Workshop on Nanomechanical Sensing (external website ) |
||
---|---|---|
| ||
|
Vienna Inner Model Theory 2024 - Determinacy, Inner Models and Forcing Axioms (external website ) |
||
---|---|---|
| ||
|
Workshop on "Robust Kalman Filter and Online Boosting" |
||
---|---|---|
| ||
|
Impressum | webmaster [Printable version] |