Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Max Tschaikowski <address@concealed>
- To: undisclosed-recipients: ;
- Subject: [PN-world] CfP Formal Methods in Quantum Computing [CONFEST 25]
- Date: Mon, 19 May 2025 16:20:30 +0200
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=web.de header.s=s29768273 header.b=alNIGDs1; dmarc=pass (policy=quarantine) header.from=web.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 212.227.17.11 as permitted sender) address@concealed
- Ui-outboundreport: notjunk:1;M01:P0:JLnOAoDPp/I=;c8/ff4Hlu2WGYUsSRLj+EwakiPP dyrOeuiX2/VmlyGAHKCnVw5q3ZTEVHu2tuP8fmkqXaMt5fBhdzswSyWUnHvX9cdDCsqo0KQwz p1dWYR6B1lc88+W/5X2n307u9GWhZqzvzkZT6Y5ozxyleRBtbNN5Conh/j8Os0RIB2xVFZMsS oCUJz3jNGyDvBBjyW3zy1tpGKuJwHa9EcWDcekjUUB6CFHREi1bl5fcLf+ZIRQogYAFw/6xM6 NgU/PNAzEXId9v4ZhRqCXhZlzvSNthxHABkzEH01wPPuI2m9oE2KH4S0ts1y+wptBIF6QOa2I RquAF4xcdQPkJWmYz1oLJROIjx5TTvKVXzzTFD/Wa/JYeoHQSmO186jXeLEqTdxXbaomRVMfD qzR6LHuJSqrauZrLWXEGjS44JeLVDLhs8yYmgf3xmoj8juy8Elgt89JKgwVLOPKU5ffz8zDPJ VHL5NhRBTAIJJ/P4ET0qE2ID0MZquwyYzY4mBoHP5/Ob/bkyiLthOIcxRag3gqENOOzGEp9SR puPp4823BfoYb8/MxeEKTTBqs9QSAJuygH7F0i298Yvs8T42KO1lA+WtHCuwG4/4WDUd/5/Dg 4Uf3wOd9y8yP6okyzN8Baea4uMIpcxdpwoYg7WIJkBmk3Bq4DbN0Pho3MfIoDQayC5DbShDPA Pw39LleslzZG+1DWajNnI2uSk7BHPpFBUFaagOejhUmmU41u4+1/A2x0JB52AjJUeBhledr6A F5i//ZokGPX/cSNN5l5pmJQZH36WgCPKs+lEfIf58yByS7cvEkHHWgApjbXzSoUmT8/3Tk741 YdOzXXZaA8H6Ms1d5fS2+k2FsK/yOPQ3Uy8U+Ovi9tbPnZtrjYGDarnocoQG1pLPg+WSjTZx7 NaXJxDfWJa8LXmKbGZn1AoqquvCatxWz8Dx8gnJgpRdvYITcZsU+6cU7lMTcjosZ2rkjgRdTK o2cqA47jGLcZ7GiIGQAJ5MP+gl8VWURPsIGfqHdSSsDb03swSPDax8JMdIGVH5Ca54bUtXW9y bAfCKLiJXUSCplJQXw34m0l2iFdwvXn4U4JezAt4cQJKlwihHWINkKzv40vW0j1KyVLB4Nj7u WrJkW4bHnFz44typGZWimaIQzgblcov4HSIqVa0bmESoEvqV0dlY3OfaNqNNVPYhA4rmTfjn6 XCHJ8UOg2cQAAdlz9fTFEel+xBdK7AvP0Wqr4a92nCqMTxiwoydRRBR3c6jYsBHPzHpGrn5A/ ANfpvi+38DaD8JuzcgniktFJOwPEX4jyx6vJGvP2ulOm5yzW16m3AKa7esIeBV8er7OuRvjz2 yvlp1cDoKcnx29n+Domgug4L2bm4oGR2uz02Pm1TdBlQDk7chIGlkn7T1dXobjf2eGgVktpAn EBgq9MFt7Ddr4tiSXNG2aOvBezxJxrRjzeTd1jqL6e7EMWTLINCauysBLQAy8TLZi9ufo2kvf GRe+YEcRBq/5C/XgqMzW/l1K2dsgjppwHRQ0bOZ13odaBL+7a1uG6jKkDTD8POyQiF1kMwHyZ 9fqlvNNjxCITQqAQA3XMHqJ2/IQnJUBkKJ9GkaX7Ogx8JLxTxf0Z6nHiZgEYNxCMebJoKHtO3 eq0ZRSbkSHKytGxOd0CSTJJ1JoMRRn7N6UA786YL35d7UP/pBZvX6VBrGtztlvAQtCgOAW5h5 4mw8yUPydM77wEf8W5dGr7plZkwTXvDi14wh27WB2hEQdS8xfSMOys6eoY5asxKRN6lKl6YPU LaESsoRluFICmwHu/Hn5eY7X6TLQmWDPVK8DX31dFdqLASN3JPKSMQNTojaEoPXdqjrK1ehL+ GzF1BKMjLDTefNGJHtQim59shMdfWOh14i9eqqN1Cif9qM9SQvtIdO7MOjm0hAyUG6EaIe99V N2+RBTUse1hvH+0TvK746NqG0ATfSrQRa9D1tfBVgJw3nsPGMuU3Crr2oLQ4QQfLn0spF1Jc1 RATMfGwxmkLmLIUUemP84bI/KSHNJVGHDfke/iS01Vd4C8OqVb2QULqHZT5UA5zARJNoX2iNf wbuyX03AcquafLSD3zkliljkYrhl5WhbLdmBtap8G9BmxnPyZBcoZUX4SRey26NE7h9+0lly6 mVtDnzjvXLyzLwti4HnNtyF5p4eBksZi/EBwVMHqS1Zrj7h2/F9/6OWFzAUeu02z8VL2duatx phkuPBKHPmIQcSIOYnZASpn5ZAkmU0tB3WVe73rwTzD3xLnAYmpT/RhU1WIx8ErX2Ui6F6rfK qMnPtEkHodQSzdy0xuoAY1jzQObXxnQehwAF4LrMZOU0PmQT4pVcjv1S5hDLZdNRKmEGKsYey 4TI7HyKqqcV1eKCy3vzKoMeUHIyBmgoHCy719QtRX9NUOpfW/r/lxC6XqHp94T12d078Vtl1n jzllJQrMu0fH7GSsTDTkabzgQX92zIBeFt6VXGIidxcH/REqZqMHJ6R8u4GkqkVgiRmz5sGGd CCTs/zaRyvZ8SNIafxPIF8dg/HB0MGdIcWsr4Fu0itlLAuLa0yS6Fn5VNjgNVLw+rz+XEXXJm kQ7Xqc22iSrPVuY71nG9/6xV8sl1SjawZvTjC91ZImYYhLSHUZv5RnYyctyZviniCZfEsvTSt L02T5wyqUMl8+VAM6KfI0kbt+kzP3iFyCU4yZr+TE8sVdye2REQMxwjFUH2oPxylQiwT+xEQh OphvNbuL5/aSQPZGvuIOQnsMB48zLetxa3b7mSR36qIAMHCvmfKFyEAmyuXLFUCtv3bGBPpGD Qf70qFfs+sMJoeTXlbniWB64EPLTbaJAAiq8ctTUxrepFQgwLQfbqYfEezvO5Wu8F1qdmMTvD dBLcm8xh5InzSPJZoUAke1+Ei45Kcpc3fpndjM8j+sWZK8POFDuNsbn372JL9cQ+x54nqPlGb lO9pLkeUIiEaVG2ea3IMueZJWvl2+lqXla8XlRFwVBq73f4j1VT8rLDkqhEUwUFTt+QnMB84Q Cqado6676cHP7XqiKWY41+9NkhZu/zZoh7yumBeckS6njqclBPh8FpeODly5YiZZ5L3I/DbHE z2hu5D6nfGjbkulPOro6AguJhr+SkX5PdbiZjLnmker887PmH79KJ4pI6uAhibLUQ==
Workshop on Formal Methods in Quantum Computing in Aarhus, Denmark, co-located with CONFEST 2025 (25th August 2025)
Deadline: Sunday, June 15th, AoE
Authors Notification: End June 2025
Website: https://fmqc-workshop.github.io/2025/call
=============================================
About
=============================================
The recent surge in quantum computing, driven by substantial investments from governments and industry leaders such as IBM and Google, highlights its growing significance in both research and applications. Positioned at the intersection of quantum physics, applied mathematics, and theoretical computer science, the field presents vast opportunities for interdisciplinary collaboration and synergy.
This workshop, approaching quantum computing from a computer science perspective, seeks to bridge the gap between diverse research communities and foster the transfer of technology and methodologies from computer science, promoting cross-disciplinary innovation and progress.
=============================================
Call for Contributions (Extended Abstracts)
=============================================
Workshop contributions can be extended abstracts or short papers, including already published results. There are no formatting guidelines for contributions. Accepted contributions will be invited for presentation at the workshop and published informally on the workshop page.
After the workshop, a selection of the contributions will be invited to a special issue in the journal STTT. Topics of interest include but are not limited to:
- ZX-Calculus
- Quantum Process Algebra
- Efficient Data Structures (e.g., Quantum Decision Diagrams and Tensor Networks)
- SAT/SMT Solving in Quantum Computing
- Programming Languages for Quantum Computing
- Quantum Topology
- Quantum Error Correction Codes (e.g., Topological Codes)
- Post-Quantum Cryptography
- ...
=============================================
Confirmed Invited Speakers
=============================================
Jørgen Ellegaard Andersen
Alfons Laarman
John van de Wetering
=============================================
Organizers
=============================================
Kim Guldstrand Larsen
Jaco van de Pol
Christian Schilling
Max Tschaikowski
- [PN-world] CfP Formal Methods in Quantum Computing [CONFEST 25], Max Tschaikowski, 05/19/2025
Archive powered by MHonArc 2.6.19+.