caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] ETAPS 2019 call for participation
@ 2019-02-18 23:43 Tarmo Uustalu
  0 siblings, 0 replies; 1+ messages in thread
From: Tarmo Uustalu @ 2019-02-18 23:43 UTC (permalink / raw)
  To: sml-list, caml-list, coq-club, clean-list, users


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

                     CALL FOR PARTICIPATION

22nd European Joint Conferences on Theory And Practice of Software
                           ETAPS 2019
			   
            Prague, Czech Republic,  6-11 April 2019

                    http://www.etaps.org/2019
           https://conf.researchr.org/home/etaps-2019

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

-- 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 2019 is the
twenty-second event in the series.


-- MAIN CONFERENCES (8-11 April) --

   * ESOP: European Symposium on Programming
       (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal)
   * FASE: Fundamental Approaches to Software Engineering
       (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany,
       and Wil van der Aalst, RWTH Aachen University, Germany)
   * FoSSaCS: Foundations of Software Science
       and Computation Structures
       (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland,
       and Alex Simpson, University of Ljubljana, Slovenia)
   * POST: Principles of Security and Trust
       (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark,
       and David Sands, Chalmers Tekniska Högskola, Sweden)
   * TACAS: Tools and Algorithms for
       the Construction and Analysis of Systems
       (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep,
       and Lijun Zhang, Chinese Academy of Sciences, China)
        
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP)
and TOOLympics, an event to celebrate the achievements of the various
competitions or comparative evaluations.


-- INVITED TALKS AND TUTORIALS --

   * Unifying speakers:
     Marscha Chechik (University of Toronto, Canada)
     Kathleen Fisher (Tufts University, USA)

   * FoSSaCS invited speaker:
     Thomas Colcombet (IRIF, France)
     
   * TACAS invited speaker:
     Cormac Flanagan (University of California at Santa Cruz, USA)

   * Tutorial speakers:
     Dirk Beyer (LMU München, Germany)
     Cesare Tinelli (University of Iowa, USA)


-- CONTRIBUTED PAPERS --

See the accepted paper lists at webpages of the individual
conferences.

For the 2nd year, the proceedings of the ETAPS main conferences in
LNCS/ARCoSS will appear in Gold Open Access.


-- PROGRAM --

See the full program here:

https://conf.researchr.org/program/etaps-2019/program-etaps-2019


-- SATELLITE EVENTS (6-7 April) --

18 satellite workshops and other events will take place before
ETAPS 2019.

  DICE-FOPARA, GaLoP, HSB, QAPL, SynCoP, VerifyThis,
  TOOLympics (6-7 April)

  BEHAPI, InterAVT, LiVe, MeTRiD, PERR (6 April)

  CREST, HCVS, PLACES, SPIoT, SYNTCOMP Camp,
  Mentoring Workshop (7 April)


-- REGISTRATION --

Early registration is until Sunday, 11 March 2019, 

https://regmaster4.com/2019conf/ETAPS19/register.php


-- HOST CITY AND VENUE --

ETAPS 2019 will take place in the centre of Prague, the beautiful
capital of the Czech Republic.

The main conferences will be held at Orea Hotel Pyramida, while the
workshops will take place at the School of Computer Science, Faculty of
Mathematics and Physics, Charles University. Both are close to the
Prague Castle.

For the special deal for accommodation at the conference hotel, see
the conference website.


-- HOST INSTITUTION --

ETAPS 2019 is hosted by the School of Computer Science of the Charles
University.


-- ORGANIZERS

Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan
Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem
Pelenitsyn, David Safranek


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
jan.kofron@d3s.mff.cuni.cz and j.vitek@neu.edu.


^ 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-02-18 23:43 [Caml-list] ETAPS 2019 call for participation Tarmo Uustalu

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