Skip to Content.
Sympa Menu

coq-club - [Coq-Club] HCSV - deadline extension 18/02/2024

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] HCSV - deadline extension 18/02/2024


Chronological Thread 
  • From: Daniel Neider <daniel.neider AT cs.tu-dortmund.de>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] HCSV - deadline extension 18/02/2024
  • Date: Thu, 1 Feb 2024 10:20:04 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.neider AT cs.tu-dortmund.de; spf=Pass smtp.mailfrom=daniel.neider AT cs.tu-dortmund.de; spf=None smtp.helo=postmaster AT postamt.cs.uni-dortmund.de
  • Ironport-data: A9a23:mR7cy6+IqG5cLXDgw2bFDrUDLnqTJUtcMsCJ2f8bNWPcYEJGY0x3n GVNDW6APfffZWr8ed0naN/g9RxU7JTSydY1SAM9qiBEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYpWo4ow/jb8k835qyr4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE4Ph+AGtrHJUiyM1sGkdSr sEDOBQ8YUXW7w626OrTpuhEnsM4MMDuIMUUoTd9yzCcAfE8XZXeRamM6dIwMDUY35ofW6yHO IxFL2Y3BPjDS0Un1lM/BJs4neqswH/ycjFVsnqevuwr/i3fyxZt1aXrPJzZd7RmQO0MwhfH/ DKYozmR7hcyBtCkziveq2+Xiv7xnC/DXpIuEoXkz6s/6LGU7jZKUkBLCADTTeOCokW5QpdUL 1Ee0jE/qLA7sk2tVNj0GROiyENopTYEXMFMGugmrgqWjLfS4kOVAXIYSyNHZJoquafaWADGy HeqksPlL2FOqIenYmmG0KvPkCiiHRkaeDpqiTA/cSMJ5NzqoYcWhx3JT8p+HKPdsjETMWuuq 9xthHNn74j/nfI2O7OHEUfvrx/Em3QkZhYy/RneW37j5Rg/eYikIoCv80Te8PBMaoqUJrVgg JTms5bEhAztJcjT/MBofAnrNOv3jxpiGGaE6WOD57F7q1yQF4eLJOi8Gg1WKkZzKdojcjT0e kLVsg45zMYMZCX1Nf8rM9jqVJ1CIU3c+TLNCq+8gj1mPskZSeN71HsGibO4gT+9zBBEfV8XY 8zDGSpTMZrqIf4+lmfrGrx1PU4D2i01xWXSXpv7wly617uAaWSOSKsMPUfGYucj8KaZpgm9z jqsH5bi9vmra8WnOnO/2ddKfTgicyNhbbio8JM/SwJ2ClY6cI3XI6SLmuJJlk0Mt/g9q9okC VnsAh8JkgGi3CevxMfjQikLVY4DlK1X9RoTVRHA937ys5T6Sdf+vPUsZNEscKM59edu6/dxQ rNXM4+DG/lDAHCPsTgUcZC3/sQoeQWJlDC+GXOvQAE+WJp8GC3P2NvvJTX0+Ac0UyGYiMoZo p+b7D39f6YtfQpZIfztWKqd9G/p5Xk5s8BubnTMOehWKRnN8pA1Cinfjc0XAsArKDfBzSrHj wqtWBQS/suVqb8L7evi2KO2lKayMu5EBkEBNXLq3bW3Eij7/2SY3o5LVtiTTw3dTG/Z/KaDZ /1f6vPNL808g1dBtrRjH4ZRza4R48Xlo5lYxF9GGErnQkuKCLQ6BFW7xuhK67Nww4FGtTuMW k6g/sdQPZOLMpjHFH8TPA8UUfSR58oLmzX97eUHH2ui3XVZpIG4aER1OwWArAd/L7EvaYMs/ roHif4ssge6jkInD8aCgiVq7F+zF30nUZg8l5QkEYTu2xsKyFZDXMTmMRXIwqqzMvdCDkp7B QWvpvvmp69dzU/8YXYMBSDz/e5Ct68v5jFO7nE/fmqspPSUp8UKzCVw8Cs2RDt71h9o8fx+E Uk1OlxXJZehxSZJhs9CVE/9CQ1uKgGV0RHzwEpUzWfcTFWaeT3cIEJkYOyIxV0r3F9dWhN5/ 7io7nnvfhi3XcP23wo0AVVErd66R/NP1wTyouKVNOXbIIsffhzOnb6IZ0AEjzDFEPEBrhTLi scy9dkhdJChEzAbppMKLrWz1JMSeUiiH3NDS/Qwx5E5NzjQVx/q0AffNn3rXN1GIsHL1kqKC 8ZOAMZrfDbm3QasqgErP4I9E4VWrtUIuuVbIqjKIFQYuYSxtjBq6ZLc1hbvjV8RHulBr5wPF ZPzRRmjTEqrmnpmq03cppJlO025Q+U+Si/S4eSXyNgNRrU/6LxCUEdqybalnWSnAC0+9TKug Q7zTav3zetj9IdSo7XRAphzXzuTF9eie9mLoSaSsstPZ+zhKc3hlR0YgXi5MhV0PYk+YcVWl 7OMgYXSwU/lgaoEfDHIl7bYTqNM3NiAc9dWFunVL3BquzSId+GxwhkE+kG+cYdolvEE7OaZZ gKIUumCXv9LZMV8nlh7MzN/FTQZAITJNpbQnzu39amwO0JMwD75I8OC3l63S2NiLwsjGYD0U y3wsNaQvuFolpxGXkI4Nqs3Eq1DAQHRXIU9fIfMrhieNG6jh22CtpbElRYN7TLqCGGOIP3l4 KDqFwTPSxCvhJ7mlN1pkZR+nhkyPkZPheMdekE8+dkvrxuYCGUAD/oWMLRYK5VyvxHx6qrFZ 2D2XDN/MRn+YDVKT0ytqpCrFAKSHfcHNdrFNyQktRHcITu/AISbRqBt7GF86nNxYSHu1/yjN cpYwHDrIxyt2dt8cI7/PBBgbTtPnZs2B07k+HwRV+TqBA0CCLAWknd6WhdLVGnLFNvRkVjNK S45SAioha19pVHZSa5dl7x9QXn1fw8DCx0jdmGT3ZPTvJ+HyfBGxLvzNokfF5UdOd8SKudmq WzfHgOwDqP/5pDXkaAy/c40xKNzE+6OA862aqPuLeHXc2dc9Ux/V/4/ceEzoA3ONeKR/54xV tVh3pTmOHm4FQ==
  • Ironport-hdrordr: A9a23:aLkgca6+7IJgXQ1pJAPXwN/XdLJyesId70hD6qkDc3xom6uj5q STdZUgpHrJYVMqMk3I9urtBEDtexLhHP1OjrX5X43OYOCOggLBR72KhrGSoQEIdReOldK1mZ 0PT5RD
  • Ironport-phdr: A9a23:Rw0rIBBaP/5KDgS7D/JFUyQUQUoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua89ygSQBc6CsawMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjmwbal8I RmrsQndudQajZVjJ60s1hbHv3xEdvhZym9vOV+dhRHw6Nuu8pV+6SpQofUh98BBUaX+Yas1S KFTASolPW4o+sDlrAHPQgST6HQSVGUWiQdIDBPe7B7mRJfxszD1ufR71SKHIMD5V7E0WTCl7 6d2VB/ljToMOjAl/G3LjMF7kaVUrg+8pxxk247bfp2aNOZwcKPaeNMVX2tBXsBMXCBFDY6xa 44DAuwcNuhasob9vUMDoxiwCwajCuzhyiFGiGLq0qM1yOkhDQPL0RY8E94SrnjZrtP4P7oSX +Cvy6nIyC3OYf1M1jf76YjHbBQhquyUU71ucMre1FcgFxnYhViXtIPqJTWV1uUTvGif9eZgU /ygi286pA5vuDii3dsjipLTioIJ11DI7Dh2wIEvJd2kTU57fNikH4ZKuy6HKYR7W8UvSHxnt ygm0LMJo4K7fDQUx5Q9wR7Sc/2Kf5WG7B//V+udPzR1in1qdb+9hxu+71asx/PyW8e0zlpEr iVLnsTDuHwR2BLe99WKRPR880qj2juC2Q7d5O5CLEspm6TbLJshzaQxlpoVqUnDAyn2mETqg 6+WbEkk+/So5/zoYrXnup+cN5J0hRrkPqQvncyzGfo3MhASX2eH4uSwzrrj/Vf2QLlSkPI5i LLZsZDGKsQbvKG5AhVV3pwk6xalADer1skTk3ofLF9dZR6LkYzkN0vQLPzlD/qzmVuhnC1ky vzaJrHtH4vBI3zZnLv/YLpw6VRQxQs8wNxF+Z5YFr4MLfTuUULvsNzYEwQ5MxCqzOb9Fdt91 4IfVnyXD6OENq7ZrEWG6fg1I+aWYY8YoDb9JOYh5/7plXI5gVgdfbK13ZQNbXC4Au5qLFmCY Xb2n9cBF2YKshMjQ+ztkl2CTTtTZ2u0X60h/D00FZypAZ/CRoCrnrOBwD+2EoBIam1CEFyAD 2rkeoeeV/oDci6fLdNtniQBVbe7So8h0R+utBX9y7piNufb5zcXtZTi1Ndr4+3fjxcy+iJ1D 8uAzW6NVXp5kX8TRzMswKB/vFVxxUqE0ahin/xYEMFT5/VUXQsgKJHT0fR2C9bpVQ3ZZNeGV E6mQsm6ATE2Vt893scCY1xhFNW6khDDwy2qDqcJmLyMHZw4677T33zsJ8lm0HvGz6kgj1w+Q sRVL2Gmh6h/9xLSB4HTiUmZmbyqJuwg23vG837Gxm6TtmlZVhRxWOPLRyMxfEzT+Pjw4ELPS /eIBLUrPxEJncKLLKpHbpvvgFRKSe3LM8+Yf3/0l2CqGROVwL/KYIe8KDZV5znUFEVRy1Nbx n2BLwVrWnbJSwP2CTVvEQiqeEbw6axkr3j9SEYozgaMZkkn1ryv+xdTi+bPA+gL0OcivyEs4 y5xAE77x8jfXtaJoQtseONabNIx7U1v3nmfqxE4Mpu6M6V/gFJYfwkk91j22UBPA55b2dMvs GtsyQNzLayC11YUezqe3J30fLvaK2X/5jikcOjKxxTS18yK/7oJ5LI0pgarpxmnQ2wl9Xgvy NxJyz2c65HNWRIVSo70W10r+gJSv7bBfiA4+8XfzjtxN6jxvjjYx9c0AudjxhvIk853FqSCG UeyFsQbA5LrM+k2gx2zaRlCOulO9akyNsfgdv2c2aftMvwy1DShxX9K5oxwyCfuv2J1V/LI0 pAZwvqZwhrPVjHyi02ku9z2noYMbC8bH262wyzpTIBLYag6cYEOAGaoa8q5o7c2z5LkXX9V8 BilClIK1dWBcgHUc0G40QpKyUEKp3DhlSb5hz14njc1r7aOiTTUyreHFlJPMWpKSW9+yFb0d NHu3pZABRfuM051zEjAhw6y3aVQqaVhInOGRE5Je3KzNGR+Su6qsbHEZcdT6ZQuuCERUeKmY FncRKSuxnlSmy7lAWZawyg2Mj+wvZCs1RBzjmOQKDB1oXvVdNtYzgyZ+MGZSflLwj8bQiU+h TSdVT3ed5G5uM6ZkZvOqLX0W2unV5BXNy/mzI+NrgOw/it2HFizmOqvn8DhHU423GWosrsiH TWNpxH6bI7x0q28Ou8yZUhkCmj37M9iE51/mI897H0J8UATnY7dvX8OkGOpdM5exbq7dn0GA zgC39/S5gHhnkxlNHOAgYzjBD2Rxc5oZt/yZW1zuGp148lMCaqQqrpJnCd4uHKztkTNfL1xm S0BzOYo5DgWjqkFtREswSOUHr0JVRACbGq2zkvOs5bi9O1efwPNOfCo2VB7nMy9Ab3KuQxaV HvjO98jESJ28sRjIQfJ2Xz35JvjfYqYZtYSuxuI1hbY2rEPedRrz6VM2Ww7YTGY3zVt0eMwg B1w0IvvuYGGLz8o56elGltCMTazYcoP+zbrhKIYn8CM3onpEI8yf1dDFJbuU/+sFyof8Pr9M APbWjE1rHaWHfzZEA6T5V1OpGmJD43uO3aNOHwEy9kkSBTXdyk9yEgEGS43mJI0DFXgyMXnc Up9oDYc51L1sDNH0aR0KlzzVX3DoRquZnE4RdLMSXgephEH7EDTP8uE6+t1FCwN5ZytojuGL WmDbhhJB2UECQSUQkruNb606Zzc4vCVU6CgeuDWb+zE+ok8H7+YgIii2Yx883OQO9WTazN8W uYj1BMLXGglSZ2DynNVEnNRy2SRN4aavEvuo3cm6Jrmr7KyAlKpvczVV94weZ1u40zk2P3Sc bTJ22Agcm8ejtRWmTfJ0ORNhgdJzXg1KX/yT/Ja7nOFTbqMyPALSURBM2UpbJYOtvpgu2sFc YvSjte/vlJhptgyDVoNFVnom8XzINcPP3n4LlTMQkCCKLWBIzTPhcDxe6K1D7NK3q1SsFWrt DCXHlWGXHzLniT1Vx2pLeBHjT2KdB1Ytoandx9xCG/lBNv4Yxy/OdVzgHU427oxzn/NMGcdN 3B7fSYv5vWI6jhEh/xkB2FbxmJiNvWNnjrf5PKeN5AX9PdsGDhxiuRWpng3ivNU4CxCWP1pi X7So9pp8DTE2qGEzjtqVgYLqy4e3dja+x87ZuOFsMUYChOmtFoX4G6dCgoHvY5gA9zr4eVLz 8TX0bj0I3FE+s7V+s0VA47VLtiGOTwvK0mMenacAQ0bQDqsLWyaiVZalaTY+nSTr5U+7J7hm ZYDUJdQTxopC7YWDV55GcEELNF7U3l39NzTxN5N/ne4oBTLEY9CuYvbU/uJHfj1AC6elqVNY gdOyqi+MIISc4H8wVBnd1922ojHURm1P5gFsmhqaQk6p19I+X51Qzgo2k7rXQiq5WcaCf++m hNeYupWeeM26D7p/xE8PRzXoip1nE4rhdD4hzzXfDOjdM9YsqldEGzoqg09NYnnRhtzYUu+k B49XN8hb7lKyad9MGxskhPZpJ1DX/JRH/UsXQ==
  • Ironport-sdr: 65bb623a_H+rvo96NZAlJ6Jnx7v7a+WvhEI327iv94gWEQqNDVjUyljJ koM46Hf6i1UZMlJ4A8jK1CYIQD1PJRzgRp1QWcw==

[CFP] HCVS24 - DEADLINE EXTENSION - 11th Workshop on Horn Clauses for
Verification and Synthesis - 7 April 2024 - Luxembourg


[our apologies for multiple posts]


*** EXTENDED SUBMISSION DEADLINE: 18/02/2024 ***

Please note that submission types include extended abstracts (up to 3
pages)

and presentation-only papers (for papers already submitted or presented).


~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
11th Workshop on Horn Clauses for Verification and Synthesis (HCVS)

Co-located with ETAPS 2024


Call For Papers


7 April 2024 - Luxembourg


https://www.sci.unich.it/hcvs24/

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Important dates:

- Paper submission deadline: 18 February 2024

- Paper notification: beginning of March 2024

- Workshop: 7 April 2024


Scope:

Many Program Verification and Synthesis problems of interest can be
modeled directly using Constrained Horn Clauses (CHCs) and many recent
advances have centered around efficiently solving problems presented as
Horn clauses.

This series of workshops aims to bring together researchers working in
the communities of Constraint/Logic Programming (e.g., ICLP and CP),
Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated
Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based
analysis, verification, and synthesis.

Horn clauses for verification and synthesis have been advocated by these
communities in different times and from different perspectives and HCVS
is organized to stimulate interaction and a fruitful exchange and
integration of experiences.

The workshop follows previous meetings: HCVS 2023 in Paris (ETAPS 2023),
France (ETAPS 2023), HCVS 2022 in Munich, Germany (ETAPS 2022), HCVS
2021, online (ETAPS 2021), HCVS 2020, online (ETAPS 2020), HCVS 2019 in
Prague, Czech Republic (ETAPS 2019), HCVS 2018 in Oxford, UK (CAV, ICLP
and IJCAR at FLoC 2018), HCVS 2017 in Gothenburg, Sweden (CADE 2017),
HCVS 2016 in Eindhoven, The Netherlands (ETAPS 2016), HCVS 2015 in San
Francisco, CA, USA (CAV 2015), and HCVS 2014 in Vienna, Austria (VSL).

Topics of interest include, but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:

- Analysis and verification of programs and systems of various kinds
(e.g., imperative, object-oriented, functional, logic, higher-order,
concurrent, transition systems, petri-nets, smart contracts)

- Program synthesis

- Program testing

- Program transformation

- Constraint solving

- Type systems

- Machine learning and automated reasoning

- CHC encoding of analysis and verification problems

- Resource analysis

- Case studies and tools

- Challenging problems

We solicit regular papers describing theory and implementation of
Horn-clause based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress, as well as presentations
covering previously published results, extended abstracts of doctoral
theses, and overviews of research projects that are of interest to the
workshop.

At least one author of each accepted paper must attend the workshop to
present the contribution.


CHC Competition:

HCVS 2024 is planning to host the 7th competition on constraint Horn
clauses (CHC-COMP https://chc-comp.github.io/), which will compare
state-of-the-art tools for CHC solving for performance and effectiveness
on a set of publicly available benchmarks.


Program Chairs:

Julie Cailler, University of Regensburg, Germany
Daniel Neider, Technical University of Dortmund, Germany


Submissions:

Submission must be done in one of the following formats:

- Extended abstracts (up to 3 pages in EPTCS format), which describe
work in progress or aim to initiate discussions.

- Presentation-only papers, i.e., papers already submitted or presented
at a conference or another workshop. Such papers can be submitted in any
format, and will not be included in the workshop post-proceedings.

- Regular papers (up to 12 pages plus bibliography in EPTCS
(http://www.eptcs.org/) format), which should present previously
unpublished work (completed or in progress), including descriptions of
research, tools, and applications.

- Tool papers (up to 4 pages in EPTCS format), including the papers
written by the CHC-COMP participants, which can outline the theoretical
framework, the architecture, the usage, and experiments of the tool.

All submitted papers will be refereed by the program committee and will
be selected for inclusion in accordance with the referee reports.

If enough regular papers are accepted, both regular papers and extended
abstracts will be published electronically. The publication of a paper
is not intended to preclude later publication. Full versions of extended
abstracts, or substantial revisions, may later be published elsewhere.

Papers must be submitted through the EasyChair system using the web page:

https://easychair.org/conferences/?conf=hcvs2024


  • [Coq-Club] HCSV - deadline extension 18/02/2024, Daniel Neider, 02/01/2024

Archive powered by MHonArc 2.6.19+.

Top of Page