Dissemination and Exploitation

We shall disseminate results via journals such as Journal of Security, Information and Computation, Theoretical Computer Science, Mathematical Structures and Computer Science, Formal Aspects of Computing, Journal of Functional Programming, and ACM Transaction on Programming Languages and Systems; international conferences such as LICS, POPL, ICALP, CONCUR, CSFW, FMODS, ESOP, FSTTCS, FoSSaCs, TLCA,ECOOP, PLDI. Finally, our results will be available over the web and technical reports in respective organisations.