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; sc01.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=cQUrxOeA
Arc-message-signature: i=1; a=rsa-sha256; d=internetmailserver.net; s=arc; t=1738780028; c=relaxed/simple; bh=GulaSwkTH8gycpINMXHQDUjxWWSnb6PAyygDk2LIshk=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=CdzO/p311OAfHi65Grg6/vETr5m+IJAOFPTDue1HJJBbLnv2BajAtzZnbNIY+eGDc+CxJjZtDw5ThTGGopIyx1fi92BX72ZmzaHLfSnV8P0Mk1Pp0Awf8130yZFwoQYvMPMmVQXdqcVO0FJXVs9+Jh4neLILSFevl8SjUsku9t0=
Arc-seal: i=1; a=rsa-sha256; d=internetmailserver.net; s=arc; t=1738780028; cv=none; b=SRGOuoLJ3MHYuoOgQmRtJkQQbTpPJ9tkfpl8UMmM5L3rj1C5exOSFHtVpjbHqc0+9ak8zsdbv1N49wHXpmGzT+R6I0a5DeYcyfdOg266JTPHhabYJ0vBWSzKiG2iD7PprDZlgikW3RazEvkgsDora29OYFI7il/0va0GZgvAUeQ=
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 sc01.internetmailserver.net
Dkim-filter: OpenDKIM Filter v2.11.0 sc01.internetmailserver.net 4Yp7xS30nczH3YRm
Dkim-filter: OpenDKIM Filter v2.11.0 sc01.internetmailserver.net 4Yp7xR1p3mzH3YN8
Ironport-data: A9a23:xXp1x6ryXkybk+pdMYufa4daLtxeBmKbYRIvgKrLsJaIsI4StFCzt garIBmEPKzeM2WgKoxwaY+/9hsG6JXUzIJqQFc4qCw3RSgT8+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvnrRC9H5qyo5WtC5gFmP5ingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kqZakZpb0vLFoV1 v4JDyIsYSizhMyflefTpulE3qzPLeHwN9tG/HBm0TzDC/s6RJnCR77H/8FVxnE2i9wm8fT2N pRfMmMpN06GOkwSUrsUIMpWcOOAjXD7fjtUoUiOpLY6+EDSyhdt0bPmdt3PdbRmQO0PxhjH9 z6arjWR7hcyGfXFwB+3zi+XlubXzAf8RZswPoW4+as/6LGU7jdOUkJODgLTTeOCokW5QpdUL 1Ee0jE/qLA7sk2tVNj0GROiyENopTYHUIIJVew89AyXzKfI5g+YAnMJVCBMcpogudNeqSEWO kGhg4vNBGM06JCuElGf55CGjDyKCSs7BDpXDcMbdjct797mqYA1qxvASNd/DaK45uEZ/xmsk lhmSwBj3t0uYd436kmtwbzQb9uRSnXhVQVtv0PWWH6o9AV0eIusZoiz5ELF4OwGKouFJrVgg JTms5jFhAztJcvV/MBofAnrNO30jxpiGGGD6WOD57F7q1yQF4eLJOi8Gg1WKkZzKdojcjT0e kLVsg45zMYMZyv0PPMvM9zoUp5CIU3c+TLNCqC8gj1mP8AZSeN71HoGibO4gTmxzCDAb4llZ cjznTmQ4YYyUvk9k2LtHo/xIJcrwTsijWjUQZT2xAimz7fWZXieD9843KimMIgEAFe/iFyNq b53bpLSoz0GCb2WSneNreY7cwtRRVBlXs+eliCiXrLZSuaQMD17U6eJqV7gEqQ595loehDgp CzgBRIJkwOg1BUq62yiMxheVV8mZr4nxVpTAMDmFQ/AN6ELMNn/vpQMPYA6Z6cm/+FFxPt5B atNMcaZD/gFDnyN9z0BZNOv5MZvZTa6tzKoZiCFWTkYe4I/Zgrr/tS/QBDj2hNTBQWKtOw/g Yaa6CXlfbQ5ST9PMuPqedO07lbovXEiiON4BETJBd9IeXTTyothKg2vr/kRIeQgBAjK+WbC5 Ta0HCUon/X8nIsu+4P3lKyBkZaNFrZ6EmF7BEje1669bgPBz1qgwKhBceeGRi/cX2XK45efZ f1Z4vX/Ef8flnNIgpVMKKlqxqcA+Nffnb9W4QB6FnHtbV7wKLdfDlSZ/MtI7Ith+6R4vFaoZ 0ex5dVqA7WFF8f7Glo3JgB+TOCi1+kRqwbC/8YOP0T2yy9mzoWpCXwIEUG3txVcC79pPKcO4 +Qr4pcW4jPirCsaCI+NiyQM+lmcKnAFbb4ciagbJ43WkSsu9EBJZM3NKy3x4azXUe52DGsRH ma2ipbB1pNm/WiTV1ooFHPI4/hRuoRWhjBO0205Bgqonvjru6YJ+SN/oBUNYCZb9BFl695IG 3NKMhR1LJqe/j0zi8lkWXutKj57BxaY2xLQzl8UnzbjV3jyc3HHd087GOeS/XI293BXUShb8 Yq5lkfkc2fOV+Pg0hQiXXVKr6TYcuVw0QnZieabH8ihNLsrUwrP26OBSzIBlEr6PJkXmkbCm 9hPwM9xTq/KbQgrvKwxDtih54Q6ERyrCjRLfqB8wfkvA2rZRTCV3AqOIWCXfudmBaTD0W28O vxUCvN/bTaM/wfQkWlDHo8JGaF+o9Ax7tlber/LG38Pg4HCkhVX6qDv5grMr051Ze5xkPQNC JLbLBODNW2yuUF6uUHwqOt8B27pRuVcOSPd2riu/fQrBqAzlrhmUXsP34ueu1SXNwpa/Cyog j7TWp+O8ctczdVDooi9NIRCGAS+Fv3rXsuq7g2YkopDfPHPA+j0piIXrVjuAFlEMZQVWeVmy KqGtdX2+Gjnv78GdX/TtLfcNqtO5OS0BPF2NOCuJlZkvCKyYu3eyDpdxHKZcLtnyMh84OujT CuGMPqAT8YfAYph9ScEehpgHAY4IIWpSKXZ/AeWjemGUzoZ2iz5dOKXz2fjNzxnR3VZKq/FK 1HGvti17Yplt6VKPhgPAs9mD7JeIFPOXagHdcX7hQKHD1uH00+zhb//qSUOsT37KGGIMMLf0 6L3QhLTcBeTuqaR6Pp7t4d0nAMcDVcjoO0WU38exeVLiGGBPDZbFdgeDJQINMgF2Gi6npT1f yrEY2YeGD3wF2YMOwn15NP4GByTHKoSM9P+PSYk5F6QdzzwPo6bHb997W111h+aoNc4ID2Pc rnyO0EcPyRdBrlyTr5KoP29nep9wP7Gw3sJ/VvwidL/GVAYDKliOLmN2uZSfXSvLi0PvByjy asJqaRsQUegVU/6GoBnYXE99NQxomb01ztxBcuQ6I+3hmhYpdGsDNX+Pfrv07YIKsMQK9big J8xq3Sluwir55DYhUflVx/FT0O55TJn0/VW9JPeeDA=
Ironport-hdrordr: A9a23:hzanRqut8dnq6BPuPHzO8ius7skCcYMji2hC6mlwRA09TyXGra yTdaUguCMc1gx6ZJhBo7690dq7MAbhHPlOkPss1NaZLXrbUAnBFu4SibcKpgeQYhEWmdQtqZ uIH5IOc+EYbmIK8/oSgjPIbOrIqePvmNHM9ICut0uFJjsaFp2Imj0JejpzfHcGPjVuNN4UBZ qZoupLzgDQDUg/X4CbAGMZVe7HotHAiZL4bVojDx4j0gOHijSl8/r3PBDw5HcjegIK4LE57G LClgn07LiirP3+7hfd0lXY55NQlMCkxvRKQOOWjMx9EFTRozftRYJ6RreFuTU4qvyu91pvtN HNpi0rN8N152iUck685TvBsjOQswoG2jvCz0WEi33npMDyWTIkB45kjYJdSBHQ7E0tp5Vx/6 oO/2WXsYFSBQ7BmiOV3amra/gTrDvEnVMS1dQWh2dDXZA7YL9V6aQC4UJYF4oBFirm5I1iOP MGNrC72B9JSzinU0w=
Ironport-phdr: A9a23:Spw4yB3WZKe3Wwq0smDOCA4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeFo601xwWVBNuTq6odzbaN6ua4AS1IyK3CmU5BWaQPbSNNsd8RkQ0kDZzNImzAB9muURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi7oxvdutMKjYd+Jao91BTErmZJdu9LwW9kOU+fkwzz68q+4ZJv6Thct+4k+8VdTaj0YqM0Q KBXAzghL207/srnuwXdQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Qr8oVzus6 adrUwLohzwcNzEl6mHXi9d/g7xdrRm8uhFw2Y/UYIWSNPpjYqPQeM4RSGRdUspNUSFKH4WxZ JYNAeUcJ+ZVt4nzqUUToxWwBgejC+ThyiNUiXH5xqA6z/0hEQ7a0AA+A94CrXLZp8j1OqcIV uC1ybHFwinZYPNSxzj97pXHfQo7ofGXXLJwbdTeyVI0GgPEiFWQspDlPzKJ2esRqWSb6PBgV e2phmU6pA5/viKhyd0wionVmI0V0FbE+D1nzYsxKtC0Vkp2bNGrHpZOsyyXM5Z6TMMjTmx2t is3xbMLtYKlcCUL1JkpxwLTZuKJfoWG7RzuVemcLDR7iX97fr+0mhi88U+lyuLmV8m01k5Hr jFZndnNqnACyQLT5daBSvth5UetwzGP1xrc6uxCPEs6lrLbJoYlz7MxjJYev1nPEjX4lUnol qOaa0Ep9+iw5+nkYrjqvIGQOoB7hw3kLKgjlMiyDf48PwUMWWWQ5Pqx1Ln+/U3iXLVFkOc2n LTYsJHbO8sWvrK1DglI2Yg58Rm/FS2p0NEAkHkHMl1FfBWHgpDyO17SPPz0EO2zg1WqkDd32 f/GJLvhDYvRLnjGirjhfLJ961VCxwop09BQ+YhUBqsHIP3tRk/9rN3YDhknPAyo2+vqDNRw2 pkQVG6SGKOUPr3evUWV6u8rI+SAfIoVtyz8K/gh6f7ul3g5mVoFcKa1x5QXbG63HvJ7LEqDe 3rsmdYBEXsUsQolV+HqiVuCUSVPZ3azQ60z+is3CIW8DYfMXoythqeO0z+hHpJKfmBGFkyME XDweomZQ/sMcj6dItd9kjwYUrisU5Mu1Ra3tAPj17VnKvfU9TYDuJL41Nl14vXTmgso+Tx1C cSdyWCNQHtukmMGXT9llJx49Ed60xKI1bVyq/1eD91aof1TASkgMpuJxOV+Btb+Uxjaf8uEU 36nRM66ADo6CNUrzIxdK31hEsmv20iQlxGhBKUYwuTj7P0c96vd2yK0PMNh0zPc06JniVA6Q 8xJPGngh6hl9gGVCZSa216BmfOMcqIRlDXI6H/F1XCH6UpRVAN2XazfRnEDa1D+rNLi+kLJR PmpE7t0ehBZx5u6I7BRIsbskU0AQf7iPNrEZGfkkG60CBCEz6mXbZbnYE0c2j7BCUMP1QcJ8 iXOLhAwUwGmpW+WFzlyDRTvbkfrpPF5s2++R1QowhuidEY5jvy0/AIYn/qRV/Ya37YftT0/p i8yGluhtz7PI/yHoQcpPKBVYNdnpUxCyXqcrQt2eJqpM6FlgFcaNQVxpULnkRttWM1GloAxo XUmwRAXS+rQ2U5ddz6ewZH7O6HGYmj08he1bqfK21bYmN+I86YL4f48ph3tpgasXkYl9nxm1 ZFS3R7+rt3BBQ4fV574SF026xVhj7DceTU87IiS0mdjcOG1vjLEx9M1Fb490B/zGrUXeKiAF QL0D4gbH53/dqpxwh7yNFRdbb0Bkcx8d9mrfPaHxqOxaeNpnTb8yH9C/Jg4yEWHsSx1Vu/P2 Z8BhfCexAqOETnm3zLD+oj6n55JYTYKEy+x0y/hUcRab6l/e4oCE3yvP8Cs7tR4nILsUHUe8 0SsTQBjuofhaV+JYlrx0BcFn08epXGhlSKi1D1onioBr6yEwC3FyKLlbhVNaQspDCFyyFzrJ 4azldUTWkOlOhMomBWS7kH/36FHpa57IgE/WG9wdjPtZyFnW6q07P+ZZtJXrYkvumNRWfi9Z laTTvj8pQEb2mXtBTkWyDc+fjCs8pL3+n4ywGmUKHt1oHPDYsBsyAz35drHWf9a1XwBXiYwh TTMB1e6NsWk5p3FydGY66blDST4B8AbeDKOr8vIrCah4Gx2HRCz1+u+nNHqC0ly0CP20cVrS TSdqR/9Zofx0KHpeeljf0RuGBr9858rRMcly81r3tdJiCVJ4/fdtWAKmmryL9hBjKf3bX5XA CUO38aQ+g/unktqMnOOwYv9EHSb2MpoIdegMQZ0kmow6d5HDKCM4flKhyxw9xCzpAbcZ/R0h Cwc1fY1wH8cmP0IswFryT+SSON3fwEQLWn3mhKE4srr5q5eYGupfbGqz0tikMuJDbeZvgBXU zD+YJhoTkoSpo1vdVnL1nP08ITtftLdOMkSuhOjmBDFl+FJKZg1m6lClW99NGn6p3Fg1/8jg Ekkw8ShpIbeYTYInurxEltCOzbyfc9W5jz9kfMUgJONx472VpBxUjQTAMm5E7TzSXRJ77K+Z lzJSmxZyD/TGKKDT1HDrhg36SuQS9bzcCvLbHgBkYc4HUfbfxYZ3lhSBHJgztY4Dlz4npW/N h4muXZAvxih9FwWmocKf1H+SjuN/Vz4LG1sEd7FdEUQsl4Kr0bTOsiD4u8hGihZ+pK8qkqKM GP+BUwADGcCXlGICgL4M7+io9nN9/CdAey9NL3FZrDGv+VaU73gKYuH9Ixg8n7MM8yOOiMnF Pgnwg9ZWns/Hc3FmjIJQihRliTXbsfdqg3usitw5tuy9vjmQmeNrcOGFqdSPNNz+hu3nbbLN uiegzx8ICpZ0ZVEzGHBybwW1lofwy90cDzlHbMFvC/LBKXe/80fRwYccD92PdBU4rgUxQIVY IjajM/4zLh1kvs8ClNeWEb/l9vvY8EWYim8OF7BGEeXJeGGKDnMkKSVKeu3TbxdivkRtgXl6 GjdSBalZW7Fzmi0BHXNealWgSqWPQJTotS4exdpUy34Sc7+Lwe8O5lxhCE3xrs9gjXLM3QdO H5yaRAozPXY4CVGj/F4A2EE4GBiKLzOkC+d4u/UI4wNsOdmGQx1kflG4X8xjbxP42sXIZ490 DuXtdNor1y8x6OXzSF7VRNVtjtRrJmA5RwkOKPF+4NGVGrB9RMJ9miKFRkQ4d1oFpe83sIYg siKn6X1JjBY9tvS9sZJHMnYJvWMN385OAboEjrZZOPgZT+tLn3ejEcbl+udpCX9RncSq573h JsFQflcTlNnT5vy62x+F4RbZpZxQj4+l7OHiccJ4WGztgfcXoNcs4yVDpqv
Ironport-sdr: 67a3ad80_O9knx/U6hH8eFE0sYcp7ZYxyhzJlQFX8Aus25+q2b4auNho V4IOFVJar72oN9I0+yI8iJK/hvjT46qOpmiPWZw==

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