From owner-freebsd-embedded@freebsd.org Wed Jan 8 22:03:36 2020 Return-Path: Delivered-To: freebsd-embedded@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id D0D241FC83C for ; Wed, 8 Jan 2020 22:03:36 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from secgw1.intern.tuwien.ac.at (secgw1.intern.tuwien.ac.at [IPv6:2001:629:1005:30::71]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 47tNYM3xGkz4D4p for ; Wed, 8 Jan 2020 22:03:34 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 008M3V90027545 for ; Wed, 8 Jan 2020 23:03:31 +0100 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 16 for ; Wed, 8 Jan 2020 23:03:30 +0100 (CET) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 008M3UPT027525 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Wed, 8 Jan 2020 23:03:30 +0100 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 8 Jan 2020 23:03:30 +0100 Received: from sargas (128.131.111.65) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 8 Jan 2020 23:03:30 +0100 From: Mihaela Rozman To: References: In-Reply-To: Subject: 2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020 Date: Wed, 8 Jan 2020 23:03:26 +0100 Message-ID: <10fe01d5c66f$741f8570$5c5e9050$@tuwien.ac.at> MIME-Version: 1.0 X-Mailer: Microsoft Outlook 14.0 Thread-Index: AQHkOeY/0UX+4yGbPdKxgQZBEEQblKfEaxcw Content-Language: de-at X-ClientProxiedBy: mbx13a.intern.tuwien.ac.at (2001:629:1005:30::61) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Rspamd-Queue-Id: 47tNYM3xGkz4D4p X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=fail reason="No valid SPF, No valid DKIM" header.from=tuwien.ac.at (policy=none); spf=none (mx1.freebsd.org: domain of mihaela.rozman@tuwien.ac.at has no SPF policy when checking 2001:629:1005:30::71) smtp.mailfrom=mihaela.rozman@tuwien.ac.at X-Spamd-Result: default: False [-2.65 / 15.00]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; RCVD_COUNT_FIVE(0.00)[6]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; PREVIOUSLY_DELIVERED(0.00)[freebsd-embedded@freebsd.org]; TO_DN_NONE(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; RCVD_TLS_LAST(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[1.7.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.3.0.0.5.0.0.1.9.2.6.0.1.0.0.2.list.dnswl.org : 127.0.11.0]; R_SPF_NA(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:1853, ipnet:2001:628::/29, country:AT]; MID_RHS_MATCH_FROM(0.00)[]; IP_SCORE(-0.65)[ipnet: 2001:628::/29(-2.83), asn: 1853(-0.34), country: AT(-0.10)]; DMARC_POLICY_SOFTFAIL(0.10)[tuwien.ac.at : No valid SPF, No valid DKIM,none] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 08 Jan 2020 22:03:36 -0000 * *QONFEST 2020* *=20 August 31-September 5, 2020, Vienna, Austria (http://qonfest2020.conf.tuwien.ac.at/) =20 QONFEST is the umbrella conference comprising the joint international = 2020 meetings CONCUR (31st International Conference on Concurrency Theory), = QEST (17th International Conference on Quantitative Evaluation of SysTems), FORMATS (18th International Conference on Formal Modeling and Analysis = of Timed Systems) and FMICS (25th International Conference on Formal = Methods for Industrial Critical Systems). QONFEST 2020 will be hosted at TU = Wien, Vienna, Austria, with the conferences taking place in the main building = at Karlsplatz 13, 1040 Wien, and the workshops in the computer science = building at Favoritenstr. 9=9611, 1040 Wien. =20 CALL FOR AFFILIATED WORKSHOPS =20 Researchers and practitioners are invited to submit proposals for = workshops to be affiliated to QONFEST 2020. Example topics include: concurrency = theory and its applications, timed systems, semantics, logics, verification techniques, cross-fertilization between industry and academia and opportunities for young and prospective researchers. Past QONFEST conferences have been accompanied by successful workshops on a variety = of topics. You can have an idea of the past workshops by browsing the pages = of the previous editions of CONCUR, QEST, FORMATS and FMICS. =20 The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. =20 The workshops take place on Monday August 31, 2020 and Saturday = September 5, 2020. =20 Proposals should include: =20 * The name and the preferred date of the proposed workshop (August 31 = or September 5, 2020) * A short description of the workshop (500 words max) * If applicable, a description of past versions of the workshop, = including dates, organizers, submission and acceptance counts, and attendance * The expected number of participants * The name and a link to the website(s) of the organizer(s) * The publication plan (only invited speakers, no published = proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). =20 The QONFEST organization offers: =20 * a link from the QONFEST web site; * setup of meeting space, and related equipment, * coffee-breaks and lunch for the participants on the day of the = workshop, * on-line and on-site registration to the workshop, * free workshop registration for an organizer and in case of more than = 15 participants a second free workshop registration =20 The main responsibility for organizing the workshop goes to the workshop organizer(s), including: =20 * workshop publicity (possibly including call for papers, submission and review process) * scheduling of workshop activities in collaboration with the QONFEST workshop chair. =20 IMPORTANT DATES =20 Submission of workshop proposals: January 15, 2020 (but we greatly appreciate if you announce your proposal to us as soon as possible). Notification: January 31, 2020 =20 SUBMISSION TO: Florian Zuleger (zuleger at forsyte dot at) =20 For more information, please contact me via email. =20 The QONFEST 2020 workshop chair, Florian Zuleger https://forsyte.at/people/zuleger/ Technische Universit=E4t Wien Vienna, Austria From owner-freebsd-embedded@freebsd.org Thu Jan 9 21:23:40 2020 Return-Path: Delivered-To: freebsd-embedded@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id D9F741F9ABE for ; Thu, 9 Jan 2020 21:23:40 +0000 (UTC) (envelope-from stevenjm.work.000@gmail.com) Received: from mail-qk1-x742.google.com (mail-qk1-x742.google.com [IPv6:2607:f8b0:4864:20::742]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "GTS CA 1O1" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 47tzcr3Xxdz3FXw for ; Thu, 9 Jan 2020 21:23:40 +0000 (UTC) (envelope-from stevenjm.work.000@gmail.com) Received: by mail-qk1-x742.google.com with SMTP id j9so7503409qkk.1 for ; Thu, 09 Jan 2020 13:23:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=thread-index:thread-topic:from:to:subject:date:message-id :mime-version:content-class:importance:priority; bh=IgP5IN7oNTkGbR/g9E9BlNSt5worJXBMGo4CURYgkPg=; b=thBzFBXyuuUZTtjs0U620x4AhrC6QUZcGoM4WZa051koKxcYcfIixY+BzW/ikb2V4G 9psj5KpIGVL5Jfi1ga+81qXYAZfAEH6PqeN6CTg1IGqHOFPIltoaMv/aRWY7q0GipGMg bP1/+m7vnjGZWchFGB8/kHQt9p62Xl9p87KsQ2lhVYmXg5TtkNRVcjh0FPjaftvM16Rd VdzI5uPrVQFtZhYbhsPmfpoRyvsGN0e3v8T6lPIMwlscKLJN01SKw23XcBnTBlofafPo yh8YQB16jRoVfeC8lSgVRXz5Nu3MAD8Nmi0Po2lqm8HOuqsVk8L0gX3VbDXT+6k6LDqm yi1w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:thread-index:thread-topic:from:to:subject:date :message-id:mime-version:content-class:importance:priority; bh=IgP5IN7oNTkGbR/g9E9BlNSt5worJXBMGo4CURYgkPg=; b=MzYH8i2pssb/+0AuWHlwY3wm2OmeZrbMtKfpFAe1ph7KbQWm9opfYqgBIWXiHTm/KC sN9rmCZHaV/BN/SeRfJYH5jZkerotgy/NeBllKn09TPcUGCM/bLsVWsau8Iizk9gJPa6 4pQ0u56GRASyv9o0XPzLCnp+m9oqOX8LNjulGuoiec5OZyEm6fdyW70sjmV3x8vpB3m4 NNMuPBGzDQlvOLz1Gawnnwrku/PsF+vAFoQgtuyVg9Qyr7NeNYAG5ZIctV1aHsj+Hayr MPmn8WLIzRWzpxASwWiurOSSlP5AkOm01ujrxrUVZFVaqFyeiXZZ3ycZ6gPITmoxvzqx 5QQA== X-Gm-Message-State: APjAAAVmgiO+7tAARMMn3dALWscX3VzUDAHZzntj0oeY1bdf+WWshsY+ BhemioG4yKczbSvFpSZqNqovkM8R X-Google-Smtp-Source: APXvYqxEYmeNYqHpXfG/RrrWQwhRPtnFapnzdEXGsmFHGhnmqs23tQJGQa6/Jp3B4RnjjVRbDYey2A== X-Received: by 2002:ae9:f506:: with SMTP id o6mr11605238qkg.41.1578605019946; Thu, 09 Jan 2020 13:23:39 -0800 (PST) Received: from ThingTwo ([2604:2000:6b83:2e00:15af:b1f2:b1fc:1022]) by smtp.gmail.com with ESMTPSA id c24sm4047301qtk.40.2020.01.09.13.23.38 for (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 09 Jan 2020 13:23:39 -0800 (PST) thread-index: AdXHMwlp2Blond1/RauffgsvpHX8/w== Thread-Topic: Thank You for your time. From: "John Stone" To: Subject: Thank You for your time. Date: Thu, 9 Jan 2020 16:23:29 -0500 Message-ID: <5A2FFF4E070E4EE19F4053A2B21892B1@ThingTwo> MIME-Version: 1.0 X-Mailer: Microsoft CDO for Windows 2000 Content-Class: urn:content-classes:message Importance: Normal Priority: normal X-MimeOLE: Produced By Microsoft MimeOLE V6.1.7601.24158 X-Rspamd-Queue-Id: 47tzcr3Xxdz3FXw X-Spamd-Bar: / Authentication-Results: mx1.freebsd.org; dkim=pass header.d=gmail.com header.s=20161025 header.b=thBzFBXy; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (mx1.freebsd.org: domain of stevenjmwork000@gmail.com designates 2607:f8b0:4864:20::742 as permitted sender) smtp.mailfrom=stevenjmwork000@gmail.com X-Spamd-Result: default: False [0.73 / 15.00]; RCVD_VIA_SMTP_AUTH(0.00)[]; R_SPF_ALLOW(-0.20)[+ip6:2607:f8b0:4000::/36:c]; FREEMAIL_FROM(0.00)[gmail.com]; TO_DN_NONE(0.00)[]; URI_COUNT_ODD(1.00)[15]; RCVD_COUNT_THREE(0.00)[3]; DKIM_TRACE(0.00)[gmail.com:+]; DMARC_POLICY_ALLOW(-0.50)[gmail.com,none]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; FREEMAIL_ENVFROM(0.00)[gmail.com]; ASN(0.00)[asn:15169, ipnet:2607:f8b0::/32, country:US]; TAGGED_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[gmail.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.97)[-0.972,0]; R_DKIM_ALLOW(-0.20)[gmail.com:s=20161025]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; HTML_SHORT_LINK_IMG_1(2.00)[]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; PREVIOUSLY_DELIVERED(0.00)[freebsd-embedded@freebsd.org]; NEURAL_HAM_LONG(-0.80)[-0.796,0]; IP_SCORE_FREEMAIL(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; IP_SCORE(0.00)[ip: (2.64), ipnet: 2607:f8b0::/32(-2.12), asn: 15169(-1.85), country: US(-0.05)]; RCVD_IN_DNSWL_NONE(0.00)[2.4.7.0.0.0.0.0.0.0.0.0.0.0.0.0.0.2.0.0.4.6.8.4.0.b.8.f.7.0.6.2.list.dnswl.org : 127.0.5.0]; MID_RHS_NOT_FQDN(0.50)[]; RCVD_TLS_ALL(0.00)[] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 09 Jan 2020 21:23:40 -0000 Thank You for taking time out of your schedule. Here is 20% off our entire line until September 3rd, 2019 Use the discount code "MADMANGO" at checkout Use casn even use this link 20% Dicsount Link Elegant Yet Rugged Armored Case for iPhone and Samsung THIS SUPER STRONG HYBRID COMPOSITE MAKES THIS CASE A SHOCKPROOF ARMOR CASE FOR HEAVY DUTY PROTECTION LED Luminous Flowing USB Charging Cable Super Strong! Super Cool! What good is super cool if it only lasts 5 days. This super tough cord can last beyond what you can dish out. Never lose your charging cable in the dark. Flowing LED lights pulsates from the power source to the device. Stand out in crowd and unique enough not to confuse your cord with another person's plain cord. This is a really nice gift for a friend. Click for 17% Discount on All Our Inventory Broadway29.com If you want to be removed from this list, please Click Here .