coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February

From: calendarsites AT insticc.org
To: coq-club AT inria.fr
Subject: [Coq-Club] [CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February
Date: Wed, 5 Feb 2025 18:26:28 -0000
Arc-authentication-results: i=1; SC02.internetmailserver.net; dkim=pass (2048-bit key) header.d=insticc.org header.i= AT insticc.org header.a=rsa-sha256 header.s=df8DD292D0905AD26 header.b=DrNpvPtx
Arc-message-signature: i=1; a=rsa-sha256; d=internetmailserver.net; s=arc; t=1738780034; c=relaxed/simple; bh=GulaSwkTH8gycpINMXHQDUjxWWSnb6PAyygDk2LIshk=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=vzTsPPgoXXqk2jJ3dNZgcrszLYrDL6kyuRdm/gdyUkSOdzKfejbheitRxW3LaWrEknk0fPABKO1xw0jOuwbJkDI23tOrl8SBdfyG88Fa2R/pCoAjugjEbzqDhbs8+A/B/bCNMikGOaM4kBi+BU+QAPD6u2Lx1NFxr4bafLBduJc=
Arc-seal: i=1; a=rsa-sha256; d=internetmailserver.net; s=arc; t=1738780034; cv=none; b=yw8KIvlwTk88jnYxJgRmYDSVToUNEw1Mv/uGgzYTVG0VF0esa5yi2HgeFNl17Hs+DlEfPJa5fd3LxhwBmxb/epeuUfF2MQXMzqk9gAhw5sinbAwJh46ucpl5UjOhIFaydP+jlzjxfMfcxZChPPN6FeKEh9VzR/wl+vBzWlKsESQ=
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=calendarsites AT insticc.org; spf=Pass smtp.mailfrom=calendarsites AT insticc.org; spf=None smtp.helo=postmaster AT SC02.internetmailserver.net
Dkim-filter: OpenDKIM Filter v2.11.0 SC02.internetmailserver.net 4Yp7xZ4WS1z54Ng7
Dkim-filter: OpenDKIM Filter v2.11.0 SC02.internetmailserver.net 4Yp7xY2D8kz54NQK
Ironport-data: A9a23:sYlPsKgAS3S3xb/xgdUw3DORX1614xQKZh0ujC45NGQN5FlHY01je htvXz+HOfiIYTT0eth/Odjj80IBvsPTz9ZiTlFrrSo3HyxjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtPg06/gEk35qmq4mtF5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGDEskL6wh48pMW3xWy vFANG80aT+hiLfjqF67YrEEasULF+KzZsUevG1t1zfUEfMvQJTYTr/U6MUe2jos7ixMNaeAI ZFAL2E1Kk2RPHWjOX9PYH46tOyhgnT5fzRCs1OJqLEf4m7I0A162/7qKtW9ltmiH50LwRfE+ z6Xl4j/KioIaIDG4jqZyEOXq9T9pg2jQ7MAKZTto5aGh3XImzZMUEZPPbehmtGyjVf7UNZCI WQP6y82pO4z8laqR5/zRXWFTGWspRVEAZxRFfE38geA1q/d4gKCC3IaQyQHbtE63CMredA0/ l+DjcHIPCVDi+eIUU2QrqvLlDSdGydAeAfuehQ4ZQcC5tDipqQ6gRTOUstvHcaJYjvdRWCYL 9ei8XFWulkDsfPnwZlX6rwuvt5BjoPCFlRz5wPLU3ij4x98bY+hfIGy91XBq/BNMO51r2VtX lBUxqByD8hUVflhcRBhps1RQtlFAN7Zb1XhbaZHRcVJythU0yfLkXpsyD9/Plx1Fc0PZCXkZ kTe0SsIu8QDYir2Nf8pOtvrYyjP8UQGPYi1PhwzRocWCqWdiCfclM2TTRDJgzyFfLYEy/1gU XtkTSpcJS1HU/s/l2PeqxY10bgw2mg1wmfXSJvnzgqqmbuYbzj9dFv2GAXmUwzN14vd+F+92 48Gb6OikkwPOMWgOHW/2dBIdzgicyNkba0aXuQLLIZv1CI6Qjl5U5c8ANoJJ+RYokiivr2Vo y7gCxQBlwuXaL+uAVziV02PoYjHBf5XxU/X9wR1Vbpx8yl8MdSc/+0EeoEpfLIq0uVmwLQmB 7MGYsiMSLAHADjO5z1XP9G3oZ1AZSabo1uEHxOkRzwjIL9mZQjCoeH/ciXVqSIhMyuQtOkFm YOG6D/1e5Q5elldPJ7kU873l1KVlloBqd12RHrNc4Vyel2z0Y1EKB7Rr/4QIuMUIxPlnjKl8 QSyBEYJl/jsuK4wysHC3oqfnreqEsx/P0tUJHba5rCILhvn/nKv7ItDceSQdxXfaT/Ew7qjb uBr0P3MCv0Ls1JUuY5aEbww76YBy/bwhr1dlCJIIW7qagm1N7ZePXW258lDmalTzLt/uwHte Eau+MFfCIqZKvHeD18dCwo0XNutjchOtGHp0s00B0Hm6Atc3rmNCxxSNibRrh1tFuJ+NYd9z NoxvMIT1ReEtSMrFdS7lQFRyXWHKy0Rcqcgt6xCOrTRtCgQ9ghgb6DfWwjM27PeT/VXM0IvH C2Yu7qauZRY2Xj5UiQSEVrj4LNjoKog6TFw4n0MHVCroub+p+QW2URR+AsnTw4OwRRg1flyC 1dRNEZ0BPuv+jN1j5N5R1H2PhxLXz+f203uymkmkH/SYFmoW1fsckw8G7ep12II/11MegN0+ Omj91/kdjLxbefN3icWcmx0mczJFNBe2FXLp5G6Ip6jAZI/XwvAvoavQmg58z3cHsI7gRz8l 9lApepfR/XyCn8NnvcdFYKf6LU3TSKELkxkRdVK3vsAPUPYSQGI9Qm+EWKDUeITGKWS6m69M dJkGexXXRfn1CqukCESNZRRH5BKxswW9PgwUZK1A1UZsomvjCtj67PR0SncuFUFYftTleQFF 4eAUA7aT0KxgyNPln7vvft0HDOyQeM5aT3W2MG39+Q0FKw/jtx8THFq0pWIkiWUFCBF4yOru BjyYv6K7u56lqVpsYjeMoRCIASWFerhffWs9QSuv/twfNnKD5/EiC0NoHnBOw9QD78aWolqp 4S0sfrc/kDMjJApWU/3xriDEKho452pfex1a8jYElhTrRGgauTNvSQR2jqdB8RSsdV/4sKHe VOJWPGof4RIZ+YHlWxnVSdONj08VYL1V/7EjgGgpa2uDhM971T2HOm//yW0UVABJz46ALygO AraoP3028t5qr5LDxo6B/1LJZ90DVvgeKk+fe3KqjiqITi0s2yGp4fdu0Is2RPTBlmANfTK0 5bPaxz9VRa14YXj7tVSta5stRw2Uld5p8QNfXwmxt0nsADiUVY6LtkcP6tfW9sQ2mb32Yrjb T7AUHo6BG+vFX5YeBH7+5L4Uh3ZGuUKPczjKyc0+1+PLR27H56EHKAr4xIID62aodc/5LrPx RAiFnzM0tyZ+boxH6AS4OC2m+Fq2vbTx3YT9Frjnta0BRsCaVnPOLqNAyIVPREr0emU/KkIG YTxbWFCW126QkW3FtxvE5KQMA9Mpyvhll3Ecg/WqOsyeOynICloyfvkJ+D42fsEdstiyHvig 5/obzPl3l16EUD/dUfkVxzFTEO05T+28hCGEZLe
Ironport-hdrordr: A9a23:Uyh8+a28WkefDpfBG/jRlgqjBYVyeYIsimQD101hICG9Lfb1qy n+ppkmPEHP4gr5OEtPpTnyAtj0fZq6z+8G3WBxB8bQYOGF0FHGXeVfBO7ZskTd8kLFh5JgPM tbAtND4b7LfCZHZKTBkXaF+r8bqbH3ldHO9J/jJhxWPHxXgtRbnndE42igYzdLbTgDKYs4EN 6966N81k6dkAwsH7WGL0hAZezKvMDGj7bvYRtDLwI76QWIkDOj4KP3HlyxxH4lIlVyKKkZml Ttokj44biuqPa21xvV12rI449IlMCk7tNCAfaHgs8TJi6phimhDb4AZ5Sy+DAzve2171o2lN HNpg0tJNt+8Df0dmGxmxHk3A7ty3IjxHen5kSfhRLYwPDRdXY7DNdMnoVUbx/Q6087sMpi3L kO+2qYsqBcBRTGkD+46/fBEzFG/3DEwkYKoKoSiGFSSowTdbtYrYkE8FhLHIxFOCr77bosGO 5oANqZ6NlfNXOcYHbDumFzwNqqN05DfCu7fg==
Ironport-phdr: A9a23:ZbhziBMEhxZjJgoAXU8l6nakBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCB9mCtboE07OQ7/u5HzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfqMUam5duJro+xhfXrXZEZuVbzn5sKV6Pghrw/Mi98ZB+/yhKp/4t68tMWrjmcqolS rBVEDspP2cp6cPxshXNURWB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw7Viis4 KltSB/zlScILCU5/33Nisxxl61UvhSsrAFizoHOYYGVMP1+fr7Bfd4fWGFMUNpdWzBHD4iha YYEEugPMvtCr4Tlp1UAswawCwevCuzgzTFImmP506Ih3uQ9CAHG0xAsE8wSvHjJqtj+KaccU fqyzKnN1TjMc+lZ2TPj54jObx8uu+uMXalxccrN10YvDBjIjlSWqYz+IzOV1/gCvHSB4+pnT +KvhGgqoBx+rTaz3MkjkJXJhp4LxVDe8yV02Jg4KNm3RUJlZdOpH5Reuj+eOoZyX88sQ2Blt Tg0x7AJt5O3YDYGxZU7yhDfd/CKbYaF7xzsWuuQLjp1h3Foday5ih2v/0agzej8WdO10FZMt idFicXDtnER1xPN9MiIVP19/lu62TqV0ADT8O5ELEYpnqTYM54s2ro9m5sJvUnNAyP6gkv7g LGMekk5/uWl6fzrb7bmq5OGKYN5hQ7zPr4wlsGxBek0KAwDUmqd9O+hyrDj+VD5QK5WjvIoi KnXrZHaJMUFqaOhHQNY1Jso5QylADe8ytsYmGEKLFJbdxKDiIjkI0zALe7kAfuhmViskTFrx +zYMb37BJXCMGTDkLL7crZ8705c0xQ8zcpB551KELENOvTzVVHttNDADx85NRK7w/r/Bdh51 44SQ2yCDrKDPK7cr1OE/P8jLu2OaYMNvTbyMfkl5/rgjX8jnl8deLGk0ocNZ3C8APtmJViWb mD2gtcaEGcKohQxTPfxhV2DVz5TfGqyX6Mg6T4nEo6mCp3DRo+1jLyHxyi0BodWaXxeClCQD XfocJ2JV+oUZCKIPsBhiiAEVaSmS4I5yR6usxb6x6N7IerQ5y0Xronu1MN15u3WjRE97yZ4D 8Wb02GXTmF7hHkERzEs3PM3nUsowVCalKN8nvZwFNpJ5voPXB1pG4TbyrlxAtT/XA7IZMyIV Fu9atSgGi0wRdl3xMUBMBU1IMmrkh2Wh3niOLQSjbHeXPTck4rZ1nn1fYNmzmrekbMmhB8gS 9dOMmuvguh+8RLSDsjHiRbRjL6kIIIb2iOF72Kf1SyWpkgNWwd0XKPJVGoEZ1fbtvz44FjeT rSlT7M9PVgJ0taMf5NDccahllBaXLHmMdXabXi2njK7DBKFwL+FdpHrZ2gG9CTbE1QFmAtV+ myJZkAlHin0hWXYAXR1EE73JUPh9e4rsHSgUko91B2HdWVa/OLvvB8TmfGGTf4P27sFvDwss St5BhC70s6+58OogQ1nce0cZNo85A0CzmfFr0lnOZfmKal+h1kYegAxvkX01hwxBJ8S2c4t5 GgnygZ/M8f6mBtIai+Y0JbsO7bWNni6/RahbLTT003f19De87kG6fAxoVHu9A+zEU9q/3Ji2 thTm3ySg/eCRAEbVZ/3Xk8t7BlmqqryYy8m+4Lf3jtrK6b1+j7O1tQ1Bfc0nw66doQ6UuvMH wvzHssGQsm2fb103QPwKEleerkDq/1RXYvubfaN1a+1Mfw1mTuniT4C+4VhygeW8CE6TOfU3 pEDyvXe3w2dVj66gk3y16K/0Y1CezwWGXKyjCb+A4sELKZ7eYsNBW60OMyry85Whpj2R39T/ xikHVxMi6rLMVKCKkfw2wFdzxFdqnWjlC20xiZvki0ktYKe2jfSwu/pMh0dNSQYIQsqxUepK o+ygdcAWUGuZAV8jxqp63HxwK1Drbh+JW3eKatRVxD/NHoqEq65t77YJtVK9IttqyJcFuK1f VGdTLf55RocySLqWWVElng3cDSju5OxmBIf6irVJ393oXzVcNtrxAvS//TdQ+VN3zENAi5ih nHbC0O9MN+g4diP38ad9LvnETn7EMQCLmHi1ubi/GOj6HdvAAGjkvz7gdDhHQUgkGf629RsS STUvUP5a4jv2b69NLEvdU1pCVngrstiT9Ag1NBpwspKnyFL2cbwnzJPi2r4PNRF1LiraXMMQ WRO2NvJ+E3/30YlKHuVxoX/X3Hbw817ZtD8bHlFv0B1p81MFqqQ66RJ2CVvpV/t5wnYZfV7k j4H0voy5WUygucSpAsmxWOaGL9YTiw6dWT80g+F6dyztvAdb2+rfL683VBlnMysF5mDpBpAW X3yPJA4EmUji6c3eEKJ23r15Ib+fdDWZt9GrRyYnSDLiO1NIY4wnP4H1mJ3fHjwtno/x6snn ARjiNuk6ZOfJTwnr8fbSlZIcyf4bMQJ9nTxgLZCy4yIipu3EMwpHyVDXYO0H6P2VmlL86+9c V/fSnpm+xL5UfLeBVPNthsg8COJSs/zcSnQfiVRzM0+FkPEegoE2kZKBHNi2cRpXgGymJ67K Rk/v29OoA+h7EISjbg4Unu3GmbH+FXxMWdyEsDGakAOsUceuA+dMMqV6v9/EnNd95yloxGLb GuBaGEqRSkIXEeAGlzubKKj49WG8+WcHu+5KfjVJ76JrKRIXvOMj/pDy6NA+DCBfoWKN3hmV bgg31ZbGGp+EILfkikOTCoek2TMadSarVGy4H8/qMf36/ntVA/1gOnHQ7JPLdVi/Qy3iqafJ qaRgih+MzNRypILwzfB1rEe2FcYjywmeSOqFPwMsivETaSYnaEybVZTcyRoKM5B9L4xxCF2E paBzNLzyrNiiPMpDl5EUUfsgN+kf4oMLn38fFLLCUCXNaiXcD3Gx8akBMH0AbZUjehSq1ixo WPKTQm4Z3LYzX+wBk/8VIMExDuWNxFfpoynJxNkCGy5CcnjdgX+Kth8yzs/3bwzgHrOc28aK zl1NU1X/djypWtVhOtyH2tZ4z9rN+6BzmyS5u3VLJofq+BqHilvv+Nc+2g7wLAT6ztLDq8Q+ mOavpt1rleqn/PagCJgSwZLoy1XiZijhm46Y+PY8IVNQ3DJ4BcE7GGLBg4UqsEjDNDz8fM1q JCHhOf4LzFM9MjR9M0XCp3PKc6JB3EmNALgBD/eCAZtpd+DDkqH3Qpclu2f7HuYsp0zq5z3l YAQR6UdUlEpRKty4qFNHdoZPJZ8VXUji7HJ1KbgClK/qgLNRc5R+JfdWaDLacg=
Ironport-sdr: 67a3ad86_FjAWVNDLy6OZYWbRdWVh559jEopW+A1SpJERI+E9VCJrBZm +8oCB/neXq9HAOvQkGiISdT8Qw/NqUHx0JudAcg==

CALL FOR PAPERS

1st International Conference on Quantum Software
Regular Paper Submission Deadline: February 18, 2025

https://iqsoft.scitevents.org/
June 10 - 12, 2025
Bilbao, Spain

The purpose of the International Conference On Quantum Software (IQSOFT) is
to bring together researchers, engineers and practitioners interested in the
advances and business applications of quantum software. Six tracks will be
held, covering different aspects of Quantum Software. IQSOFT focuses both on
research on and on real world applications of quantum software. Ideas on how
to solve quantum software engineering problems and how to use quantum
software in combination with other technologies such as AI will arise from
the conference.
Papers describing advanced prototypes, systems, tools and techniques and
general survey papers indicating future directions are also encouraged.

IQSOFT is organized in 6 major tracks:
1 . Quantum Software Theory
2 . Quantum Programming Languages
3 . Quantum Software and Engineering
4 . Quantum Software and AI
5 . Quantum Software Technology
6 . Hybrid Quantum /Classical Software

Conference Chair
Pablo García Bringas, University of Deusto, Spain

Program Chair(s)
Iaakov Exman, School of Computer Science, HIT = Holon Institute of
Technology, Israel
Mario Piattini, Alarcos Research Group, University of Castilla-La Mancha,
Spain

With the presence of internationally distinguished keynote speaker:
Juan Manuel Murillo Rodríguez, Department of Information Technology and
Telematic Systems Engineering, University of Extremadura, Spain

Proceedings will be submitted for evaluation for indexing by:
SCOPUS, Google Scholar, The DBLP Computer Science Bibliography, Semantic
Scholar, Microsoft Academic, Engineering Index (EI), Web of Science /
Conference Proceedings Citation Index.

All papers presented at the conference venue will also be available at the
SCITEPRESS Digital Library.

Kind regards,
Mónica Saramago
IQSOFT Secretariat
Web: https://iqsoft.scitevents.org/
e-mail: iqsoft.secretariat AT insticc.org

[Coq-Club] [CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February, calendarsites, 02/05/2025
- <Possible follow-up(s)>
- [Coq-Club] [CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February, calendarsites, 02/05/2025