I enjoy working in the areas of mathematical logic, category theory, and their applications to theoretical computer science. My research interests include programming languages for quantum computing, categorical quantum mechanics, quantum circuit theory, and unitary approximation.

A list of my Papers. |

- Programming your quantum computer,
by Brian Hayes.
*American Scientist*,January-February 2014 . - New language helps quantum coders build killer apps,
by Sophie Hebden.
*New Scientist*,5 July 2013 .

- Theory and Applications of Categories (established 1995).
- Logical Methods in Computer Science (established 2005).
- Quantum (established 2017).
- Compositionality (established 2018).

- 20th International
Conference on Quantum Physics and Logic (QPL 2023).
Paris,
July 17–21 , 2023. - 29th Workshop on
Logic, Language, Information and Computation (WoLLIC
2023). Halifax,
July 11–14 , 2023. - 13th
International Workshop on Developments in Computational Models
(DCM 2023). Rome,
July 2 , 2023 - 30th
Workshop on Foundational Methods in Computer
Science
(FMCS 2023) . Mount Allison University,June 7–11 2023. - 2023 Summer Meeting of
the Canadian Mathematical Society, Ottawa,
June 2–5 , 2023.

- 29th Workshop on Foundational Methods in Computer
Science
(FMCS 2022) . University of Calgary,June 1 –26 , 2022. - 19th International
Conference on Quantum Physics and Logic (QPL 2022).
Oxford,
June 27–July 1 , 2022. - 18th International
Conference on Quantum Physics and Logic (QPL 2021).
Gdansk, Poland,
June 7–11 , 2021. - 17th International
Conference on Quantum Physics and Logic (QPL 2020).
Paris,
June 2–6 , 2020. - Mini-course on GAP. Speaker: Leandro Vendramin. Memorial University and Dalhousie, January 13–17, 2020.
- 16th International
Conference on Quantum Physics and Logic (QPL 2019).
Orange, California,
June 10–14 , 2019. - 26th Workshop on Foundational Methods in Computer
Science
(FMCS 2018) . Mount Allison University,May 31 –June 2 , 2018. - 15th International
Conference on Quantum Physics and Logic (QPL 2018). Halifax,
June 3–7 , 2018. - 34th International Conference on Mathematical
Foundations of Programming Semantics (MFPS 2018). Halifax,
June 6–9 , 2018. - Dagstuhl Seminar on Quantum Programming
Languages. Dagstuhl, Germany,
September 16–21 , 2018 - 14th International
Conference on Quantum Physics and Logic (QPL 2017). Nijmegen,
July 3–7 , 2017. - 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Ljubljana, Slovenia, June 14–16, 2017.
- AIM Workshop on Arithmetic Golden Gates, American Institute of Mathematics, San Jose, California, April 24–28, 2017.
- 13th International
Conference on Quantum Physics and Logic (QPL 2016). Glasgow,
June 6–10 , 2016. - 8th
Conference on Reversible Computation, Bologna, Italy,
July 7–8 , 2016. - Workshop on Quantum Computer Science. Banff International Research Station, Alberta, Canada,
April 17–22 , 2016. - 12th International
Workshop on Quantum Physics and Logic (QPL 2015). Oxford,
July 15–17 , 2015. - Workshop on Quantum Programming and Circuits. Waterloo,
June 8–11 , 2015. - Amsterdam Quantum
Logic Workshop. Amsterdam,
May 7–8 , 2015. - Conference of
Knot Theory and its Applications to Physics and Quantum
Computing. Dallas,
Jan 6–9 , 2015. - Fall
Eastern Sectional Meeting of the American Mathematical Society,
Dalhousie University, Halifax, Canada
October 18–19 , 2014. - 11th International Workshop on Quantum Physics and
Logic (QPL 2014). Kyoto,
June 4–6 , 2014. - 10th International Workshop on Quantum Physics and
Logic (QPL 2013). Barcelona,
July 17–19 , 2013. - 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Eindhoven, Netherlands, June 24–26, 2013.
- 9th International Workshop on Quantum Physics and Logic (QPL 2012). Brussels, October 10–12, 2012.
- 20th Workshop on Foundational Methods in
Computer Science
(FMCS 2012) , Halifax, Canada, June 2012. - Logic and Interaction Weeks 2012, CIRM, Marseille, France, Jan 30 – Mar 16, 2012.
- 8th International Workshop on Quantum Physics and Logic (QPL 2011). Nijmegen, October 27–29, 2011.
- Category Theory "Octoberfest" Workshop, Oct 23-24, 2010, Halifax.
- 7th International Workshop on Quantum Physics and Logic (QPL 2010), May 29-30, 2010, Oxford.
- 26th Conference
on the Mathematical Foundations of Programming Semantics (MFPS
2010), University of Ottawa,
May 6-10, 2010. - 6th International Workshop on Quantum Physics and Logic (QPL 2009), April 8-9, 2009, Oxford.
- 16th Workshop on Foundational Methods in Computer Science (FMCS 2008), May 30 - June 1, 2008, Halifax.
- 5th International Workshop on Quantum Physics and Logic (formerly Quantum Programming Languages) (QPL 2008), July 12-13, 2008, Reykjavik.
- 4th International Workshop on Quantum Programming Languages (QPL 2006), July 17-19, 2006, Oxford.
- International Category Theory Conference (CT 2006), June 25 - July 1, 2006, White Point, Nova Scotia.
- 3rd International Workshop on Quantum Programming Languages (QPL 2005), June 30 - July 1, 2005, Chicago (affiliated Workshop of LICS 2005).
- 2nd International Workshop on Quantum Programming Languages (QPL 2004), July 12-13, 2004, Turku, Finland (affiliated Workshop of LICS 2004).
- 1st
International Workshop on Quantum Programming Languages (QPL 2003),
June 15-16, 2003 , Ottawa, Canada (affiliated Workshop of Fields 2003). - Foundational Methods in Computer Science
(FMCS 2003),
May 30-June 1, 2003. - Fields Institute Summer School on Logic and
Foundations of Computation,
June 2-20, 2003. - Category Theory and Computer Science
(CTCS'02),
August 15-17, 2002.

Mailing list archives: Categories. Linear Logic. Types. Concurrency.

Papers from London, Stanford, Penn, Marseille, McGill, and Paris.

The Linear Logic Bibliography and the Hypertext Bibliography Project.

Home of Standard ML of New Jersey and Caml. Compiler Implementation in ML.

The Mobility Homepage.

Professional organizations: AMS (EIMS), ASL, MAA, SIAM, (NCP, SMTC), IEEE.

Back issues of journals (subscribers only): JSTOR.

Want to know who your advisor's advisor's advisor was? The Mathematics Genealogy Project.

Online Encyclopedia of Integer Sequences.

Origins of many Common Math Symbols.

A listing of Logic Related Conferences.

The TLCA List of Open Problems.

selinger@mathstat.dal.ca / PGP key