[Haskell] PPDP 2020 Final call for papers

2020-05-04 Thread Andreas Abel
PPDP 2020 Call For Papers = The 22nd International Symposium on Principles and Practice of Declarative Programming, [PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/), hosted 8-10 September 2020 by the University of Bologna, Italy. **Due to the COVID-19 pandemic,

[Haskell] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)

2020-05-04 Thread Rozman, Mihaela
(Deadline approaching, last chance to submit a contribution.) (Please consider sharing this piece of information among the nodes in your network.) (Apologies for cross-posting.) Are you a woman

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

2020-05-04 Thread Graham Hutton
CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st May 2020 http://tinyurl.com/jfp-phd-abstracts PREAMBLE: Many students complete PhDs in functional

[Haskell] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)

2020-05-04 Thread Michael Hanus
== WFLP 2020: Call for Papers == 28th International Workshop on Functional and (Constraint) Logic Programming ## Due to the coronavirus pandemic, the workshop will be organized by ## the University of Bologna, but it will be held entirely on-line.