[Haskell] ETAPS Test of Time Award 2022, 2nd call for nominations

The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. See https://etaps.org/about/test-of-time-award .

[Haskell] ETAPS Test of Time Award 2022, call for nominations

The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. See https://etaps.org/about/test-of-time-award .

[Haskell] ETAPS 2022 final call for papers

Paper submission deadline: 14 Oct 2021 23:59 AoE ** JOINT CALL FOR PAPERS 25th European Joint Conferences on Theory and Practice of Software ETAPS 2022 Munich,

[Haskell] ETAPS 2022 2nd joint call for papers

Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. - ETAPS has low participation fees for

[Haskell] ETAPS 2022 1st joint call for papers

Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - ESOP, FoSSaCS, TACAS are CORE 2021 rank A conferences. - The proceedings of ETAPS appear in gold open access, with no article processing charge for the

[Haskell] PPDP 2021 Call for Papers

== PPDP 2021 Call for Papers == 23rd International Symposium on Principles and Practice of Declarative Programming 6–8 September 2021, Tallinn, Estonia http://imft.ftn.uns.ac.rs/PPDP2021 Collocated with LOPSTR 2021

[Haskell] ETAPS 2021 call for participation

Registration is open. Early registration is until 15 March 2021. From 16 March, late registration rates apply. Author registration (ETAPS 2021 and ETAPS 2020) is until 15 March 2021. ** CALL FOR PARTICIPATION

[Haskell] ETAPS Test of Time Award 2021, call for nominations

ETAPS Test of Time Award The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. See

[Haskell] ETAPS 2021 final joint call for papers

** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg, Luxembourg, 27 March-1 April 2021

[Haskell] ETAPS 2021 2nd joint call for papers

** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg, Luxembourg, 27 March-1 April 2021

[Haskell] ETAPS 2021 1st joint call for papers

** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg, Luxembourg, 27 March-1 April 2021

[Haskell] ETAPS 2020 afternoon, online, 2 July 2020, call for participation

[There will be no physical ETAPS in Dublin this autumn. Instead, on 2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors of papers accepted to the main conferences of ETAPS 2020 will get an opportunity to present their work at ETAPS 2021 in Luxembourg.] The ETAPS EC and ETAPS

[Haskell] First ETAPS Doctoral Dissertation Award, final call for nominations

First ETAPS Doctoral Dissertation Award = The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main

[Haskell] ETAPS Test of Time Award 2020, call for nominations

The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. Nominations 2020 Nominations for the 2020 ETAPS

[Haskell] First ETAPS Doctoral Dissertation Award

First ETAPS Doctoral Dissertation Award = The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main

[Haskell] NWPT 2019 submission deadline extended

, Denmark Tarmo Uustalu, Reykjavík University, Iceland Jüri Vain, Tallinn University of Techn., Estonia Antti Valmari, University of Jyväskylä, Finland Marina Waldén, Åbo Akademi University, Finland Organizing Committee Jüri Vain (chair) Tarmo Uustalu Leonidas Tsiopoulos

[Haskell] ETAPS 2020 2nd joint call for papers

** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software ETAPS 2020 Dublin, Ireland, 25-30 April 2020

[Haskell] ETAPS 2020 1st joint call for papers

** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software ETAPS 2020 Dublin, Ireland, 25-30 April 2020

[Haskell] Postdoc position on quantified effects at Reykjavik University

funded by the Icelandic Research Fund under the direction of Tarmo Uustalu. The overarching goal of to advance the theory and practice of disciplined effectful programming, based on graded monads, monad-like structures and interaction laws. Interested applicants should contact the PI (email ta

[Haskell] ETAPS 2019 call for participation

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

[Haskell] Call for Applications: ETAPS Mentoring Workshop, 7 April 2019

Call for Applications: ETAPS Mentoring Workshop, 7 April 2019 *NEW* - ETAPS 2019 is running a mentoring workshop to encourage students to pursue graduate

[Haskell] ETAPS 2019 1st joint call for papers

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

[Haskell] ETAPS 2017 early registration deadline approaching

Early registration deadline 12 March 2017! ** CALL FOR PARTICIPATION 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29

[Haskell] ETAPS 2017 final call for papers

** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017

[Haskell] ETAPS 2017 2nd joint call for papers

** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017

[Haskell] ETAPS 2017 1st call for papers

** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017

[Haskell] ETAPS 2016 call for participation

** CALL FOR PARTICIPATION ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016

[Haskell] ETAPS 2017 call for satellite events

20th European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala, Sweden, 23-29 April 2017 http://www.etaps.org/2017/ Call for Satellite Events -- ABOUT ETAPS

[Haskell] ETAPS 2016 satellite workshops joint call for papers

Joint Call for Papers ETAPS 2016 Satellite Workshops Eindhoven, The Netherlands, 2-3 and 8 April 2016 http://www.etaps.org/2016/workshops ETAPS, the European Joint Conferences on Theory and Practice of Software, is the

[Haskell] ETAPS 2016 final call for papers

** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016

[Haskell] ETAPS 2016 2nd call for papers

** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016

[Haskell] ETAPS 2016 call for papers

** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016

[Haskell] TYPES 2015 final call for contributions

Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS

[Haskell] ETAPS 2016 call for satellite events

19th European Joint Conferences on Theory and Practice of Software ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 http://www.etaps.org/2016/ Call for Satellite Events -- ABOUT

[Haskell] TYPES 2015 2nd call for contributions

Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn

[Haskell] ETAPS 2015 call for participation

** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015

[Haskell] TYPES 2015 call for contributions

(IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn

[Haskell] ETAPS 2015 final call for papers

** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/2015

[Haskell] ETAPS 2015 2nd call for papers

** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/2015

[Haskell] ETAPS 2015 1st call for papers

** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/2015

[Haskell] ETAPS 2014 2nd call for participation

To notice: - Normal-rate registration is until Monday, 10 March 2014. ** CALL FOR PARTICIPATION ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software

[Haskell] ETAPS 2014 call for participation

To notice: - The programme of the main conferences of ETAPS 2014 is on the web. - Early registration is until Friday, 14 February 2014. ** CALL FOR PARTICIPATION ETAPS 2014 17th

[Haskell] ETAPS 2014 2nd call for papers

[We apologise for multiple copies.] A month to go! ** FIRST CALL FOR PAPERS: ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France

[Haskell] ICFP 2013 Call for Participation

Vytiniotis, Arthur Azevedo de Amorim and Leonidas Lampropoulos 1740-18 ICFP 2014 Advert Closing GENERAL CHAIR Greg Morrisett, Harvard University PROGRAM CHAIR Tarmo Uustalu, Institute of Cybernetics, Tallinn PROGRAM COMMITTEE Thorsten Altenkirch, University of Nottingham Olaf Chitil

[Haskell] TYPES small workshop on Effects and Type Theory

The workshop organizers are Thorsten Altenkirch, Marino Miculan and Tarmo Uustalu. Venue The workshop will take place in the building of the Estonian Academy of Sciences on Tallinn's Dome Hill. The workshop dates are during the Tallinn Christmas market and the Christmas Jazz festival of Jazzkaar

[Haskell] MPC/AMAST 2006 2nd Call for Participation

NEWS: - MSFP accepted paper list is now available. - Remember that early registration is until 15 May 2006. Accommodation in the conference hotels is only guaranteed until this date. CALL FOR PARTICIPATION 8th International Conference on

[Haskell] MPC 2006 Final Call for Papers (extended deadlines)

, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. Programme committee Tarmo Uustalu, Institute of Cybernetics, Tallinn (chair) Roland Backhouse, University of Nottingham Eerke Boiten, University of Kent

[Haskell] MPC 2006 First Call for Papers

. After the conference, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. Programme committee Tarmo Uustalu, Inst. of Cybernetics, Tallinn (chair) Roland Backhouse, Univ. of Nottingham Eerke Boiten

Re: [Haskell] Paper: The essence of dataflow programming

Dear Dave, Thanks for the nice propaganda! A few comments regarding the points you made in your message. Ineffeciency of fibo-like programs: Your observations are true. But this is a comonadic interpreter analogous to the cbv monadic interpreter. One can also define an analogue to the cbn

[Haskell] Paper: The essence of dataflow programming

will appear in Proc. of APLAS 2005. The full text has been submitted. Best wishes, Tarmo Uustalu, Varmo Vene ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell