© Pint of Science, 2026. All rights reserved.
How is technology redefining the limits of human intelligence? Join us to explore the future of mathematics, where software is evolving into a "digital brain" capable of checking and writing complex proofs. Then, go beneath the surface to discover the tiny semiconductors that power this logic. From the history of chip-making to Southampton’s own world-class cleanrooms, see how mind and matter meet!
Computer-aided mathematics: where we've been and where we're going
Michael Rawson
(Research Fellow in Computer Science)
Computers have revolutionised the way many mathematicians do their jobs. You probably know about calculation, simulation and perhaps computer algebra. But software can now check and even sometimes write mathematical arguments. We'll take a look at these tools and what they mean for the future of mathematics and for the world.
Photo by Egor Komarov on Unsplash
Chips with Everything: How Tiny Semiconductors Run Your World
Ibrahim Sari
(Associate Director, Semiconductor Devices and Integration, University of Southampton )
Your phone, your car, your kettle all run on semiconductors. But what actually are they, and how do we make something so impossibly small? Join Ibrahim for a journey through the history and science of chip-making: from the earliest breakthroughs in electronics, to the cutting-edge fabrication happening in Southampton's own world-class cleanrooms today, and the devices quietly powering the future.
Photo by Vishnu Mohanan on Unsplash
Map data © OpenStreetMap contributors.
Other Stein Garten events
2026-05-20
Flexible & Fast: The Future of Tiny Tech
Stein Garten
46-47 High Street, Southampton, SO14 2NS, United Kingdom
2026-05-18
Virtual Care & Invisible Safety: How Tech Guards Our World
Stein Garten
46-47 High Street, Southampton, SO14 2NS, United Kingdom