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