Meetings and Seminars

  • April 16. Étienne Miquey.  Environments & CPS translations, a well-typed story. 10h30. Zoom.
  • April 14. Frédéric Holweck. Quantum contextuality: From the symplectic polar space to the IBM Quantum Experience. 2 pm. Zoom.
  • April 02. Christophe Crespelle. “Graph editing problems: algorithmic approaches and experimental results on real-world complex networks”. 02:00 PM. Zoom. video.
  • March 31. Giuseppe Di Molfetta. “Gauge-invariance in classical and quantum cellular automata and multi-scales analysis”. 04:00 PM. Zoom.
  • March 24. QuEng Seminar. Mischa Woods. “Covariant Quantum Error Correcting Codes via Reference Frames”. 03:00 PM. Zoom.
  • March 10. QuEng Seminar “AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states” by R. East.
  • December 9. CAPP meeting. Seminar by N. Peltier (14h, Zoom). `”About the Complexity of Decidable Entailments in Separation Logic with Inductive Definitions”.
  • November 17. Seminar by Paul-Elliot Anglès d’Auriac (9h, Zoom). “Liens entre calcul et logique : aléatoire algorithmique et mathématiques à rebours.”
  • October 15. WAX LIG Workshop, (recorded) talks by M. Mhalla (Quantum Computing) and N. Peltier (Separation Logic, video).
  • July 8, 2020. Trimming Decoding of Color Codes over the Quantum Erasure Channel, by Sangjun Lee. 14:00.
  • June 23, 2020. Yanis Sellami is defending his thesis. “Raisonnement abductif modulo des théories et application à la vérification de programmes” (2 pm, IMAG 447). Due to the COVID-19 pandemic, the defense is unfortunately not public.
  • February 26, 2020. Seminar Christophe Vuillot (Codes quantiques).
  • January 30, 2020. Seminar Alastair Abbott: Communication through coherently controlled quantum channels (14:00, room 482).
  • January 22, 2020. Seminar Renaud Vilmart: Completeness of the ZX-Calculus for Quantum Computing (14:00, room 482).
  • December 12, 2019. CAPP meeting (14:00, room 482, IMAG) on parallel graph rewriting (part III, talk by Thierry Boy de la Tour).
  • November 25, 2019. CAPP meeting (9:00, room 482) on parallel graph rewriting (part II, talk by Thierry Boy de la Tour).
  • November 21, 2019, Sophie Tourret (former CAPP member) gave a seminar at Verimag.
  • October 21, 2019. CAPP meeting (8:45, room 482) on parallel graph rewriting (talk by Thierry Boy de la Tour).
  • October 9, 2019. Alex Bredariol Grilo (CWI and QuSoft) gave a talk on “Stoquastic PCP vs. Randomness” (14:00, Room 406, IMAG Building).
  • July 10, 2019. Ashutosh Goswami gave a presentation on quantum polar codes (14:00, Room 482, IMAG Building).
  • July 8, 2019. Julian Wechs spoke about the “existence of noncausal processes on time-delocalized systems” (14:00, Room 482, IMAG Building).
  • June 13, 2019. Mehdi Mhalla gave a seminar in the LIG POLARIS team about “Using quantum information to improve social welfare”.
  • May 22 2019: Seminar on Categorical Quantum Dynamics by Stefano Gogioso, from the University of Oxford (IMAG Building 406).
  • May 13 2019: CAPP meeting on the pushback pushout (PBPO) approach in graph transformation (talk by R. Echahed).
  • April 15 2019: CAPP meeting on Separation Logic (talks by N. Peltier, N. Amat).