Subject: Animation and exchanges in the Petri Nets community
List archive
[PN-world] (PN) [qest-announce] 3rd Workshop on Hyperproperties - Call for Presentations
Chronological Thread
- From: Hazem Torfah <address@concealed>
- Subject: [PN-world] (PN) [qest-announce] 3rd Workshop on Hyperproperties - Call for Presentations
- Date: Sun, 24 Mar 2024 19:50:11 +0000
- Accept-language: en-US
- Arc-authentication-results: i=4; mx.google.com; dkim=pass address@concealed header.s=selector1 header.b=mf6I+DSQ; arc=pass (i=2 spf=pass spfdomain=chalmers.se dkim=pass dkdomain=chalmers.se dmarc=pass fromdomain=chalmers.se); spf=softfail (google.com: domain of transitioning address@concealed does not designate 209.85.220.41 as permitted sender) address@concealed; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=chalmers.se
- Arc-authentication-results: i=3; mx.google.com; dkim=pass address@concealed header.s=selector1 header.b=mf6I+DSQ; arc=pass (i=2 spf=pass spfdomain=chalmers.se dkim=pass dkdomain=chalmers.se dmarc=pass fromdomain=chalmers.se); spf=softfail (google.com: domain of transitioning address@concealed does not designate 209.85.220.41 as permitted sender) address@concealed; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=chalmers.se
- Arc-authentication-results: i=2; gmr-mx.google.com; dkim=pass address@concealed header.s=selector1 header.b=mf6I+DSQ; arc=pass (i=1 spf=pass spfdomain=chalmers.se dkim=pass dkdomain=chalmers.se dmarc=pass fromdomain=chalmers.se); spf=pass (google.com: domain of address@concealed designates 2a01:111:f403:c203:: as permitted sender) address@concealed; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=chalmers.se
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=chalmers.se; dmarc=pass action=none header.from=chalmers.se; dkim=pass header.d=chalmers.se; arc=none
- Arc-message-signature: i=4; 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:mime-version:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :from:sender:dkim-signature; bh=SzAUn+/EBcKaYkg2FP1t/sHzGoqOdcNRspg0yrbISAI=; fh=f2LGrDFkAMpPywwpL+nuYxTwFTKgokqXKm2ezwKCj+0=; b=iXOJyFfCZVo2mCUvP7M6s69qwnUHa1OyKueVD04vl2Zw0MEy217Mi5SG2rBQhyx2Gf lstmgjlU2U2YqMA9yMcve22f9OvV/+vVcxD6NnQYU8B8PkFx1Y4knBD8neT8KKXnEV6j y0VXgw5+WcYPA+/FXX3aqNOUzBbgqPXyWJ0vX2AbkgXixadnpIq1wqvGF7b8+s76rInW J2R082zNz/78Kq6EzR1WkNXbSHt4YE3OMUy8/d1ZZ6w+dpBa/oNPbl6QfNlmqRgjyHl0 kbxE1YKJN4Iv5NZe2qbudbRRoBI+DDEDGVqDjuUHdtcph+87IBTSj40HhSBSQZZjq5qe dDpQ==; darn=informatik.uni-hamburg.de
- Arc-message-signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:from:dkim-signature; bh=51czqXgXu8FkS0DHEzE+XsrJq6aU0aVRgU1yqK6FQV8=; fh=AtL2cDqS5Cm3l1OtZYLh/bT5MsTePVFjszrCY3z8jlw=; b=BanPc0WM+bWluxykZfEmSBmWYQ2ePsvm/DVX1f6gsTG+IusqO3TPk/g2eRe8lyhVpo C7NQYIdxqQwVJHllicTHNSgA83rF7edGyWxtsj+iGmWdpz+csTpC64mSWvknu6pyr/b3 CZ8CupQ+5AsOdvifYw+UVGJ+jJjgZ0a4KyK8dRrxES3i5Jg0n57vcM0qEsa3kjpbWlBQ pWdDTpTg1Ybm/1+paRAEcbyUkcQGAx7inXsWbeajhs36tF2HoW9iPk1tS94C/BYa/uVW u+dVfrFiUhQilLUSTBV8B64DD1tM7Df0HkvxRZ+qN03/Tra3SpohAJpxD66HNh/fjwZo 3KhQ==; dara=google.com
- Arc-message-signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:from:dkim-signature; bh=51czqXgXu8FkS0DHEzE+XsrJq6aU0aVRgU1yqK6FQV8=; fh=47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU=; b=WD2ShfEA2KkMwqssMkh8gDqlqB/9+WsUUu+kPZaUp5GY1+RkndDcFX1Fz2MleMIAln Bgwuv6wM34WT9gj9GHY77B/Q5liR07N2VdJs1nqZ0KiupL4CVh6G7L5uSrqACrXK7hwf OljrTID7ytgkNdgzdNPfTMCqg0SaT4crIsP9x8FHB+Mt8iMk7X31y4hwBbLDDgtKm+R/ w5ZzYuimKTUwCx7SepBjPQyC4LhFiUMWBydKUSO1VEWXIJhhlG1b9DhbbUTKPCqtszJQ G68C0N7otf1Nd14yt/RT6Az5YLeznme/sFGDuXsIddB0aaH9dK/usPBmUJpxTQQddsFk VKfQ==; dara=google.com
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=51czqXgXu8FkS0DHEzE+XsrJq6aU0aVRgU1yqK6FQV8=; b=hB4zAZFRF381u7t3jkT9T707eMGq7tQ2AbuIqpGXMctx7utQmi/YyNVT0+abCO5MPirY7L/PCwHoeu9OyvRmrVXHwoeJJVHKptAc44V1+MJ0QzXGGFKL89ULtEHG5xJvnkOFIPD0OQ1WS0HAJD2WoetFx61FuB/qPw0VCuCThUKTqtICrCZT2P6YoXw7y/wcOkqmzGeVX8yOYU8OPGfnbB+XYZ25VfueqpHqEybMZ+O/KiAQXqAqmBfLYwb616oFaZrrYFsfctPmsdYZMgCuRxNxZpcIMvQyxv/Xm76l+S9TT/zQpX1wBsGd0GOQ3hRkp6B4MtXmeV3zIN8juiyWqg==
- Arc-seal: i=4; a=rsa-sha256; t=1711488442; cv=pass; d=google.com; s=arc-20160816; b=0ZNDKISA1+jmPDoeeBNlfk6ctgXnELJlwQviwtCXVtioqVCMt/ibzBNdUPFk8NTYnw uI36LRDbfqJTemX/cZKefK9mqcGg8lzB9HpEYkaQgAjGwBDJukxWQbc5J+EkAIG2hMo4 2k6Tm037Mrg2qk7wYVRjbUfSSStH7ttKv7JavYhY5vugsruQiC//I52UPdzlf/cgpMu3 WYTAz6Y6SqmEU8xgLExom4hFc+hroO+MM3sAYK7RpnCz9z+16PxfVCC5COndXyk7z16J k3/yxp/FMLmYJwz/hg9++BT6ktMHLwLRfcFWnHGlVJZaZJyUigig4ZLqhxAJrIVUFc3k pHUg==
- Arc-seal: i=3; a=rsa-sha256; t=1711309814; cv=pass; d=google.com; s=arc-20160816; b=ND2vxb2yHAqu8NAQ/4ggTJ/UYXzV/3HCFl+oMMzbfQB7ZCkiLvtngbXP+ZtCNEu0D9 Qnx3hkPyz+vCxrhmrToC/bGXh1K8/i6abHtyYIIjI6zWCZEZTCT4SWTToO/9C8XIXbMA G0bH9X+ZKU55uCXuTdyO+bZG0X2b3On9dcSeFogd3KpGk40iHnDxAhXClVKaY2YaVvnN 6GCPuRnzyl/j9THE5t+SyV2Engn8emGKHQXlj/sdnpHUeMJNRNs+LuxuGcbsV0QDqOCx l0+E0Ag8q/ivYPxZXm6EGh9vHyzxi2qpTjMdWFT8VzXcULe8uJVvLaEUUo6Jsyj/qWSQ Tn+g==
- Arc-seal: i=2; a=rsa-sha256; t=1711309814; cv=pass; d=google.com; s=arc-20160816; b=PX04v/GgRvowGnA2sb/YDDsx2f4OcPuHdyAa+a/MPQOvwgCgRJ5gPQIOXdde6UCCOT U+0iP8sxvT4GgD5KjMfc46ykmXKHZ5KAvphxbmgXwFLYqxgjXn/ukrTrqPNvTS40VGW0 d69u8Asgww/DRWzp8Kx0RzqTNkdfT58C+T5Ibfk3Xa/DjLE2HrisIuDveYyayWAs8b7c 1Zt810n4PMxmMvBFKyU5pMUlRRZ40PTx5RuQpW13jOOjfHFaSFnCmSfChU/McWHj86k7 fsLkHpB+b+g7WM3orP/ggT0FnWfK1gtEDof2fOmMr4GHLh8VVFMFQqsKdD223YM6w8E1 89Gg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=T/5TZo0u55QwJCrr3xPV/jArQzrj5MaXH6SdgrwPky24gyftGc/rlgirkkNwS2+jTPW8BboBqYGb7KF5MdnWgpqWiZabIRm+07ADNn8CPzOt3nWqfnSNGgPbRMxwtyAhprF47r9eznlpcsWSunR5DRNgd3s6m4sE/XObQzWxJ6MX6nD+crUCN91JDuJYDsOvx3QIjWTHPCIy0/oJMacIui0UlUmcu0XBPhX9cohJ7zrCPQsRPgbs7E/AyDvtKXkX2MC2jOlZaNTO8tiYc3Y35rPNa/lvUd4Ll4xjb/ekq8QGh/MH3ZWVklNM1vb5qLqzuNvBtPHifmQagILx/rHzIA==
- Authentication-results: mx05.rrz.uni-hamburg.de (amavisd-new); dkim=pass (2048-bit key) header.d=unifi.it
- Authentication-results: spool.mail.gandi.net; arc=reject ("cannot verify 4 of 4 signatures: {[1] = sig:google.com:invalid dkim param: fh}"); dmarc=fail reason="SPF not aligned (relaxed), No valid DKIM" header.from=chalmers.se (policy=none); 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
CALL FOR PRESENTATIONS
==================
HYPER 2024
3rd Workshop on Hyperproperties: Advances in Theory and Applications
co-located with CAV 2024
==================
The goal of HYPER 2024 is to foster the exchange of ideas on topics related to hyperproperties between researchers from the formal methods, security, machine learning, and cyber-physical systems communities
and to present and discuss recent advances in theory and applications for specifying and analyzing hyperproperties. The workshop will comprise invited talks and selected presentations. For more details and a list of invited speakers, see https://hyperworkshop24.cispa.io/.
HYPER 2024 is co-located with CAV 2024, and will take place in Montreal, Canada, on July 23, 2024.
IMPORTANT DATES
Submission deadline: April 25, 2024 AoE
Notification date: May 13, 2024
Workshop: July 23, 2024
SUBMISSION GUIDELINES
Submission link: https://easychair.org/conferences/?conf=hyper24
The HYPER workshop aims to bring together researchers interested in the broad area of hyperproperties and working in the areas of formal methods and control, cybersecurity, and machine learning. Topics
of interest include, but are not limited to:
Specification formalisms for hyperproperties
Algorithms for verification, synthesis, and runtime verification for hyperproperties
Information-flow control
Privacy
Fairness
Causality
Robustness
Explainability
Presentation proposals shall be submitted in the form of an *extended abstract of up to three pages* in LNCS format (not including references) via easychair. Submissions can overlap with previously
published work and will be judged based on their relevance to the topic of the workshop. The workshop will have no formal proceedings.
We look forward to seeing you at HYPER 2024 in Montreal!
Hadar Frenkel, Niklas Metzger, and Hazem Torfah
HYPER 2024 co-chairs
-- To unsubscribe from this group and stop receiving emails from it, send an email to address@concealed.
-
[PN-world] (PN) [qest-announce] 3rd Workshop on Hyperproperties - Call for Presentations,
Hazem Torfah, 03/28/2024
- [PN-world] (PN) [qest-announce] Postdoc Position in Formal Verification of Cyber-Physical Systems, Hazem Torfah, 03/28/2024
Archive powered by MHonArc 2.6.19+.