From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B6AD87F214 for ; Wed, 8 Jan 2020 22:20:48 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mihaela.rozman@tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman@tuwien.ac.at; spf=None smtp.helo=postmaster@secgw2.intern.tuwien.ac.at Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mihaela.rozman@tuwien.ac.at) identity=pra; client-ip=128.130.30.72; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mihaela.rozman@tuwien.ac.at"; x-sender="mihaela.rozman@tuwien.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mihaela.rozman@tuwien.ac.at) identity=mailfrom; client-ip=128.130.30.72; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mihaela.rozman@tuwien.ac.at"; x-sender="mihaela.rozman@tuwien.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@secgw2.intern.tuwien.ac.at) identity=helo; client-ip=128.130.30.72; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mihaela.rozman@tuwien.ac.at"; x-sender="postmaster@secgw2.intern.tuwien.ac.at"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AofVGRxzD0cxCqwHXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+8eIJqq85mqBkHD//Il1AaPAdyAragZ26GP7/2ocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTSwbalsIBi2rgjdudQajIRiJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lKJVrgyvpxN93oDaboKbO/Vica3aYdMXXnBOUtpeVyFZHI+w?= =?us-ascii?q?c5YDAuwcNuhYtYn9oF4OoAO5CwmtBOPg0CFHhnvs0qYnz+ohFgDH3Ak6ENIIrX?= =?us-ascii?q?/Zq9D1NKYSUe+v0qbIyS/MY+lM2Tf66YnIdwouofeXULJsbMrQx0gvGB3DjlmK?= =?us-ascii?q?s4PqIymZ2f4Rs2WC6edrSOyhi2kiqw5rozivwN8hipXUhoMby1DL6yN5zJwvKt?= =?us-ascii?q?KkUkJ0e8KkHINetyGdLYt2WcMjQ312tyog0LIGpZi2dzUJxpQ/3xPTduKLfouS?= =?us-ascii?q?7h7+WuudPS10iXx5dL6lhRu+71CsxvDiWsS3ylpGsyRInsTWunwQyhDf99KLR/?= =?us-ascii?q?p980qnxD2BzRrc6vteLkAxjafbK4Auwro3lpcLqkTMADP5mEr4jaOIbEkk++6o?= =?us-ascii?q?6/j5bbX8oJ+QLZN0ihzwM6QvhMO/B/40PRISUGSB4+u8yKXv/Uz/QLpUkv07ir?= =?us-ascii?q?TVvI7ZKMgBu6K0DRNZ3pwt5hqjFTur0soUkWECLF1feRKHi4bpO0vJIPD9Ffq/?= =?us-ascii?q?hlWskDdxyP/YOr3uGI/BLmLEkLbgeLZy8UhcxREvzdBC6ZNUC68OIPTpVkDrqN?= =?us-ascii?q?PUFAU2MxCsz+b9FNp9zp8eWX6IAqKBLKzdq1qI5uY2L+mIZY8Voyr9JuM+5//u?= =?us-ascii?q?iH85gUUScbOo3ZsRcnC4H+5pL1+XYXr20Z89FjJetQM7SKnuiUaeeT9VfXe7Ga?= =?us-ascii?q?wmsGIVEoWjWKLCRomghLXJ5iCpG5RQLjRDC1CFHHPhMZ+DSfIFbgqOP9BgnzpC?= =?us-ascii?q?XLPnQpN3hkLmjxPz17cydrmcwSYfr5+2jIEotd2Wrgk78HlPN+rY02yJSDskzH?= =?us-ascii?q?gFTDAphuZ+p1Bw0FHFzbVngvFeU9VYofpVAF9jaczsitdiAtW3YTrvO8+TQQ/6?= =?us-ascii?q?EMm7HjA8SJQ4yJkHfxQlQoTwvlX4xyOvRoQtufmODZ0w/Ljb2iGtddpg1HfL0u?= =?us-ascii?q?8ohB8vXpkXOA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BxAgDYRhZefUgegoBmHgELHIMhL4FBg?= =?us-ascii?q?QcqjQyXMIlGeYFnAQgBAwEKAQEfDgIBAYYsHAYGNBMCEAEBBAEBAQIBAgMEARM?= =?us-ascii?q?BAQkWCIVnDII7IoMICAITEDseBWgjGwIEHgWDE4F5fgEOrRqIUyIWgT0igRSMK?= =?us-ascii?q?IFMP4ERNoIvbIEEgxIBEgGGDQSNV4hmYJgKB4FHcnUEhj2ObBuCR3aHCJAdhEG?= =?us-ascii?q?GN4sugQaSEQIEAgkCFAGBaU08cTMag2AINhEYDVeMUyCBcowdQjKBASYTCwGNA?= =?us-ascii?q?oIyAQE?= X-IPAS-Result: =?us-ascii?q?A0BxAgDYRhZefUgegoBmHgELHIMhL4FBgQcqjQyXMIlGeYF?= =?us-ascii?q?nAQgBAwEKAQEfDgIBAYYsHAYGNBMCEAEBBAEBAQIBAgMEARMBAQkWCIVnDII7I?= =?us-ascii?q?oMICAITEDseBWgjGwIEHgWDE4F5fgEOrRqIUyIWgT0igRSMKIFMP4ERNoIvbIE?= =?us-ascii?q?EgxIBEgGGDQSNV4hmYJgKB4FHcnUEhj2ObBuCR3aHCJAdhEGGN4sugQaSEQIEA?= =?us-ascii?q?gkCFAGBaU08cTMag2AINhEYDVeMUyCBcowdQjKBASYTCwGNAoIyAQE?= X-IronPort-AV: E=Sophos;i="5.69,411,1571695200"; d="scan'208,217";a="335206099" X-MGA-submission: =?us-ascii?q?MDEteVma+8UGy1IMqqk37q2Rt7zZ+yPnpil3RF?= =?us-ascii?q?rimcNuN/Sij8jun9FWcuoibU6AzBZdlKH5wc8oGAO2xtxnYe9jVdNLRf?= =?us-ascii?q?8WZikWWv7SY/aJCWCEQz/WiJrU7gfgpdzGT8Tc1SvFUiaXCMSCdkPw2c?= =?us-ascii?q?KfMLO/ChnC6/RAXz+KP5jnOg=3D=3D?= Received: from secgw2.intern.tuwien.ac.at ([128.130.30.72]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Jan 2020 22:20:47 +0100 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 008LKkEg029114 for ; Wed, 8 Jan 2020 22:20:46 +0100 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 487 for ; Wed, 8 Jan 2020 22:20:46 +0100 (CET) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 008LKkgS029099 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Wed, 8 Jan 2020 22:20:46 +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 22:20:46 +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 22:20:45 +0100 From: Mihaela Rozman To: References: In-Reply-To: Date: Wed, 8 Jan 2020 22:20:42 +0100 Message-ID: <0c3001d5c669$7b9844a0$72c8cde0$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0C31_01D5C671.DD5D9700" X-Mailer: Microsoft Outlook 14.0 Thread-Index: AQGiYu9ktWU0SEJDlVL/JDZU2lN1A6hIDRQw Content-Language: de-at X-ClientProxiedBy: mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Validation-by: mihaela.rozman@tuwien.ac.at Subject: [Caml-list] 2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020 ------=_NextPart_000_0C31_01D5C671.DD5D9700 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable * *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 ------=_NextPart_000_0C31_01D5C671.DD5D9700 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

* *QONFEST 2020*= *

August 31-September 5, 2020, Vienna,= Austria

(http://qonfest2020.conf.tuwien= .ac.at/)

 

QONFEST is the umbrella conference comprising the joint intern= ational 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 Ana= lysis 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 build= ing at Karlsplatz 13, 1040 Wien, and the workshops in the computer science = building at Favoritenstr. 9–11, 1040 Wien.

 

CALL FOR AFFILIATED WORK= SHOPS

 

Researchers and practitioners are invited to submit proposals for w= orkshops to be affiliated to QONFEST 2020. Example topics include: concurre= ncy theory and its applications, timed systems, semantics, logics, verifica= tion techniques, cross-fertilization between industry and academia and oppo= rtunities for young and prospective researchers. Past QONFEST conferences h= ave been accompanied by successful workshops on a variety of topics. You ca= n have an idea of the past workshops by browsing the pages of the previous = editions of CONCUR, QEST, FORMATS and FMICS.

 

The purpose of the workshops= is to provide participants with a friendly, interactive atmosphere for pre= senting novel ideas and discussing their application.

 

The workshops take = place on Monday August 31, 2020 and Saturday September 5, 2020.<= /p>

 

Proposals= should include:

 

  * 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)<= /p>

  * If applicable, a description of past versi= ons of the workshop, including dates, organizers, submission and acceptance= counts, and attendance

  * The exp= ected number of participants

  * Th= e name and a link to the website(s) of the organizer(s)

  * The publication plan (only invited speakers, no pu= blished proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).=

 

The QONFEST organization offers:

 

* a link from the QONFEST web site;

* setup of meeting space, and related equ= ipment,

* coffee-breaks and lunch for th= e 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

 

The main r= esponsibility for organizing the workshop goes to the workshop organizer(s)= , including:

 

* workshop publicity (possibly including call for papers, su= bmission and review process)

* schedulin= g of workshop activities in collaboration with the QONFEST workshop chair.<= o:p>

 

IMPORTANT DATES

 

<= p class=3DMsoNormal>Submission of workshop proposals: January 15, 2020 (but= we greatly appreciate if you announce your proposal to us as soon as possi= ble).

Notification: January 31, 2020

 

S= UBMISSION TO: Florian Zuleger (zuleger at forsyte dot at)

 

For more inform= ation, please contact me via email.

 

The QONFEST 2020 workshop chair,=

Florian Zuleger

https://forsyte.at/people/zuleger/

Technische Universit=E4t Wien

Vienna, = Austria

= ------=_NextPart_000_0C31_01D5C671.DD5D9700--