[Haskell] ETAPS 2017 call for participation

[Tarmo Uustalu]

******************************************************************

                     CALL FOR PARTICIPATION

                           ETAPS 2017

20th European Joint Conferences on Theory And Practice of Software
                         ETAPS 2017

               Uppsala, Sweden, 22-29 April 2017

                   http://www.etaps.org/2017

******************************************************************

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.


-- MAIN CONFERENCES (24-28 April) --

   * ESOP: European Symposium on Programming
       (PC chair Hongseok Yang, University of Oxford, UK)
   * FASE: Fundamental Approaches to Software Engineering
       (PC chairs Marieke Huisman, Universiteit Twente, The
     Netherlands, and Julia Rubin, University of British Columbia,
     Canada)
   * FoSSaCS: Foundations of Software Science
       and Computation Structures
       (PC chairs Javier Esparza, Technische Universität München,
     Germany, Andrzej Murawski, University of Warwick, UK)
   * POST: Principles of Security and Trust
       (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, 
        Mark D. Ryan, University of Birmingham, UK)
   * TACAS: Tools and Algorithms for
       the Construction and Analysis of Systems
       (PC chairs Axel Legay, INRIA Rennes, France, 
        and Tiziana Margaria, LERO, Ireland)
 
TACAS '17 hosts the 6th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
     Michael Ernst (University of Washington, USA)
     Kim G. Larsen (Aalborg University, DK)

   * FoSSaCS invited speaker:
     Joel Ouaknine (University of Oxford, UK)

   * TACAS invited speaker:
     Dino Distefano (Facebook and Queen Mary University of London, UK)


-- UNIFYING PUBLIC LECTURE

Serge Abiteboul (DI, INRIA Paris & ENS Cachan, France)


-- INVITED TUTORIALS 

Véronique Cortier (LORIA, CRNS, France)

Kenneth McMillan (Microsoft Research Redmond, USA)


-- CONTRIBUTED PAPERS --

See the accepted paper lists at the conference website.


-- SATELLITE EVENTS (22-23 April, 29 April) --

17 satellite workshops and other events will take place before or
after ETAPS 2017.  

Check their calls for papers and consider contributing!

  DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April)

  FESCA, SNR (22 April)
  HotSpot, MBT, QAPL, SannellaFest (23 April)

  BX, CREST, LiVe, MARS, PLACES, VPT (29 April)


-- REGISTRATION --

Early registration is until Sunday, 12 March 2017 (23:59 GMT+1).

http://www.etaps.org/2017/registration


-- ACCOMMODATION --

The organizers have negotiated special rates from several hotels in
Uppsala.

To benefit from those, follow the instructions on the conference
website. The offers expire on different dates.


-- HOST CITY --

Uppsala city holds a rich history, having for long periods been the
political, religious and academic centre of Sweden.  Uppsala
University is over 500 years old and ranked among the top 100 in the
World and has hosted many great scientists over the years, for
instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The
proximity to the capital of Sweden, Stockholm, provides additional
benefits as a potential site for arranging both pre- and post congress
tours, as well as for excursions or tourism.


-- HOST INSTITUTION --

ETAPS 2017 is hosted by the Department of Information Technology,
Uppsala University.


-- ORGANIZERS

Parosh Abdulla (General chair), Mohamed Faouzi Atig, 
Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas, 
Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu