Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Peter Lammich <address@concealed>
- To: undisclosed-recipients: ;
- Subject: [PN-world] (PN) IJCAR: Woody Bledsoe Award: Call for Nominations
- Date: Mon, 8 Apr 2024 10:42:25 +0200
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=utwente.nl; dmarc=pass action=none header.from=utwente.nl; dkim=pass header.d=utwente.nl; arc=none
- 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=atgjM4t3IwR8PTAnZiMkxSooxNDU/uy24exMRx1K9rU=; b=PWf19IP2ecIUuOJpkm0xg69keOIrfjDXdzEJCdKZy8f+9Tn5RZreFlSNVe5v6f/5pQBAvLPWBgc4BI0Dr/i5lpuUBo+9JB8jpfCvm9l//y+fR9fwSC+oJfsk/m6RDE0/Yigcv1tU/gOOtvue8/BvxBay7W4I/jfrv95bYUmZrsZYELDC/EI5gJ9RvurXeo8DopCEIq2Y+0Ks6cPoU3Ndy5OStQooSBOFN+7L8Q47rQFRIgB4wNUpHQVLhfMI1dDMd3A/RRtGjpjTTy4OEX2iyXZlqeUwYq6LjIftORPFxDRDk8zBaEnsNeJhlWrt+VUd9hxV/I8OANcgWdZ6Z+vM2g==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=IXZVB3+GWqrEpoD/pzhavnvKPRGtGNpvROn50ccYg9D0AJPKkunDwVdjrHwhp3RycXFJR+Rnhh/o0UoePG3ZVXdmA5+9pYRcdqTSNGgsZUGQh0nV9znowv4R+qqGuXeyWMzeS5WTA22NDmF4sxpNojSa/WjUQ+obcgeHD6pRxLnNtGKBxzOUfE1B/X36LuMTCa+uL4Ybt7dpcErDI07QchnULlCycA7cz+c5gWlIW5MIZNY/HJgqGScMTz8PqOJapcW4ioxxJLv9dQHUvSSHCxyquK/o+UVGSftCj0GgFvwnidfPzcIc1F/afKrun3mDWwP20HsvaPMjHQ95GNBvew==
- Authentication-results: mx03.rrz.uni-hamburg.de (amavisd-new); dkim=pass (2048-bit key) header.d=utwente.nl
- Authentication-results: spool.mail.gandi.net; dkim=fail ("headers rsa verify failed") header.d=utwente.nl header.s=selector2 header.b=VJVspcI1; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.113 as permitted sender) address@concealed; dmarc=fail reason="SPF not aligned (relaxed)" header.from=utwente.nl (policy=reject); arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}")
[[Apologies if you receive this email multiple times]]
The Woody Bledsoe Award honors the memory of Woody Bledsoe [1],
for his contributions to mathematics, artificial intelligence,
and automated theorem proving, and for his dedication to students.
The award is intended to enable selected students to attend the
12th International Joint Conference on Automated Reasoning
(IJCAR 2024), by covering part of their expenses.
Applications are solicited for the Woody Bledsoe Award 2024.
Preference will be given to students who play an active role in
the conference (including satellite workshops and competitions)
and the SAT/SMT/AR Summer School [2] and who do not
have alternative funding.
A nomination consists of a recommendation letter of up to 300 words
from the student’s advisor. It should be received by email
at the address@concealed by April 28, 2024.
Winners of the award are chosen by a committee consisting of the
PC chairs of IJCAR 2024 and the local organizers. The awards will
be presented at the conference.
[1] https://en.wikipedia.org/wiki/Woody_Bledsoe
[2] https://sat-smt-ar-school.gitlab.io/www/2024/
- [PN-world] (PN) IJCAR: Woody Bledsoe Award: Call for Nominations, Peter Lammich, 04/10/2024
Archive powered by MHonArc 2.6.19+.