Programming languages and concurrency, predoc, Ireland