Go directly to main content

Studies Show navigation
Research Show navigation
Third Mission Show navigation
Events/News Hide navigation
About us Show navigation
InternShow navigation

Quick links ...Hide navigation

Upcoming events
Info for Visitors External link
Library External link
Staff
StudiesServicesCenter External link
ProjektSERVICE External link
IT- Helpdesk External link
Media External link

Most searched-for services ...Hide navigation

Studying at the University of Vienna External link
u:find Course / Staff search External link
Webmail External link
Intranet for employees External link
u:space External link
Library External link
Moodle (e-learning) External link
Faculties & centres External link
Contact & services from A to Z External link

en Language selection
- Deutsch
Show search formHide search form
Quick links

Websites
Staff search

Search

Studies
Research
Third Mission
Events/News
About us
Intern

Faculty of Mathematics

en Language selection
- Deutsch
Websites

Staff search
Quick links

Quick links ...

Upcoming events
Info for Visitors External link
Library External link
Staff
StudiesServicesCenter External link
ProjektSERVICE External link
IT- Helpdesk External link
Media External link

Most searched-for services ...

Studying at the University of Vienna External link
u:find Course / Staff search External link
Webmail External link
Intranet for employees External link
u:space External link
Library External link
Moodle (e-learning) External link
Faculties & centres External link
Contact & services from A to Z External link

Faculty of Mathematics

Studies
Research
Third Mission
Events/News
About us
Intern

You are here:
University of Vienna
Faculty of Mathematics
Events/News
Full news display

Computer Verification and Math

Mathematisches Kolloquium | 23.05.2018 14:00 - 15:00

Thomas Hales (University of Pittsburgh)

Organiser:

H. Hauser

Location:

HS06

Related Files

20180523ThomasHales.pdf 182 KB

Events/News

↩ Event/News

Quick links ...

Upcoming events

Info for Visitors

StudiesServicesCenter

Most searched-for services ...

Studying at the University of Vienna

u:find Course / Staff search

Intranet for employees

Moodle (e-learning)

Faculties & centres

Contact & services from A to Z

University of Vienna | Universitätsring 1 | 1010 Vienna | T +43-1-4277-0

Sitemap | Imprint | Accessibility | Data Protection Declaration | Printable version

University of Vienna | Universitätsring 1 | 1010 Vienna | T +43-1-4277-0

Sitemap | Imprint | Accessibility | Data Protection Declaration | Printable version

This website uses cookies to optimize your browser experience. You can accept these by clicking the OK button. Find out more information in our Data Protection Declaration.