wire - kurze nachrichten

Winner of the CADE ATP System Competition and recipient of the Distinguished Paper Award For the first time in the history of the CADE ATP System Competition (CASC), a single automated theorem prover has achieved a clean sweep: VAMPIRE won all'eight competition divisions at CASC-30.

The 2025 European Women's Football Championship kicks off tomorrow, Wednesday, in Switzerland. The Spanish national team is favored to take home the trophy in the three-week tournament.

A Mathlib developer at ISTA: Graduate student Martin Dvorák's 'side-project' Mathematics is an umbrella term uniting diverse disciplines with different conventions.

How to prepare for the third pillar of science - let's call it computing or simulation? How to keep up with the ever-evolving computational tools relevant to one's field of studies? This winter term,

With an ESPRIT grant from the Austrian Science Fund FWF, Tobias Schäfer is developing new computational methods to solve previously unsolvable quantum physics problems in computational materials physics.

After being eliminated in the quarter-finals four years ago, the Brazilian national team is once again the clear favourite to win the FIFA World Cup.

By Birgit Baustädter Christian Elsholtz has made it into the academic conversation in recent months with a mathematical "joke.

By Christoph Pelzl Using the visual cortex as a model in the human brain, the research group led by ERC-award-winner Thomas Pock has developed new mathematical models and algorithms as the basis for faster and more intelligent image processing programs.

By Beate Mosing Students think: "Mathematics has got nothing to do with my life." Wrong! Professor Peter Grabner on the role of mathematics in everyday life - in bank transfers, weather trends and so on.

By Birgit Baustädter Michael Kerber from the Institute of Geometry at TU Graz uses topological methods - a branch of mathematics and geometry - to extract the secrets of complex data sets.

By Christoph Pelzl Statistics can use data to identify patterns and derive concrete recommendations for action.

Stochastic models are now indispensable for answering practical questions on finance and insurance. Their use needs to be based on a careful model validation process and an awareness of model limitations.

By Christoph Aistleitner TU Graz's Institute of Analysis and Number Theory was awarded the FWF START Prize in 2016.

Within the framework of the 19th Congress of the Austrian Mathematical Society and the anniversary of the German Mathematic Association (ÖMG-DMV-Congress 11 - 15 September), approximately 450 mathema

During this congress, 450 international participants will meet from 11 to 15 September at the University of Salzburg Faculty of Natural Sciences to discuss research and teaching, to hold workshops and to participate in lectures by well-known colleagues.

At TU Wien, an alternative for resource intensive formwork for the construction of concrete domes was developed.

Overlooking the sea, the Istituto Nazionale di Oceanografia e di Geofisica Sperimentale (OGS) held a workshop on marine microzooplankton from 23 to 27 May, 2016.

At the contest hosted by the MRI Society, researchers compete against each other. This year, mathematicians from the University of Graz and medical engineers from TU Graz won first prize together.

Mathematician Roswitha Rissner, physicist Andreas Kautsch and telematics engineer Paul Meissner were awarded Josef Krainer Sponsorship Prizes for their excellent doctoral theses at TU Graz.

Once again, Vienna is one of the capitals of logic research, more than 80 years after Kurt Gödel wrote down his incompleteness theorems.