From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10263 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ross Duncan Newsgroups: gmane.science.mathematics.categories Subject: 2nd CfP : International Workshop on Quantum Compilation : 23-24 Sept 2020 Date: Tue, 28 Jul 2020 13:53:22 +0100 Message-ID: Reply-To: Ross Duncan Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="26540"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu Jul 30 02:22:15 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1k0wKs-0006mz-QF for gsmc-categories@m.gmane-mx.org; Thu, 30 Jul 2020 02:22:14 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:33310) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1k0wKW-0006kZ-Jw; Wed, 29 Jul 2020 21:21:52 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1k0wK2-0000ca-M5 for categories-list@rr.mta.ca; Wed, 29 Jul 2020 21:21:22 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10263 Archived-At: Note to moderator : due the use of various categorical methods in quantum software we believe this notice is relevant to the list. --- IWQC 2020 Call for contributions --- 4rd International Workshop on Quantum Compilation. https://quantumweek2020.cambridgequantum.com/iwqc20.html We invite contributions to the 4th International Workshop on Quantum Compilation. The workshop aims to bring together researchers from quantum computing, electronic design automation, and compiler construction. Open questions that we anticipate this group to tackle include new methods for circuit synthesis and optimization, optimizations and rewriting, techniques for verifying the correctness of quantum programs, and new techniques for compiling efficient circuits and protocols regarding fault-tolerant and architecture constraints.The scope of the workshop includes, but is not limited to, current hot topics in quantum circuit design such as : * space-optimizing compilers for reversible circuits * design-space exploration for automatic code generation from classical HDL specification * quantum programming languages and type systems * reversible logic synthesis * technology-aware mapping * error correction * optimized libraries (e.g., for arithmetic and Hamiltonian simulation) * benchmarking of circuits for small and medium scale quantum computers * quantum and reversible circuit peep-holing and (re)synthesis * software and tools for all above mentioned topics * quantum outreach: coding contests, tutorials, education Due to the ongoing COVID-19 epidemic the workshop will happen as an online virtual event. We will investigate the possibility of an in-person meeting if the situation improves, but the full participation in the workshop will be possible remotely. Best Student Paper Prize! The PC will award a GBP 500 prize for the best paper whose authors are all students at the time of submission. The prize will be shared equally between the authors. Invited Speakers : * Eleanor Rieffel, Quantum Artificial Intelligence Laboratory (QuAIL) NASA Ames Research Center * Margaret Martonosi, Quantum computer architecture and programming languages research group (QArch), Princeton University * Earl T. Campbell, University of Sheffield and AWS Center for Quantum Computing. Important dates: * 14 August 2020: Submission of abstracts * 31 August 2020: Notification of decisions * 23 and 24 September 2020 : Workshop Note that IWQC20 forms part of a week long sequence of workshops on quantum computing; see https://quantumweek2020.cambridgequantum.com/ Instructions for authors : The main purpose of the workshop is to exchange recent ideas and research in the area of quantum compilation. The workshop has no formal proceedings. Authors are invited to submit an abstract or a paper, with no restrictions on the format. Submission of tool and case-study papers are highly encouraged. In case of a positive evaluation, submissions are accepted either as oral or poster presentation to be part of the workshop program. All abstracts and papers are distributed only among the participants. Please submit your papers through EasyChair: https://easychair.org/conferences/?conf=3Diwqc20 Programme Committee : Ross Duncan, Cambridge Quantum Computing and University of Strathclyde, ross.duncan@cambridgequantum.com Thomas H=C3=A4ner, Microsoft, thomas.haner@microsoft.com Aleks Kissinger, University of Oxford, Aleks.kissinger@cs.ox.ac.uk Neil J. Ross, Dalhousie University, neil.jr.ross@gmail.com Mathias Soeken, Microsoft and EPFL, mathias.soeken@epfl.ch [For admin and other information see: http://www.mta.ca/~cat-dist/ ]