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.
