# Formal Sciences

Formal Sciences at IST Austria include Mathematics and Computer Science, and are currently represented by:

Distributed Algorithms and Systems Dan Alistarh |

Mathematical Models of Evolution Nick Barton |

Computer Graphics and Digital Fabrication Bernd Bickel |

Computer-aided Verification, Game Theory Krishnendu Chatterjee |

Algorithms, Computational Geometry and Topology Herbert Edelsbrunner |

Mathematical Physics and ProbabilityLaszlo Erdös |

Theory of Partial Differential Equations, Applied and Numerical AnalysisJulian Fischer |

Geometry and its InterfacesTamás Hausel |

Design and Analysis of Concurrent and Embedded Systems Thomas Henzinger |

Computer Vision and Discrete OptimizationVladimir Kolmogorov |

Computer Vision and Machine Learning Christoph Lampert |

Stochastic Analysis Jan Maas |

Cryptography Krzysztof Pietrzak |

Mathematical Physics Robert Seiringer |

Discrete and Computational Geometry and Topology Uli Wagner |

Computer Graphics Chris Wojtan |

## Upcoming Events

October 20, 2017

October 23, 2017

October 23, 2017

October 24, 2017

October 24, 2017