<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<tt>22st European Joint Conferences on Theory and Practice of
Software </tt><tt><br>
</tt><tt> ETAPS 2019 </tt><tt><br>
</tt><tt> Prague, Czech Republic, April 6-12, 2019 </tt><tt><br>
</tt><tt> <a class="moz-txt-link-freetext"
href="https://conf.researchr.org/home/etaps-2019">https://conf.researchr.org/home/etaps-2019</a>
</tt><tt><br>
</tt><tt> Second Call for Satellite Events </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>*******************************************************************
</tt><tt><br>
</tt><tt>* Application deadline
extension * </tt><tt><br>
</tt><tt>*******************************************************************
</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>Satellite event proposals deadline: May 4, 2018 </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>Notification of acceptance: May 11, 2018 </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>-- ABOUT ETAPS -- </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>The European Joint Conferences on Theory and Practice of
Software </tt><tt><br>
</tt><tt>(ETAPS) is the primary European forum for academic and
industrial </tt><tt><br>
</tt><tt>researchers working on topics relating to Software Science.
It is an </tt><tt><br>
</tt><tt>annual event held in Europe each spring since 1998. Its
twenty-second </tt><tt><br>
</tt><tt>edition, ETAPS 2019, will take place April 6-12, 2019 in
Prague, </tt><tt><br>
</tt><tt>Czech Republic. </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>ETAPS 2019 main conferences, scheduled for April 8-12, are:
</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>* ESOP: European Symposium on Programming </tt><tt><br>
</tt><tt>* FASE: Fundamental Approaches to Software Engineering </tt><tt><br>
</tt><tt>* FOSSACS: Foundations of Software Science and Computation
Structures </tt><tt><br>
</tt><tt>* POST: Principles of Security and Trust </tt><tt><br>
</tt><tt>* TACAS: Tools and Algorithms for the Construction and
Analysis of Systems </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>-- SATELLITE EVENTS -- </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>The ETAPS 2019 organizing committee invites proposals for
satellite </tt><tt><br>
</tt><tt>events (workshops) that will complement the main
conferences. They </tt><tt><br>
</tt><tt>should fall within the scope of ETAPS. This encompasses all
aspects of </tt><tt><br>
</tt><tt>the system development process, including specification,
design, </tt><tt><br>
</tt><tt>implementation, analysis and improvement, as well as the
languages, </tt><tt><br>
</tt><tt>methodologies and tools which support these activities,
covering a </tt><tt><br>
</tt><tt>spectrum from practically-motivated theory to soundly-based
</tt><tt><br>
</tt><tt>practice. The committee especially encourages workshops on
program </tt><tt><br>
</tt><tt>synthesis and on the development of approximate systems. </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>Satellite events provide an opportunity to discuss and </tt><tt><br>
</tt><tt>report on emerging research approaches and practical
experience </tt><tt><br>
</tt><tt>relevant to theory and practice of software. </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>ETAPS 2019 satellite events will be held immediately before
</tt><tt><br>
</tt><tt>the main conferences, on April 6-7. </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>-- ARRANGEMENTS FOR SATELLITE EVENTS -- </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>The organizers of an ETAPS 2019 satellite are expected to:
</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>* create and maintain a website for the event, as a part of
the main </tt><tt><br>
</tt><tt> ETAPS web page <a class="moz-txt-link-freetext"
href="https://conf.researchr.org/home/etaps-2019">https://conf.researchr.org/home/etaps-2019</a>
</tt><tt><br>
</tt><tt>* form a PC, produce a call for papers for the event (if
appropriate), </tt><tt><br>
</tt><tt>* advertise the event through specialist mailing lists etc.
to </tt><tt><br>
</tt><tt> complement the publicity of ETAPS, </tt><tt><br>
</tt><tt>* review the submissions received and make acceptance
decisions, </tt><tt><br>
</tt><tt>* prepare an informal (pre)proceedings for the event (if
appropriate), </tt><tt><br>
</tt><tt>* prepare the event's program complying with any scheduling
</tt><tt><br>
</tt><tt> constraints defined by the ETAPS 2019 organizing
committee, </tt><tt><br>
</tt><tt>* prepare and organize the publication of a formal
(post)proceedings </tt><tt><br>
</tt><tt> (if desired). </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>The ETAPS 2019 organizing committee will: </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>* promote the event on the website and in the publicity
material of </tt><tt><br>
</tt><tt> ETAPS 2019, </tt><tt><br>
</tt><tt>* integrate the event's program into the overall program of
the </tt><tt><br>
</tt><tt> conference, </tt><tt><br>
</tt><tt>* arrange registration for the event as a component of
registration </tt><tt><br>
</tt><tt> for ETAPS, </tt><tt><br>
</tt><tt>* collect a participation fee from the registrants, </tt><tt><br>
</tt><tt>* produce a compilation USB memory stick of the informal </tt><tt><br>
</tt><tt> (pre)proceedings of the satellite events of ETAPS 2019
and </tt><tt><br>
</tt><tt> distribute this to the registrants, </tt><tt><br>
</tt><tt>* provide the event with a meeting room of an appropriate
size, A/V </tt><tt><br>
</tt><tt> equipment, coffee breaks and possibly lunch(es). </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>As a rule, ETAPS will not contribute toward the travel or
accommodation </tt><tt><br>
</tt><tt>costs of invited speakers or organizers of satellite
events. </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>-- SUBMISSION OF SATELLITE EVENT PROPOSALS -- </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>Researchers and practitioners wishing to organize satellite
events are </tt><tt><br>
</tt><tt>invited to submit proposals via the following online form </tt><tt><br>
</tt><tt>(the preferred option): </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt><a class="moz-txt-link-freetext"
href="http://eptcs.web.cse.unsw.edu.au/ETAPS/">http://eptcs.web.cse.unsw.edu.au/ETAPS/</a>
</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>or via an email to the workshop co-chairs: </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>Milan Ceska (Brno University of Technology, Czech Republic)
<a class="moz-txt-link-abbreviated"
href="mailto:ceskam@fit.vutbr.cz">ceskam@fit.vutbr.cz</a> </tt><tt><br>
</tt><tt>Ryan Culpepper (Czech Technical University in Prague) <a
class="moz-txt-link-abbreviated" href="mailto:ryanc@ccs.neu.edu">ryanc@ccs.neu.edu</a>
</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>The following information is requested: </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>* the name and acronym of the satellite event </tt><tt><br>
</tt><tt>* the names and contact information of the organizers </tt><tt><br>
</tt><tt>* the duration of the event: one or two days </tt><tt><br>
</tt><tt>* the preferred period: April 6, April 7, April 6 - 7 </tt><tt><br>
</tt><tt>* the expected number of participants </tt><tt><br>
</tt><tt>* a brief description (120 words approximately) of the
event topic for </tt><tt><br>
</tt><tt> the website and publicity material of ETAPS 2019 </tt><tt><br>
</tt><tt>* a brief explanation of the event topic and its relevance
to ETAPS </tt><tt><br>
</tt><tt>* an explanation of the selection procedure of
contributions to the </tt><tt><br>
</tt><tt> event, the PC chair and members, if known already,
information about </tt><tt><br>
</tt><tt> past editions of the event, if applicable </tt><tt><br>
</tt><tt>* any other relevant information, like a special event
format, invited </tt><tt><br>
</tt><tt> speakers, demo sessions, special space requirements, etc.
</tt><tt><br>
</tt><tt>* a tentative schedule for paper submission, notification
of </tt><tt><br>
</tt><tt> acceptance and final versions for the (informal
pre-)proceedings </tt><tt><br>
</tt><tt> (the ETAPS 2019 organizing committee will need the final
files by </tt><tt><br>
</tt><tt> the end of Feb. 2019) </tt><tt><br>
</tt><tt>* the plans for formal publication (no formal publication,
formal </tt><tt><br>
</tt><tt> proceedings ready by the event, formal post-proceedings,
publication </tt><tt><br>
</tt><tt> venue - EPTCS or elsewhere) </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>The proposals will be evaluated by the ETAPS 2019
organizing committee </tt><tt><br>
</tt><tt>on the basis of their assessed benefit for prospective
participants of </tt><tt><br>
</tt><tt>ETAPS 2019. Prospective organizers may wish to consult the
web pages </tt><tt><br>
</tt><tt>of previous satellite events as examples: </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>ETAPS 2018: <a class="moz-txt-link-freetext"
href="http://www.etaps.org/2018/workshops">http://www.etaps.org/2018/workshops</a>
</tt><tt><br>
</tt><tt>ETAPS 2017: <a class="moz-txt-link-freetext"
href="http://www.etaps.org/2017/workshops">http://www.etaps.org/2017/workshops</a>
</tt><tt><br>
</tt><tt>ETAPS 2016: <a class="moz-txt-link-freetext"
href="http://www.etaps.org/2016/workshops">http://www.etaps.org/2016/workshops</a>
</tt><tt><br>
</tt><tt>ETAPS 2015: <a class="moz-txt-link-freetext"
href="http://www.etaps.org/2015/workshops">http://www.etaps.org/2015/workshops</a>
</tt><tt><br>
</tt><tt>ETAPS 2014: <a class="moz-txt-link-freetext"
href="http://www.etaps.org/2014/workshops">http://www.etaps.org/2014/workshops</a>
</tt><tt><br>
</tt><tt>ETAPS 2013: <a class="moz-txt-link-freetext"
href="http://www.etaps.org/2013/workshops">http://www.etaps.org/2013/workshops</a>
</tt><tt><br>
</tt><tt>ETAPS 2012: <a class="moz-txt-link-freetext"
href="http://www.etaps.org/2012/workshops">http://www.etaps.org/2012/workshops</a>
</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>-- IMPORTANT DATES -- </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>Satellite event proposals deadline: May 4, 2018 </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>Notification of acceptance: May 11, 2018 </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>-- HOST CITY -- </tt><tt><br>
</tt><tt>Prague is the capital and largest city in the Czech
Republic, the </tt><tt><br>
</tt><tt>historical capital of Bohemia. Situated in the north-west
of the </tt><tt><br>
</tt><tt>country on the Vltava river, the city is home to about 1.3
million </tt><tt><br>
</tt><tt>people. Prague has been a political, cultural and economic
centre </tt><tt><br>
</tt><tt>of central Europe complete with a rich history. Founded
during the </tt><tt><br>
</tt><tt>Romanesque and flourishing by the Gothic, Renaissance and
Baroque </tt><tt><br>
</tt><tt>eras, Prague was the capital of the kingdom of Bohemia and
the main </tt><tt><br>
</tt><tt>residence of several Holy Roman Emperors, most notably of
Charles IV. </tt><tt><br>
</tt><tt>It was an important city to the Habsburg Monarchy and its </tt><tt><br>
</tt><tt>Austro-Hungarian Empire. Prague is home to a number of
famous cultural </tt><tt><br>
</tt><tt>attractions, many of which survived the violence and
destruction of </tt><tt><br>
</tt><tt>20th-century Europe. Main attractions include the Prague
Castle, </tt><tt><br>
</tt><tt>the Charles Bridge, Old Town Square with the Prague
astronomical </tt><tt><br>
</tt><tt>clock, the Jewish Quarter, Petrin hill and Vysehrad. Since
1992, the </tt><tt><br>
</tt><tt>extensive historic centre of Prague has been included in
the UNESCO </tt><tt><br>
</tt><tt>list of World Heritage Sites. </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>ETAPS 2019 is organized by the Charles University, the
largest </tt><tt><br>
</tt><tt>university in the Czech Republic and the oldest university
of central </tt><tt><br>
</tt><tt>Europe founded in 1348 by Charles IV. </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>-- FURTHER INFORMATION AND ENQUIRIES -- </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>Please contact the workshop co-chairs: </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>* Milan Ceska (Brno University of Technology, Czech
Republic) </tt><tt><br>
</tt><tt><a class="moz-txt-link-abbreviated"
href="mailto:ceskam@fit.vutbr.cz">ceskam@fit.vutbr.cz</a> </tt><tt><br>
</tt><tt>* Ryan Culpepper (Czech Technical University in Prague) </tt><tt><br>
</tt><tt><a class="moz-txt-link-abbreviated"
href="mailto:ryanc@ccs.neu.edu">ryanc@ccs.neu.edu</a> </tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt><br>
</tt>
</body>
</html>