1st Announcement: QCOMICAL School 2025 on Quantum and Classical Programming Languages and Semantics

--===============6790253945947419371==
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 ]


--===============6790253945947419371==
Content-Type: multipart/alternative; boundary="0000000000001f6a2c0636e41411"

--0000000000001f6a2c0636e41411
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!T-mM=
hBcnAHRSOlO-M80q7gImLmHER9V5zR4owzPC-KIX3L7VU1rImcRAgT7PtyaVMceciJZcyPgWE4z=
0dcF4WhYtVN_zpyNq1q-Z00I$=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:

* Opens September 2025.
* Free of charge; seats allocated on a first-come, first-served basis.
* Coffee breaks are included. Travel, accommodation, and lunches are at
participants=E2=80=99 expense.
* The registration form and practical details (travel, visas,
accommodation) will appear on the website when registration opens.

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)

FUNDING:

The school is 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=
!T-mMhBcnAHRSOlO-M80q7gImLmHER9V5zR4owzPC-KIX3L7VU1rImcRAgT7PtyaVMceciJZcyP=
gWE4z0dcF4WhYtVN_zpyNqEZYT5Q8$=20

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

<div dir=3D"ltr"><div><div style=3D"overflow-wrap:break-word;"><span style=
=3D"overflow-wrap:break-word;">=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</span><span style=3D"overf=
low-wrap:break-word;">=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</span><br style=3D"overflow-wrap:break-wo=
rd;"></div><div style=3D"overflow-wrap:break-word;"><br style=3D"overflow-w=
rap:break-word;"></div><div style=3D"overflow-wrap:break-word;">QCOMICAL Sc=
hool 2025</div><div style=3D"overflow-wrap:break-word;"><br style=3D"overfl=
ow-wrap:break-word;">3-7 November 2025, Nancy, France</div><div style=3D"ov=
erflow-wrap:break-word;"><br style=3D"overflow-wrap:break-word;"></div><div=
 style=3D"overflow-wrap:break-word;"><a href=3D"https://urldefense.com/v3/_=
_https://qcomical2025.github.io__;!!IBzWLUs!T-mMhBcnAHRSOlO-M80q7gImLmHER9V=
5zR4owzPC-KIX3L7VU1rImcRAgT7PtyaVMceciJZcyPgWE4z0dcF4WhYtVN_zpyNq1q-Z00I$" =
target=3D"_blank" style=3D"overflow-wrap:break-word;">https://qcomical2025.=
github.io</a><br style=3D"overflow-wrap:break-word;"><br><span style=3D"ove=
rflow-wrap:break-word;">=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</span><span style=3D"overflow-wrap:=
break-word;">=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</span><br><br style=3D"overflow-wrap:break-word;">=
BACKGROUND:<br style=3D"overflow-wrap:break-word;"><br style=3D"overflow-wr=
ap:break-word;">The first QCOMICAL School provides a range of intensive cou=
rses 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).<br style=3D"overflow-wrap:bre=
ak-word;"><br style=3D"overflow-wrap:break-word;">COURSES:<br style=3D"over=
flow-wrap:break-word;"><br style=3D"overflow-wrap:break-word;">=E2=80=93 Tu=
torial: Introduction to Quantum Computing =E2=80=94 Simon Perdrix (Inria / =
LORIA)<br style=3D"overflow-wrap:break-word;">=E2=80=93 Tutorial: Introduct=
ion to ZX Calculus =E2=80=94 Miriam Backens (Inria / LORIA)<br style=3D"ove=
rflow-wrap:break-word;">=E2=80=93 Quantum Programming Languages =E2=80=94 B=
eno=C3=AEt Valiron (CentraleSup=C3=A9lec)<br style=3D"overflow-wrap:break-w=
ord;">=E2=80=93 Quantum Linear Optics =E2=80=94 Timoth=C3=A9e Goubault de B=
rugi=C3=A8re (Quandela)<br style=3D"overflow-wrap:break-word;">=E2=80=93 Re=
alisability =E2=80=94 Emmanuel Beffara (Universit=C3=A9 Grenoble Alpes)<br =
style=3D"overflow-wrap:break-word;">=E2=80=93 Concurrency =E2=80=94 Michele=
 Pinna (Universit=C3=A0 degli Studi di Cagliari)<br style=3D"overflow-wrap:=
break-word;">=E2=80=93 Quantitative Types =E2=80=94 Pablo Barenbaum (Univer=
sidad de Buenos Aires)<br style=3D"overflow-wrap:break-word;"><br style=3D"=
overflow-wrap:break-word;">REGISTRATION:<br style=3D"overflow-wrap:break-wo=
rd;">=C2=A0</div><div style=3D"overflow-wrap:break-word;">* Opens September=
 2025.<br style=3D"overflow-wrap:break-word;">* Free of charge; seats alloc=
ated on a first-come, first-served basis.<br style=3D"overflow-wrap:break-w=
ord;">* Coffee breaks are included. Travel, accommodation, and lunches are =
at participants=E2=80=99 expense.<br style=3D"overflow-wrap:break-word;">* =
The registration form and practical details (travel, visas, accommodation) =
will appear on the website when registration opens.<br style=3D"overflow-wr=
ap:break-word;"></div><div style=3D"overflow-wrap:break-word;"><br style=3D=
"overflow-wrap:break-word;">ORGANISING COMMITTEE:<br style=3D"overflow-wrap=
:break-word;"><br style=3D"overflow-wrap:break-word;"><span style=3D"overfl=
ow-wrap:break-word;">=E2=80=93<span style=3D"overflow-wrap:break-word;">=C2=
=A0</span></span>Kostia Chardonnet (Inria / LORIA)<br style=3D"overflow-wra=
p:break-word;"><span style=3D"overflow-wrap:break-word;">=E2=80=93<span sty=
le=3D"overflow-wrap:break-word;">=C2=A0</span></span><span style=3D"overflo=
w-wrap:break-word;">Alejandro D=C3=ADaz-Caro (Chair, Inria / LORIA &amp; UN=
Q)</span></div><div style=3D"overflow-wrap:break-word;"><span style=3D"over=
flow-wrap:break-word;">=E2=80=93</span><span style=3D"overflow-wrap:break-w=
ord;">=C2=A0</span>Simon Perdrix (Inria / LORIA)<br style=3D"overflow-wrap:=
break-word;"><span style=3D"overflow-wrap:break-word;">=E2=80=93<span style=
=3D"overflow-wrap:break-word;">=C2=A0</span></span>Beno=C3=AEt Valiron (Cen=
traleSup=C3=A9lec)<br style=3D"overflow-wrap:break-word;"><br style=3D"over=
flow-wrap:break-word;">FUNDING:<br style=3D"overflow-wrap:break-word;"><br =
style=3D"overflow-wrap:break-word;">The school is funded by the European Un=
ion through the Marie Sk=C5=82odowska-Curie Actions =E2=80=93 Staff Exchang=
es programme (MSCA-SE).</div></div><div><br></div><span class=3D"gmail_sign=
ature_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://url=
defense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs!T-mMhBcnAH=
RSOlO-M80q7gImLmHER9V5zR4owzPC-KIX3L7VU1rImcRAgT7PtyaVMceciJZcyPgWE4z0dcF4W=
hYtVN_zpyNqEZYT5Q8$" target=3D"_blank">https://members.loria.fr/ADiazCaro/<=
/a></div></div></div></div>

--0000000000001f6a2c0636e41411--

--===============6790253945947419371==--