CAUTION: The Sender of this email is not from within Dalhousie. Dear colleagues, It is our great pleasure to invite you to the next seminar of the “GReTA - Graph Transformation Theory and Applications” series: Friday, July 16, 15:00 CET “Picturing Quantum Software”, A. Kissinger (abstract, Zoom and YouTube links attached below) The GReTA seminar series aims to serve as a platform for the international graph rewriting community, to promote recent developments and trends in the field, and to permit a regular networking and interaction between members of this community. Seminars are scheduled twice a month (cf. https://www.irif.fr/~greta/#talks<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.irif.fr%2F~greta%2F%23talks&data=04%7C01%7Crh122%40leicester.ac.uk%7C2423af2e4378494b496608d945d3e50d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C1%7C637617598646463561%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=P4SHjM%2BdAncBw%2FT4kRgt%2FKTkms6mbBpcDy0CnnWLcYo%3D&reserved=0> for a list of upcoming events). With best regards, Nicolas Behr, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday, July 16, 15:00 CET Title: Picturing Quantum Software Speaker: Aleks Kissinger (Department of Computer Science, University of Oxford, UK) Abstract: Quantum circuits give a de facto "assembly language" for quantum computation. Hence, the design, optimisation, and verification of quantum circuits is an important task in developing efficient, correct software to run on quantum computers. In this talk, I will survey some of the latest developments in applying the ZX-calculus - a graphical theory of interacting quantum processes - to three important problems in quantum software: the optimisation of quantum circuits, functional verification of circuits, and development of heuristics for efficient classical simulation. Zoom registration link: https://zoom.us/meeting/register/tJUqce-hqz4vGtcHtQLLAVxbYgeHG8lnaFNN<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fzoom.us%2Fmeeting%2Fregister%2FtJUqce-hqz4vGtcHtQLLAVxbYgeHG8lnaFNN&data=04%7C01%7Crh122%40leicester.ac.uk%7C2423af2e4378494b496608d945d3e50d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C1%7C637617598646473518%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=P4Op3m%2BspN2Q%2BDMOXtkyBKIJkhCHc0BVeSAQMu6ufmU%3D&reserved=0> Link to YouTube live stream: https://youtu.be/G8uTHBMV918<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fyoutu.be%2FG8uTHBMV918&data=04%7C01%7Crh122%40leicester.ac.uk%7C2423af2e4378494b496608d945d3e50d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C1%7C637617598646473518%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=84XwPQ5sei7OcVXcBmiFIBFHP1VQuJ%2FJ6HoduQmg37k%3D&reserved=0> ___________________________________________________ ---------------------------------------------------------------------------- GReTA - Graph TRansformation Theory and Applications International Online Seminar Series --------------------------------------------------------------------------- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]