Dear all,
With a small group of colleagues in an industrial setting, we work on a systems programming language that we currently call [Xlang](https://xlangdemo.com/ "Xlang
(https://xlangdemo.com/)"). (That name is subject to change.) The Xlang unbounds are cousins of implicits that enable subsumption of both family polymorphism and lightweight family polymorphism (and even more).
At the Xlang team, we are particularly keen to collect feedback – especially, because Xlang is still in its prenatal days. To that end, I have funding to deliver Xlang talks at YOUR departments. The funding covers my expenses at (most of) Europe, (some parts of) Africa, and Middle East. So, please let me know if you’re interested in hosting me. 
Feel free to get in touch even if you’re interested in hosting me but you’re elsewhere in the world. The funding body may stretch their coverage under exceptional circumstances. Besides, the option of an online talk is always around.
Cheers,
–Hossein
P.S. As a principle, I don’t travel to the US.