[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
https://urldefense.com/v3/__https://conferences.inf.ed.ac.uk/rubberduq/__;!!IBzWLUs!W4VVRHen8P_ZSUa_UsipXzr-LZK7iy76GyuAnqTvsLpG6Ew0VQvr4HmYpBHh6LXPwOgLYkfB1iu8HABGiAA4torgIsXO-lSBUfOagE2JHA$
We are happy to advertise the **RubberDUQ workshop**, supported by the EPSRC
grant RubberDUQ: flexible dynamical universal quantum computing. It aims at
stirring collaboration in the community of quantum programming
languages, both
in theoretical and practical aspects, ranging from type systems and
semantics
to compilation. We will have invited talks and leave time for interaction
between the participants.
Registration is free of charge. However, it is mandatory to attend the
workshop, so the organisers can make appropriate arrangements. To register,
please fill out this registration form before September 1:
https://urldefense.com/v3/__https://forms.office.com/e/HCacGzR7G7__;!!IBzWLUs!W4VVRHen8P_ZSUa_UsipXzr-LZK7iy76GyuAnqTvsLpG6Ew0VQvr4HmYpBHh6LXPwOgLYkfB1iu8HABGiAA4torgIsXO-lSBUfNum5XVzg$
We have the following confirmed invited speakers:
Timon Gehr (ETH Zurich)
Robin Kaarsgaard (University of Southern Denmark)
Amr Sabry (Indiana University)
Seyon Sivarajah (Quantinuum)
Takeshi Tsukada (Chiba University)
Feel free to contact the organisers if you have any questions.
Kind regards,
-- Chris Heunen, Louis Lemonnier and Alex Rice
The University of Edinburgh is a charitable body, registered in Scotland, with
registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh
Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
