Aabhas Gulati and Ion Nechita are organising a work group to learn the proof assistant Lean 4. We meet every Friday at 2 p.m.
For more details, please look at the website LeaninToulouse where we will post details of the meetings, and proofs covered in the workgroup.
We are organising a workgroup in Toulouse.
We are starting a new workgroup on the recently discovered phenomenon of dynamical phase transitions in quantum many-body systems, called the Measurement Induced Phase Transitions (or MIPTs). This workgroup will involve discussing the recent literature surrounding this topic as regular talks delivered by one of the members of the workgroup, and some new ideas to tackle the important issues. This work group will be managed by Sang-Jun Park and Anna Sczapanek.
This winter school in Toulouse from January 15, 2024 to January 19, 2024 will be the launch event of the thematic semester Mathematical Aspects of Quantum Mechanics.
Since 2009, the annual meeting of the Theoretical Physics Lab and Mathematics Lab gathers physicists and mathematicians around the thematics of Mathematical-Physics and Theoretical Physics.
This workshop is being organized following Denis Rochette’s PhD thesis defense entitled “Asymmetric cloning in quantum information theory”, and will focus on the many facets of cloning in quantum information theory.