2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020
Mihaela Rozman <[email protected]> Thu, 9 Jan 2020 11:34:22 +0100
| Newsgroups | gmane.linux.debian.devel.embedded |
|---|---|
| Message-ID | <[email protected]> |
------=_NextPart_000_1759_01D5C6E0.BD3C3070
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_1759_01D5C6E0.BD3C3070
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Diso-8859-1">
<html xmlns:v=3D"urn:schemas-microsoft-com:vml" =
xmlns:o=3D"urn:schemas-microsoft-com:office:office" =
xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" =
xmlns=3D"http://www.w3.org/TR/REC-html40"><head><meta name=3DGenerator =
content=3D"Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.EmailStyle18
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle20
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle21
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle22
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle23
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext=3D"edit">
<o:idmap v:ext=3D"edit" data=3D"1" />
</o:shapelayout></xml><![endif]--></head><body lang=3DEN-US link=3Dblue =
vlink=3Dpurple><div class=3DWordSection1><p class=3DMsoNormal>* *QONFEST =
2020* * <o:p></o:p></p><p class=3DMsoNormal>August 31-September 5, 2020, =
Vienna, Austria<o:p></o:p></p><p =
class=3DMsoNormal>(http://qonfest2020.conf.tuwien.ac.at/)<o:p></o:p></p><=
p class=3DMsoNormal><o:p> </o:p></p><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.<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>CALL FOR =
AFFILIATED WORKSHOPS<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>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.<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p =
class=3DMsoNormal>The purpose of the workshops is to provide =
participants with a friendly, interactive atmosphere for presenting =
novel ideas and discussing their application.<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>The =
workshops take place on Monday August 31, 2020 and Saturday September 5, =
2020.<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p =
class=3DMsoNormal>Proposals should include:<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal> * The =
name and the preferred date of the proposed workshop (August 31 or =
September 5, 2020)<o:p></o:p></p><p class=3DMsoNormal> * A short =
description of the workshop (500 words max)<o:p></o:p></p><p =
class=3DMsoNormal> * If applicable, a description of past versions =
of the workshop, including dates, organizers, submission and acceptance =
counts, and attendance<o:p></o:p></p><p class=3DMsoNormal> * The =
expected number of participants<o:p></o:p></p><p =
class=3DMsoNormal> * The name and a link to the website(s) of the =
organizer(s)<o:p></o:p></p><p class=3DMsoNormal> * The publication =
plan (only invited speakers, no published proceedings, =
pre-/post-proceedings published with EPTCS/ENTCS/...).<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>The QONFEST =
organization offers:<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* a link =
from the QONFEST web site;<o:p></o:p></p><p class=3DMsoNormal>* setup of =
meeting space, and related equipment,<o:p></o:p></p><p =
class=3DMsoNormal>* coffee-breaks and lunch for the participants on the =
day of the workshop,<o:p></o:p></p><p class=3DMsoNormal>* on-line and =
on-site registration to the workshop,<o:p></o:p></p><p =
class=3DMsoNormal>* free workshop registration for an organizer and in =
case of more than 15 participants a second free workshop =
registration<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p =
class=3DMsoNormal>The main responsibility for organizing the workshop =
goes to the workshop organizer(s), including:<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* workshop =
publicity (possibly including call for papers, submission and review =
process)<o:p></o:p></p><p class=3DMsoNormal>* scheduling of workshop =
activities in collaboration with the QONFEST workshop =
chair.<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p =
class=3DMsoNormal>IMPORTANT DATES<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>Submission =
of workshop proposals: January 15, 2020 (but we greatly appreciate if =
you announce your proposal to us as soon as possible).<o:p></o:p></p><p =
class=3DMsoNormal>Notification: January 31, 2020<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>SUBMISSION =
TO: Florian Zuleger (zuleger at forsyte dot at)<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>For more =
information, please contact me via email.<o:p></o:p></p><p =
class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>The QONFEST =
2020 workshop chair,<o:p></o:p></p><p class=3DMsoNormal>Florian =
Zuleger<o:p></o:p></p><p =
class=3DMsoNormal>https://forsyte.at/people/zuleger/<o:p></o:p></p><p =
class=3DMsoNormal>Technische Universit=E4t Wien<o:p></o:p></p><p =
class=3DMsoNormal>Vienna, Austria<o:p></o:p></p></div></body></html>
------=_NextPart_000_1759_01D5C6E0.BD3C3070--