Workgroup on formalizing mathematics in Mathlib 4

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.

Workgroup on Measurement Induced Phase Transitions (MIPTs)

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.

The multiple facets of quantum cloning

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.