[TYPES] LICS Workshop on Quantum Programming Languages

Peter Selinger selinger at mathstat.uottawa.ca
Tue Feb 1 13:21:50 EST 2005


     3nd International Workshop on Quantum Programming Languages

		   June 30 - July 1, 2005, Chicago
		      Affiliated with LICS 2005


				* * *

  The goal of this workshop is to bring together researchers working
  on mathematical foundations and programming languages for quantum
  computing. In the last few years, there has been a growing interest
  in logical tools, languages, and semantical methods for analyzing
  quantum computation. These foundational approaches complement the
  more mainstream research in quantum computation which emphasizes
  algorithms and complexity theory.

  Possible topics include the design and semantics of quantum
  programming languages, new paradigms for quantum programming,
  specification of quantum algorithms, higher-order quantum
  computation, quantum data types, reversible computation, axiomatic
  approaches to quantum computation, abstract models for quantum
  computation, properties of quantum computing resources and
  primitives, concurrent and distributed quantum computation,
  compilation of quantum programs, semantical methods in quantum
  information theory, and categorical models for quantum computation.

  Previous workshops in this series were held in Ottawa (2003) and
  Turku (2004).


  Bob Coecke (Oxford)
  Simon Gay (Glasgow)
  Philippe Jorrand (Grenoble)
  Peter Selinger (Ottawa)


  The workshop will be a 1.5-day workshop.  Prospective speakers
  should submit a detailed abstract (or extended abstract) of 5-12
  pages. Submissions of works in progress are encouraged, but must be
  more substantial than a research proposal.  Submissions must provide
  sufficient detail to allow the program committee to assess the
  merits of the paper.  Submissions should be in Postscript or PDF
  format, and should be sent to selinger at mathstat.uottawa.ca by 
  April 4 (please put "workshop submission" in the subject line).
  Receipt of all submissions will be acknowledged by return email.


  The workshop proceedings will be published in ENTCS.


  Submissions:				April 4, 2005
  Notification of acceptance:		April 25, 2005
  Paper for printed proceedings:	May 9, 2005
  Workshop:				June 30 - July 1, 2005
  ENTCS revised paper:			November 1, 2005 (tentative)


  Organizer: Peter Selinger
  University of Ottawa, Canada
  Email: selinger at mathstat.uottawa.ca

(revised Feb 1, 2005)

More information about the Types-list mailing list