[TYPES/announce] Categories Logic and Physics - 30 November

2016-10-26 Thread Ross Duncan
wishes, Chris Heunen Ross Duncan

[TYPES/announce] Job ad : quantum programming language designer wanted

2019-08-16 Thread Ross Duncan
and Cambridge Quantum Computing Ltd (CQC) are looking for a researcher / software developer to design and implement a new programming language for near term quantum computers. The project will be supervised by Conor McBride and Ross Duncan. Knowledge of linear dependent types would be very

[TYPES/announce] cfp: QPL 2012 - Brussels 10-12 October 2012

2012-07-31 Thread Ross Duncan
Chiribella - Bob Coecke - Andreas Doering - Ross Duncan (co-chair) - Simon Gay - Prakash Panangaden (co-chair) - Robert Raussendorf - Mehrnoosh Sadrzadeh - Peter Selinger - Bas Spitters Steering Committeee - Bob Coecke - Prakash Panangaden - Peter Selinger Local Organisation Ross

[TYPES/announce] 2nd cfp: QPL 2012 - Brussels 10-12 October 2012

2012-08-10 Thread Ross Duncan
Chiribella - Bob Coecke - Andreas Doering - Ross Duncan (co-chair) - Simon Gay - Bart Jacobs - Prakash Panangaden (co-chair) - Simon Perdrix - Robert Raussendorf - Mehrnoosh Sadrzadeh - Peter Selinger - Robert Spekkens - Bas Spitters Steering Committeee - Bob Coecke - Prakash Panangaden - Peter

[TYPES/announce] call for participation: QPL 2012 - Brussels 10-12 October 2012

2012-09-30 Thread Ross Duncan
the webpage, as well as local information and registration details. Best wishes and hope to see you in Brussels. Ross Duncan - QPL 2012 local organiser == QUANTUM PHYSICS AND LOGIC (QPL2012) 10-12 October 2012 Université Libre de Bruxelles, Brussels

[TYPES/announce] CfP : International Workshop on Quantum Compilation : 23-24 Sept 2020

2020-06-03 Thread Ross Duncan
://easychair.org/conferences/?conf=iwqc20 Programme Committee : Ross Duncan, Cambridge Quantum Computing and University of Strathclyde, ross.dun...@cambridgequantum.com Thomas Häner, Microsoft, thomas.ha...@microsoft.com Aleks Kissinger, University of Oxford, aleks.kissin...@cs.ox.ac.uk Neil J. Ross

[TYPES/announce] 2nd CfP : International Workshop on Quantum Compilation : 23-24 September 2020

2020-07-30 Thread Ross Duncan
Programme Committee : Ross Duncan, Cambridge Quantum Computing and University of Strathclyde, ross.dun...@cambridgequantum.com Thomas Häner, Microsoft, thomas.ha...@microsoft.com Aleks Kissinger, University of Oxford, aleks.kissin...@cs.ox.ac.uk Neil J. Ross, Dalhousie University, neil.jr.r...@gmail.com

[TYPES/announce] Final CfP : International Workshop on Quantum Compilation : 23-24 September 2020

2020-08-11 Thread Ross Duncan
, submissions are accepted either as oral or poster presentation to be part of the workshop program. All abstracts and papers are distributed only among the participants. Please submit your papers through EasyChair: https://easychair.org/conferences/?conf=iwqc20 Programme Committee : Ross Duncan

[TYPES/announce] CfP: QNET - Oxford - 10/11 Dec

2009-10-29 Thread Ross Duncan
on the workshop webpage: http://wiki.comlab.ox.ac.uk/qnet/ Best wishes, Ross Duncan Jamie Vicary QNET Workshop - 10-11 December 2009 Oxford University Computing Laboratory http://wiki.comlab.ox.ac.uk/qnet/

[TYPES/announce] QNET - final call for participation - Oxford 10/11 December

2009-11-27 Thread Ross Duncan
Workshop dates: 10-11 December 2009 Further information can be found on the workshop webpage: http://wiki.comlab.ox.ac.uk/qnet/ Best wishes, Ross Duncan QNET Workshop - 10-11 December 2009 Oxford University Computing Laboratory http://wiki.comlab.ox.ac.uk/qnet/

[TYPES/announce] Call for participation: QICS School, May 24-28, Oxford

2010-04-13 Thread Ross Duncan
(Oxford), Ross Duncan (Oxford), Bill Edwards (Oxford), Joe Fitzsimons (Oxford), Ottfried Gühne (Innsbruck), Chris Heunen (Oxford), Peter Hines (York), Richard Jozsa (Cambridge), Aleks Kissinger (Oxford), Akimasa Miyake (Perimeter), Prakash Panangaden (McGill), Simon Perdrix (Grenoble), Sandu