caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] ETAPS 2020: Call for Satellite Events
@ 2019-05-19  3:39 Hoefner, Peter (Data61, Kensington NSW)
  0 siblings, 0 replies; 1+ messages in thread
From: Hoefner, Peter (Data61, Kensington NSW) @ 2019-05-19  3:39 UTC (permalink / raw)
  To: Hoefner, Peter (Data61, Kensington NSW)


*******************************************************************
23rd European Joint Conferences on Theory and Practice of Software (ETAPS 2020)
     http://www.etaps.org/
*******************************************************************
        Call for Satellite Events
*******************************************************************

Dublin, Ireland, April 25- May 1st 2020


-- IMPORTANT DATES —

Satellite event proposals deadline: June 15, 2019
Notification of acceptance: June 27, 2019


-- 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-third edition, ETAPS 2020, will take place in Dublin, Ireland.

ETAPS 2020 main conferences, scheduled for April 27th- May 1st, 2020, are:
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* TACAS: Tools and Algorithms for the Construction and Analysis of Systems


-- SATELLITE EVENTS --

The ETAPS 2020 organising 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.

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

ETAPS 2020 satellite events will be held immediately before the main conferences, on April 25-26, 2020.


-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organisers of an ETAPS 2020 satellite are expected to:
- create and maintain a website for the event, as a part of the main ETAPS web page http://www.etaps.org/2019/workshops
- 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 2020 organising committee,
- prepare and organise the publication of a formal (post)proceedings (if desired).

The ETAPS 2020 organising committee will:
- promote the event on the website and in the publicity material of ETAPS 2020,
- 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 2020 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 organisers of satellite events.


-- SUBMISSION OF SATELLITE EVENT PROPOSALS --

Researchers and practitioners wishing to organise satellite events are invited to submit proposals via the following online form:
   http://eptcs.web.cse.unsw.edu.au/ETAPS/

The following information is requested:
- the name and acronym of the satellite event
- the names and contact information of the organisers
- the duration of the event: one or two days
- the preferred period within April 25-26
- the expected number of participants
- a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2020
- 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 applicable, 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 2020 organising committee will need the final files end of March 2020)
- the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS, EASST or elsewhere)

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

ETAPS 2019: http://www.etaps.org/2019/workshops
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

-- HOST CITY —

Dublin (Irish: Baile Átha Cliath) is the capital and largest city of the Republic of Ireland. It is situated on the East coast of Ireland, at the mouth of the River Liffey, at the centre of the Greater Dublin area with 1,9 Mio inhabitants. Dublin is a historical and contemporary centre for education, the arts, administration and industry. As of 2018 the city was listed by the Globalization and World Cities Research Network (GaWC) as a global city, with a ranking of "Alpha −", which places it amongst the top thirty cities in the world. Dublin was established by the Gaels in or before the 7th century AD, expanded as a Viking settlement and it became Ireland's principal settlement following the Norman invasion. The city expanded rapidly and was the second largest city in the British Empire before the Acts of Union in 1800. The city was at the forefront of Ireland's economic expansion during the Celtic Tiger period and since 2017 has again close to full employment. Culture and tourism revolve around the 'Medieval Quarter' (Dublin Castle, Christ Church and St Patrick's Cathedral and the old city walls), the 'Georgian Quarter' (St Stephen's Green, Trinity College, and Merrion Square), the 'Docklands Quarter' ( Dublin Docklands and Silicon Docks), the 'Cultural Quarter' (around Temple Bar), and 'Creative Quarter' (between South William Street and George's Street). Companies such as Microsoft, Google, Amazon, eBay, PayPal, Yahoo!, Facebook, Twitter, Accenture and Pfizer now have European headquarters and/or operational bases in the city, with several located in enterprise clusters like the Digital Hub and Silicon Docks. The presence of these companies has driven economic expansion in the city and led to Dublin sometimes being referred to as the "Tech Capital of Europe”.

ETAPS 2020 is organised by the University of Limerick in cooperation with Lero, the Irish Software Research Centre spanning 9 Universities and ITs in the Republic of Ireland.

-- FURTHER INFORMATION AND ENQUIRIES --

Please contact the workshop co-chairs:

Falk Howar (Dortmund University, Germany) 
     Falk.Howar@tu-dortmund.de 
Peter Höfner (Data61, CSIRO and UNSW, Australia)
   Peter.Hoefner@data61.csiro.au

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-19  3:39 [Caml-list] ETAPS 2020: Call for Satellite Events Hoefner, Peter (Data61, Kensington NSW)

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox