Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Michele Chiari via Petrinet <address@concealed>
- To: <address@concealed>
- Subject: [PN-world] (PN) [qest-announce] VeriProP 2024 - Call for Presentations
- Date: Tue, 23 Apr 2024 13:52:57 +0200
- Arc-authentication-results: i=3; mx.google.com; arc=pass (i=1 spf=pass spfdomain=tuwien.ac.at dmarc=pass fromdomain=tuwien.ac.at); spf=softfail (google.com: domain of transitioning address@concealed does not designate 209.85.220.41 as permitted sender) address@concealed; dmarc=fail (p=NONE sp=NONE dis=NONE arc=pass) header.from=tuwien.ac.at
- Arc-authentication-results: i=2; mx.google.com; arc=pass (i=1 spf=pass spfdomain=tuwien.ac.at dmarc=pass fromdomain=tuwien.ac.at); spf=softfail (google.com: domain of transitioning address@concealed does not designate 209.85.220.41 as permitted sender) address@concealed; dmarc=fail (p=NONE sp=NONE dis=NONE arc=pass) header.from=tuwien.ac.at
- Arc-authentication-results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of address@concealed designates 2001:629:1005:30::71 as permitted sender) address@concealed; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=tuwien.ac.at
- Arc-message-signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:content-transfer-encoding :in-reply-to:organization:to:references:content-language:subject :from:user-agent:mime-version:date:message-id:sender:dkim-signature; bh=W81TIs6z03DakaklY1xjbvkF+6goRaGFtt7FEtnCuvo=; fh=SJlX6NfyQIEeo1MEPYaLoOaxugQF/O8QfmRATESEAXE=; b=GRjts6Og174t1nQtlf5k3e62FBxFSQHgZn+RYTSrCkE6JQQ9z5bd5asIA/HpF24z6/ K923IJohVo2nQdprtBG+TrokrDKXcfPUvrILfQ4ob+84oAMoTiDBTIAPyuvueH5B2Rpd I2/l2CGFS01Ertu4mA862ODvgnYMN5+022qHUSelx7s9/pDyn+VErai/El6X2x74lTro +eGGStFvDz+mUpjB60o3ILaO1zOOLOHjdQoTVfbJQ+H5ae/MQLZHdf+LhasVGDzTvTDz MSbTyavmu7NP+Ddi6Imvr4QcxtDD/71/1GftbXZH7vBwwatqiYHv/jz4LIEJt7scJdD7 JPrw==; darn=informatik.uni-hamburg.de
- Arc-message-signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:in-reply-to:organization:to:references :content-language:subject:from:user-agent:mime-version:date :message-id; bh=gRYHe3tns+ZCWLaefJUZDOKgjfSfa+1cF3CrJgo6yRk=; fh=Z9MDvNgKdHIKcPPULqV5vQ4cRraXPkvteyPwDdN1+KY=; b=kxZmvzxi/4jexeJcAH90VFVEf9glnKnYz+8J3gKan2f6UnFLF8ylA4JELih5xw5MH+ L4GkAzO44a4yRro+f6X6tGC73HccSCMqLxl80r8eJ0oPxawFHsRB6YYqBTU1l/ZSsdDG 0/9LWey9BwKLXTZMzL4ECYT174Msa3Sat99wzo7tPeWtSXFJISBQhIYslgaCq7lZeVJN YCW4m4NLKOpNceCqscNimxRnUkuRBpV0TcjUp6U5GLsFhHjOIgpIoddPXOZ7cullmARk G7Dt8WthAiIms0Z3voEhZquWX6hhyR5qkfZvoFhLGWe44zZGHhJofmfMP9ILU11zrhW2 B4jA==; dara=google.com
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:in-reply-to:organization:to:references :content-language:subject:from:user-agent:mime-version:date :message-id; bh=gRYHe3tns+ZCWLaefJUZDOKgjfSfa+1cF3CrJgo6yRk=; fh=x5/KE/wkaRG+9yGntiX2mNGV6h2GG6oGn1YMd/SGx+U=; b=fVSa7eX+I1F6a3tJX/tEzCZlZz02z8a1QdD/wLh5RwpPJKfFyuRX5lsoToh3cfQEfh fcJJ+njSTPOmWh3CWLAMagwKEPsfUF1uskr00e/csRN1bL6h+m04beAJLwUSv7nhFBr0 o3oaLgAfa2zrNR7KR+J2eeg9PGmtMiRHbGrEqpOedglJOW3pthKULnrKNYOmwO/MuUME KJzDm/Zv+e3AAnPRxAMVfwVf9ChjYuPK/xUa4plHkbP1vfzx97pQjWbwtI8xLb/0Lw6W yNtXagYeVv7Hkcho4JKQl64hoLl6W9Tgc7STlWbuK8LODfIZX/EFM0O0bfsKTk+8Dv2i gLBw==; dara=google.com
- Arc-seal: i=3; a=rsa-sha256; t=1714070645; cv=pass; d=google.com; s=arc-20160816; b=s24GbXm9CigUMbGtNV7ahsME5RjncYWJvo+wy5iPxvK61XIBy8gS+iTvs9FJTCjfeE tSj7rm7jhVQ+hZkrraXsrGstES3bkjpUDQ+BjTub8pfHlU0+7FSaXD9yUS8mfRC8S/wM aV+X6fnziZECDYtf838jfXE6JW5Q42AwvhGnZui3rR2QwDZ0ekGkCSzSW7h/3iZ4XLY4 bZv01N/oohgyQOHf0Ak0r5Bq2tj1QwslW43AyOIhu0s4wOXEd5va/EkESnov35ZHPcPE f4F43R7cBeFyK/wu1peLas7ObuI97k6UTk8zPElG/ym4kZDjeAwHczZC65BKRaZeo4aU 45hQ==
- Arc-seal: i=2; a=rsa-sha256; t=1713873178; cv=pass; d=google.com; s=arc-20160816; b=YfdocI2df+1gB7F6RyZWGvlWBCbe1qI/SkE30pmZ8VJYg2BGYGEwGb6sGCmRdA7ar3 nBTUJT8VkZZRd/wJMyGdJDkm06WG7hxTJi5AxEvfutmtoddvTSny2u9A+fC/kzeJcuI5 rvIT2WbnmuTEldVU7CrVnFzF+JIMzU8k05/t6/4Uuy6Yc5H2rt4iMsFGzyCPo9jH3v44 W7jDg9qaFQy6IC8XrfPw/hUkVdQQDSCDMHACUO2zTt8b7eTe2qa64HKI1TgB+JAsMqtz MD3xHVeVlHgBMmQ0FIYfCZde21GMBQ3M7hnUjt4kJHc52DF1fhvHLWJTlm7s8JZhzUzR vdrA==
- Arc-seal: i=1; a=rsa-sha256; t=1713873178; cv=none; d=google.com; s=arc-20160816; b=q03KdJCxXP+W5dOzMtSnNWicM5e1/iNDG8VAReVTwMYEkIDTwjeRZZ8Q/e5XzDj7B8 X1urnOy6BZhzLlXGWi8LfZuaztFmw+mA6v8xQz9kY1MBomSSUcV6vzUvSZLQYEE4qjq2 +BPSWChyhMkAN3CnX3X1GbyrOlnSf3qCmZR6ct8r+acADGtsCrOKPQPRRI5xhmVUiTJa dS0tYjqf0IaArisGwPd711lcYmT+9TxOoPq30hR4OyUtbU4M+HIiJbeJIchIlW8JbUTt m845i9g9QbQD53HRXUcgtO1cGl2cqo6UzGWcF7hvim541f/WbEMRBmlCSweivkOJxQ4j igNg==
- Authentication-results: spool.mail.gandi.net; arc=reject ("cannot verify 3 of 3 signatures: {[1] = sig:google.com:invalid dkim param: fh}"); dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.113 as permitted sender) address@concealed
- List-archive: <https://groups.google.com/a/unifi.it/group/qest-announce-group/>
- List-id: <qest-announce-group.unifi.it>
- Mailing-list: list address@concealed; contact address@concealed
- Organization: TU Wien
VeriProP 2024: The Workshop on Verification of Probabilistic Programs
July 23rd, co-located with CAV 2024
VeriProP 2024, co-located with CAV, aims to bring together researchers interested in the tool-supported verification of probabilistic programs, models, and systems. This includes probabilistic model checking, program verification in the presence of a source of randomness, or formal guarantees for statistical machine learning algorithms and artificial intelligence systems.
We solicit contributed short presentations. Topics of interest include, but are not limited to:
* Symbolic approaches to the verification of Markov models
* Exact inference techniques
* Abstract interpretation for probabilistic programs
* Domain-specific probabilistic programming languages
* Verification of inference algorithms
* Automation of deductive approaches to verifying probabilistic programs
* Probabilistic program reasoning in safety, security, or privacy
* Synthesis of probabilistic programs
We call for extended abstracts (1-2 pages in pdf format) describing either ongoing research or an overview of past research in the workshop’s scope. We welcome abstracts covering work that has been previously published or is currently under review. There will be no formal proceedings.
* Submission deadline: May 10th, AoE
* Submission link: https://easychair.org/conferences/?conf=veriprop2024
More information can be found on our website and the CAV website
* https://veriprop.github.io/2024/
* http://www.i-cav.org/2024/
Or contact the organizers:
* Michele Chiari, TU Wien
* Fredrik Dahlqvist, Queen Mary University of London
* Sebastian Junges, Radboud University
* Benjamin Kaminski, Saarland University and University College London
* Christoph Matheja, Technical University of Denmark
To unsubscribe from this group and stop receiving emails from it, send an
email to address@concealed.
- [PN-world] (PN) [qest-announce] VeriProP 2024 - Call for Presentations, Michele Chiari via Petrinet, 04/26/2024
Archive powered by MHonArc 2.6.19+.