Last call for registration, deadline 9 October: QCOMICAL School 2025

--===============3030203492995205562==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


--===============3030203492995205562==
Content-Type: multipart/alternative; boundary="00000000000093476e064079e249"

--00000000000093476e064079e249
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D
QCOMICAL School 2025

3-7 November 2025, Nancy, France

https://urldefense.com/v3/__https://qcomical2025.github.io__;!!IBzWLUs!REzh=
_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fj=
l2HtMp4ufhg5NAv1H0wDQUF8$=20

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D

BACKGROUND:

The first QCOMICAL School provides a range of intensive courses and
tutorials covering quantum computing and classical computing, with a focus
on programming language theory and formal semantics. These courses are
delivered by leading researchers from the EU-funded QCOMICAL project (Marie
Sk=C5=82odowska-Curie Staff Exchanges).

COURSES:

=E2=80=93 Tutorial: Introduction to Quantum Computing =E2=80=94 Simon Perdr=
ix (Inria /
LORIA)
=E2=80=93 Tutorial: Introduction to ZX Calculus =E2=80=94 Miriam Backens (I=
nria / LORIA)
=E2=80=93 Quantum Programming Languages =E2=80=94 Beno=C3=AEt Valiron (Cent=
raleSup=C3=A9lec)
=E2=80=93 Quantum Linear Optics =E2=80=94 Timoth=C3=A9e Goubault de Brugi=
=C3=A8re (Quandela)
=E2=80=93 Realisability =E2=80=94 Emmanuel Beffara (Universit=C3=A9 Grenobl=
e Alpes)
=E2=80=93 Concurrency =E2=80=94 Michele Pinna (Universit=C3=A0 degli Studi =
di Cagliari)
=E2=80=93 Quantitative Types =E2=80=94 Pablo Barenbaum (Universidad de Buen=
os Aires)

REGISTRATION:

* Free of charge; seats allocated on a first-come, first-served basis.
* *Coffee breaks and lunches are included*. Travel and accommodation are at
participants=E2=80=99 expense.
* *Registration deadline is October 9 midnight CEST.*

Link for registration: https://urldefense.com/v3/__https://sondages.inria.f=
r/index.php/668754?lang=3Den__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKx=
sKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1Hq7mKRVs$=20

ORGANISING COMMITTEE:

=E2=80=93 Kostia Chardonnet (Inria / LORIA)
=E2=80=93 Alejandro D=C3=ADaz-Caro (Chair, Inria / LORIA & UNQ)
=E2=80=93 Simon Perdrix (Inria / LORIA)
=E2=80=93 Beno=C3=AEt Valiron (CentraleSup=C3=A9lec)

SPONSORS:

- Quantinuum - https://urldefense.com/v3/__https://www.quantinuum.com/__;!!=
IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfE=
r_MVOb6l-3fjl2HtMp4ufhg5NAv1HmY0Oci0$  (diamond)
- GDR IFM - https://urldefense.com/v3/__https://www.gdr-ifm.fr/__;!!IBzWLUs=
!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6=
l-3fjl2HtMp4ufhg5NAv1HYIfSl60$  (silver)
- Quandela - https://urldefense.com/v3/__https://quandela.com/__;!!IBzWLUs!=
REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l=
-3fjl2HtMp4ufhg5NAv1HOSZAOR8$  (silver)

The school is also funded by the European Union through the Marie
Sk=C5=82odowska-Curie Actions =E2=80=93 Staff Exchanges programme (MSCA-SE).

--=20
https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs=
!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6=
l-3fjl2HtMp4ufhg5NAv1HMc-TDzY$=20

--00000000000093476e064079e249
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>QCOMICAL School 2025<br=
><br>3-7 November 2025, Nancy, France<br><br><a href=3D"https://urldefense.=
com/v3/__https://qcomical2025.github.io__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXC=
Ji4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1H0w=
DQUF8$">https://qcomical2025.github.io</a><br><br>=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
<br><br>BACKGROUND:<br><br>The first QCOMICAL School provides a range of in=
tensive courses and tutorials covering quantum computing and classical comp=
uting, with a focus on programming language theory and formal semantics. Th=
ese courses are delivered by leading researchers from the EU-funded QCOMICA=
L project (Marie Sk=C5=82odowska-Curie Staff Exchanges).<br><br>COURSES:<br=
><br>=E2=80=93 Tutorial: Introduction to Quantum Computing =E2=80=94 Simon =
Perdrix (Inria / LORIA)<br>=E2=80=93 Tutorial: Introduction to ZX Calculus =
=E2=80=94 Miriam Backens (Inria / LORIA)<br>=E2=80=93 Quantum Programming L=
anguages =E2=80=94 Beno=C3=AEt Valiron (CentraleSup=C3=A9lec)<br>=E2=80=93 =
Quantum Linear Optics =E2=80=94 Timoth=C3=A9e Goubault de Brugi=C3=A8re (Qu=
andela)<br>=E2=80=93 Realisability =E2=80=94 Emmanuel Beffara (Universit=C3=
=A9 Grenoble Alpes)<br>=E2=80=93 Concurrency =E2=80=94 Michele Pinna (Unive=
rsit=C3=A0 degli Studi di Cagliari)<br>=E2=80=93 Quantitative Types =E2=80=
=94 Pablo Barenbaum (Universidad de Buenos Aires)<br><br>REGISTRATION:<br>=
=C2=A0<br>* Free of charge; seats allocated on a first-come, first-served b=
asis.<br>* <b>Coffee breaks and lunches are included</b>. Travel and accomm=
odation are at participants=E2=80=99 expense.<br>* <b>Registration deadline=
 is October 9 midnight CEST.</b><br><br>Link for registration: <a href=3D"h=
ttps://urldefense.com/v3/__https://sondages.inria.fr/index.php/668754?lang=
=3Den__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hd=
oLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1Hq7mKRVs$">https://sondages.inria.fr/=
index.php/668754?lang=3Den</a><br><br>ORGANISING COMMITTEE:<br><br>=E2=80=
=93 Kostia Chardonnet (Inria / LORIA)<br>=E2=80=93 Alejandro D=C3=ADaz-Caro=
 (Chair, Inria / LORIA &amp; UNQ)<br>=E2=80=93 Simon Perdrix (Inria / LORIA=
)<br>=E2=80=93 Beno=C3=AEt Valiron (CentraleSup=C3=A9lec)<br><br>SPONSORS:<=
/div><div><br>- Quantinuum - <a href=3D"https://urldefense.com/v3/__https:/=
/www.quantinuum.com/__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAO=
a9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1HmY0Oci0$">https://www=
.quantinuum.com/</a> (diamond)<br>- GDR IFM - <a href=3D"https://urldefense=
.com/v3/__https://www.gdr-ifm.fr/__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmO=
mwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1HYIfSl60$=
">https://www.gdr-ifm.fr/</a> (silver)<br>- Quandela - <a href=3D"https://u=
rldefense.com/v3/__https://quandela.com/__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZX=
CJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1HO=
SZAOR8$">https://quandela.com/</a> (silver)<br><br>The school is also funde=
d by the European Union through the Marie Sk=C5=82odowska-Curie Actions =E2=
=80=93 Staff Exchanges programme (MSCA-SE).<br clear=3D"all"></div><div><br=
></div><span class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr=
" class=3D"gmail_signature" data-smartmail=3D"gmail_signature"><div dir=3D"=
ltr"><div><a href=3D"https://urldefense.com/v3/__https://members.loria.fr/A=
DiazCaro/__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbj=
M5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1HMc-TDzY$" target=3D"_blank">http=
s://members.loria.fr/ADiazCaro/</a></div></div></div></div>

--00000000000093476e064079e249--

--===============3030203492995205562==--