From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 73CAB1E5 for ; Thu, 9 Jan 2020 10:50:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,413,1571695200"; d="scan'208,217";a="430597535" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jan 2020 11:50:51 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id C973E7F3CE; Thu, 9 Jan 2020 11:50:50 +0100 (CET) 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 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 Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 17938 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ------=_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/)

<= p class=3DMsoNormal> 

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–11, 1040 Wien.

 

CALL FOR = AFFILIATED WORKSHOPS

 

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.

 

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

 

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

 

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)

  * 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/...).

 

The QONFEST = organization offers:

 

* 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

 

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

 

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

* scheduling of workshop = activities in collaboration with the QONFEST workshop = chair.

 

IMPORTANT DATES

 

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

 

SUBMISSION = TO: Florian Zuleger (zuleger at forsyte dot at)

 

For more = information, 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--