posted by user: buhnova || 5523 views || tracked by 7 users: [display]

Satellite Events of ETAPS 2019 : The European Joint Conferences on Theory and Practice of Software (ETAPS) - Call for Satellite Events

FacebookTwitterLinkedInGoogle

Link: https://conf.researchr.org/track/etaps-2019/etaps-2019-Workshops
 
When Apr 6, 2019 - Apr 12, 2019
Where Prague, Czech republic
Submission Deadline May 4, 2018
Notification Due May 11, 2018
Categories    formal methods   computer science   software
 

Call For Papers

22st European Joint Conferences on Theory and Practice of Software
ETAPS 2019
Prague, Czech Republic, April 6-12, 2019
https://conf.researchr.org/home/etaps-2019
Call for Satellite Events


*******************************************************************
Application deadline extension
*******************************************************************

Satellite event proposals deadline: May 4, 2018

Notification of acceptance: May 11, 2018



-- ABOUT ETAPS --

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. It is an
annual event held in Europe each spring since 1998. Its twenty-second
edition, ETAPS 2019, will take place April 6-12, 2019 in Prague,
Czech Republic.

ETAPS 2019 main conferences, scheduled for April 8-12, are:

* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of Systems

-- SATELLITE EVENTS --

The ETAPS 2019 organizing committee invites proposals for satellite
events (workshops) that will complement the main conferences. They
should fall within the scope of ETAPS. This encompasses all aspects of
the system development process, including specification, design,
implementation, analysis and improvement, as well as the languages,
methodologies and tools which support these activities, covering a
spectrum from practically-motivated theory to soundly-based
practice. The committee especially encourages workshops on program
synthesis and on the development of approximate systems.

Satellite events provide an opportunity to discuss and
report on emerging research approaches and practical experience
relevant to theory and practice of software.

ETAPS 2019 satellite events will be held immediately before
the main conferences, on April 6-7.

-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2019 satellite are expected to:

* create and maintain a website for the event, as a part of the main
ETAPS web page https://conf.researchr.org/home/etaps-2019
* form a PC, produce a call for papers for the event (if appropriate),
* advertise the event through specialist mailing lists etc. to
complement the publicity of ETAPS,
* review the submissions received and make acceptance decisions,
* prepare an informal (pre)proceedings for the event (if appropriate),
* prepare the event's program complying with any scheduling
constraints defined by the ETAPS 2019 organizing committee,
* prepare and organize the publication of a formal (post)proceedings
(if desired).

The ETAPS 2019 organizing committee will:

* promote the event on the website and in the publicity material of
ETAPS 2019,
* integrate the event's program into the overall program of the
conference,
* arrange registration for the event as a component of registration
for ETAPS,
* collect a participation fee from the registrants,
* produce a compilation USB memory stick of the informal
(pre)proceedings of the satellite events of ETAPS 2019 and
distribute this to the registrants,
* provide the event with a meeting room of an appropriate size, A/V
equipment, coffee breaks and possibly lunch(es).

As a rule, ETAPS will not contribute toward the travel or accommodation
costs of invited speakers or organizers of satellite events.

-- SUBMISSION OF SATELLITE EVENT PROPOSALS --

Researchers and practitioners wishing to organize satellite events are
invited to submit proposals via the following online form
(the preferred option):

http://eptcs.web.cse.unsw.edu.au/ETAPS/

or via an email to the workshop co-chairs:

Milan Ceska (Brno University of Technology, Czech Republic) ceskam@fit.vutbr.cz
Ryan Culpepper (Czech Technical University in Prague) ryanc@ccs.neu.edu


The following information is requested:

* the name and acronym of the satellite event
* the names and contact information of the organizers
* the duration of the event: one or two days
* the preferred period: April 6, April 7, April 6 - 7
* the expected number of participants
* a brief description (120 words approximately) of the event topic for
the website and publicity material of ETAPS 2019
* a brief explanation of the event topic and its relevance to ETAPS
* an explanation of the selection procedure of contributions to the
event, the PC chair and members, if known already, information about
past editions of the event, if applicable
* any other relevant information, like a special event format, invited
speakers, demo sessions, special space requirements, etc.
* a tentative schedule for paper submission, notification of
acceptance and final versions for the (informal pre-)proceedings
(the ETAPS 2019 organizing committee will need the final files by
the end of Feb. 2019)
* the plans for formal publication (no formal publication, formal
proceedings ready by the event, formal post-proceedings, publication
venue - EPTCS or elsewhere)

The proposals will be evaluated by the ETAPS 2019 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2019. Prospective organizers may wish to consult the web pages
of previous satellite events as examples:

ETAPS 2018: http://www.etaps.org/2018/workshops
ETAPS 2017: http://www.etaps.org/2017/workshops
ETAPS 2016: http://www.etaps.org/2016/workshops
ETAPS 2015: http://www.etaps.org/2015/workshops
ETAPS 2014: http://www.etaps.org/2014/workshops
ETAPS 2013: http://www.etaps.org/2013/workshops
ETAPS 2012: http://www.etaps.org/2012/workshops

-- IMPORTANT DATES --

Satellite event proposals deadline: May 4, 2018

Notification of acceptance: May 11, 2018

-- HOST CITY --
Prague is the capital and largest city in the Czech Republic, the
historical capital of Bohemia. Situated in the north-west of the
country on the Vltava river, the city is home to about 1.3 million
people. Prague has been a political, cultural and economic centre
of central Europe complete with a rich history. Founded during the
Romanesque and flourishing by the Gothic, Renaissance and Baroque
eras, Prague was the capital of the kingdom of Bohemia and the main
residence of several Holy Roman Emperors, most notably of Charles IV.
It was an important city to the Habsburg Monarchy and its
Austro-Hungarian Empire. Prague is home to a number of famous cultural
attractions, many of which survived the violence and destruction of
20th-century Europe. Main attractions include the Prague Castle,
the Charles Bridge, Old Town Square with the Prague astronomical
clock, the Jewish Quarter, Petrin hill and Vysehrad. Since 1992, the
extensive historic centre of Prague has been included in the UNESCO
list of World Heritage Sites.

ETAPS 2019 is organized by the Charles University, the largest
university in the Czech Republic and the oldest university of central
Europe founded in 1348 by Charles IV.

-- FURTHER INFORMATION AND ENQUIRIES --

Please contact the workshop co-chairs:

* Milan Ceska (Brno University of Technology, Czech Republic)
ceskam@fit.vutbr.cz
* Ryan Culpepper (Czech Technical University in Prague)
ryanc@ccs.neu.edu

Related Resources

QEST+FORMATS 2024   Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ECAI 2024   27th European Conference on Artificial Intelligence
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ECCV 2024   European Conference on Computer Vision
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
LREC-COLING 2024   The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
ECML-PKDD 2024   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
ECNLPIR 2024   2024 European Conference on Natural Language Processing and Information Retrieval (ECNLPIR 2024)