[ 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!Q-r_AIrOo0zKg1nZcQhoDbVFSdQFb00HsePOVr9hX9sd4z6ZeeL_dXZ8M4NCk1YB6wqQxr4Cs3eq2OPMDB-X_nsJWcZmmvL6eWWTsePV8Q$
Last call to register to the *RubberDUQ workshop*, happening 16-18
September in Edinburgh! The registration deadline is 1st September (in
the UK).
Update: The programme will run from 10am to 5pm Wednesday to Friday.
There will be a social activity on Saturday. More details on the website.
Feel free to contact the organisers if you have any questions.
Kind regards,
-- Malin Altenmüller, Chris Heunen, Louis Lemonnier and Alex Rice
On 23/06/2026 13:32, Louis Lemonnier wrote:
https://urldefense.com/v3/__https://conferences.inf.ed.ac.uk/rubberduq/__;!!IBzWLUs!Q-r_AIrOo0zKg1nZcQhoDbVFSdQFb00HsePOVr9hX9sd4z6ZeeL_dXZ8M4NCk1YB6wqQxr4Cs3eq2OPMDB-X_nsJWcZmmvL6eWWTsePV8Q$
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!Q-r_AIrOo0zKg1nZcQhoDbVFSdQFb00HsePOVr9hX9sd4z6ZeeL_dXZ8M4NCk1YB6wqQxr4Cs3eq2OPMDB-X_nsJWcZmmvL6eWVyFCVenA$
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,
-- Malin Altenmüller, 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.