Talks and workshops bringing together researchers in complex quantum systems.
Upcoming
Workshop –
Formalization for Physics
Invited participant: Fabio Anza
Institute for Computer-Aided Reasoning in Mathematics (ICARM), Carnegie Mellon University, Pittsburgh, Pennsylvania
About the workshop
Fabio Anza has been invited to participate in this workshop on formalization and machine-checked reasoning in physics.
The meeting will bring together physicists, mathematicians, and proof-assistant practitioners to explore how formal methods and AI-assisted theorem proving can support physics research, clarify assumptions, and organize mathematical knowledge.
Fabio Anza presented Agentic Theory – Reflections on the future of theoretical physics, discussing AI and formal verification in theoretical physics.
Organized by UMBC's CARTA Center, Quantum Science Institute, and AI Institute, the symposium brought together researchers and external collaborators to discuss connections between AI and quantum technologies, current applications, and future research directions.
Quantum many-body systems out of equilibrium: Relaxation, thermalization, and ergodicity breaking
Invited speaker: Fabio Anza · University of Maryland, Baltimore County
Max Planck Institute for the Physics of Complex Systems, Dresden, Germany
About the workshop
Fabio Anza participated as an invited speaker in this international workshop on relaxation, thermalization, and departures from ergodic behavior in quantum many-body systems.
On 1 September 2026, he presented Ensemble equilibration and thermalization in quantum systems – A geometric approach grounded in dynamical systems theory, discussing the dynamics of quantum ensembles beyond the density-matrix description.
Telluride Science & Innovation Center, Telluride, Colorado
About the workshop
Fabio Anza co-organized this workshop with Jim Crutchfield, Korana Burke, and Chris Jarzynski. Cameron Hahn also presented at the meeting.
The workshop explored how nanoscale systems process information and exchange energy, connecting nonequilibrium thermodynamics, classical and quantum information, and statistical mechanics. Discussions spanned biological molecular machines, synthetic information engines, and quantum devices.
Organizers: Fabio Anza, Sebastian Deffner, and Daniel Suárez-Forero
UMBC, Physics Building, Room 101
About the workshop
From Quantum Chemistry to NISQ Devices. This two-day workshop brought together researchers in quantum information, quantum chemistry, and quantum thermodynamics to explore energy and information processing in complex molecular systems and quantum devices.
The workshop was sponsored by the U.S. Department of Energy, Office of Science, Chemical Sciences, Geosciences, and Biosciences Division, with support for graduate students and postdoctoral researchers. UMBC hosted the event, and the UMBC Quantum Science Institute supported invited-speaker travel and accommodation.