| Period | 15 Jul 2026 |
|---|---|
| Event title | Automated Reasoning for Quantum Mechanics - WE Heraeus-Lorentz workshop |
| Event type | Seminar/Workshop |
| Location | Leiden, NetherlandsShow on map |
| Degree of Recognition | International |
Documents & Links
Related content
-
Projects
-
Quantum Information Systems Beyond Classical Capabilities
Project: Research funding
-
Quantum Science Austria
Project: Research funding
-
Symmetries and Entanglement in Quantum Matter
Project: Research funding
-
Activities
-
Automated Reasoning for Quantum Mechanics - WE Heraeus-Lorentz workshop
Activity: Academic events › Participation in ...
-
Tensor Networks
Activity: Talks and presentations › Talk or oral contribution › Science to Science