[Haskell] ETAPS 2016 call for participation

Tarmo Uustalu tarmo at cs.ioc.ee
Thu Feb 11 16:32:39 UTC 2016


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

                     CALL FOR PARTICIPATION

                           ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

           Eindhoven, The Netherlands, 2-8 April 2016

                   http://www.etaps.org/2016

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

-- 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. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is already
the nineteenth event in the series.


-- MAIN CONFERENCES (4-7 April) --

* 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


-- INVITED TALKS --

Unifying speakers:

  Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK)
  Rupak Majumdar (MPI Kaiserslautern, Germany)

ESOP invited speaker:

  Cristina Lopes (University of California at Irvine, USA)

FASE invited speaker:

  Oscar Nierrstrasz (Universität Bern, Switzerland)

POST invited speaker:

  Vitaly Shmatikov (Cornell Tech, USA)


-- TUTORIALS 

Peter Ryan (University of Luxembourg, Luxembourg)

Grigore Rosu (University of Illinois at Urbana-Champaign, USA)


-- CONTRIBUTED PAPERS --

See the accepted paper lists and the programme of the main conferences
at the conference website.

http://www.etaps.org/2016/programme


-- SATELLITE EVENTS (2-3 and 8 April) --

22 satellite workshops will take place before or after ETAPS 2016.

  CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April)

  RAC, VerifyThis, VPT, VSSE (2 April)
  FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April)

  BX, CREST, MSFP, PLACES, TermGraph (8 April)


-- REGISTRATION --

Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1).

Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).

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


-- ACCOMMODATION --

We request that participants arrange their accommodation on their own.
See our recommendations on the conference website.


-- HOST CITY --

Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.


-- ORGANIZERS --

General chair: Jan Friso Groote

Workshop chairs: Erik de Vink and Julien Schmaltz

Publicity chair: Anton Wijs


--- HOST INSTITUTION --

ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
j.f.groote at tue.nl, a.j.wijs at tue.nl.


More information about the Haskell mailing list