[TYPES/announce] QPL 2018 submission deadline approaching
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please note that the deadline for abstract submission is a week from now! * SECOND CALL FOR PAPERS 15th International Conference on Quantum Physics and Logic (QPL 2018) June 3-7, 2018 Halifax, Canada https://www.mathstat.dal.ca/qpl2018/ * * * The 15th International Conference on Quantum Physics and Logic (QPL 2018) will take place at Dalhousie University June 3-7, 2018. The conference brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome. QPL 2018 will be co-located with the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), which takes place from June 6-9. IMPORTANT DATES April 1: abstract submission April 6: paper submission May 11: notification of authors May 25: final papers ready June 3-7: conference INVITED SPEAKERS Dominic Horsman (University of Grenoble) Debbie Leung (University of Waterloo) Neil J. Ross (Dalhousie University) Robert Spekkens (Perimeter Institute) TUTORIALS Teiko Heinosaari (University of Turku): "Compatibility of Quantum Measurements and Channels" Ciaran Lee (University College London): "Computation in General Probabilistic Theories" SUBMISSIONS Prospective speakers are invited to submit one (or more) of the following: - Original contributions consist of a 5-12 page extended abstract that provides sufficient evidence of results of genuine interest and enough detail to allow the program committee to assess the merits of the work. Submission of substantial albeit partial results of work in progress is encouraged. - Extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. These consist of a 3 page description and should include a link to a separate published paper or preprint. The conference proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference. Only "original contributions" are eligible to be published in the proceedings. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2018 There will be an award for the best student paper at the discretion of the programme committee. Papers eligible for the award are those where all the authors are students at the time of submission. PROGRAM COMMITTEE Giulio Chiribella (University of Oxford, co-chair) Peter Selinger (Dalhousie University, co-chair) Samson Abramsky (University of Oxford) Antonio Acin (Institute of Photonic Sciences) Richard Blute (University of Ottawa) Anne Broadbent (University of Ottawa) Dan Browne (University College London) Bob Coecke (University of Oxford) Lidia del Rio (ETH Zurich) Ross Duncan (University of Strathclyde) Teiko Heinosaari (University of Turku) Chris Heunen (University of Edinburgh) Matthew Hoban (University of Oxford) Dominic Horsman (University of Durham) Bart Jacobs (Radboud University) Kohei Kishida (Dalhousie University) Aleks Kissinger (Radboud University) Joachim Kock (Universitat Autonoma Barcelona) Ciaran Lee (University College London) Matt Leifer (Chapman University) Martha Lewis (University of Amsterdam) Paul-Andre Mellies (CNRS, Universite Paris Diderot) Michael Moortgat (Utrecht University) Mio Murao (University of Tokyo) Daniel Oi (University of Strathclyde) Ognyan Oreshkov (Universite Libre de Bruxelles) Prakash Panangaden (McGill University) Anna Pappa (University of Edinburgh) Dusko Pavlovic (University of Hawaii) Simon Perdrix (CNRS, University of Grenoble) Paolo Perinotti (Universita di Pavia) Neil J. Ross (Dalhousie University) Ana Belen Sainz (Perimeter Institute) Pawel Sobocinski (University of Southampton) Robert Spekkens (Perimeter Institute) Isar Stubbe (Universite du Littoral) Benoit Valiron (Universite Paris-Saclay) Jamie Vicary (University of Oxford) Mingsheng Ying (University of Technology Sydney) Margherita Zorzi (U
[TYPES/announce] Call for papers: QPL 2018
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 15th International Conference on Quantum Physics and Logic (QPL 2018) June 3-7, 2018 Halifax, Canada https://www.mathstat.dal.ca/qpl2018/ * * * The 15th International Conference on Quantum Physics and Logic (QPL 2018) will take place at Dalhousie University June 3-7, 2018. The conference brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome. QPL 2018 will be co-located with the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), which takes place from June 6–9. IMPORTANT DATES April 1: abstract submission April 6: paper submission May 11: notification of authors May 25: final papers ready June 3–7: conference INVITED SPEAKERS Debbie Leung (Waterloo) Additional invited speakers to be confirmed. INVITED TUTORIALS Teiko Heinosaari (Turku) Ciaran Lee (University College London) SUBMISSIONS Prospective speakers are invited to submit one (or more) of the following: - Original contributions consist of a 5-12 page extended abstract that provides sufficient evidence of results of genuine interest and enough detail to allow the program committee to assess the merits of the work. Submission of substantial albeit partial results of work in progress is encouraged. - Extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. These consist of a 3 page description and should include a link to a separate published paper or preprint. The conference proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference. Only "original contributions" are eligible to be published in the proceedings. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2018 There will be an award for the best student paper at the discretion of the programme committee. Papers eligible for the award are those where all the authors are students at the time of submission. PROGRAM COMMITTEE Giulio Chiribella (co-chair) Peter Selinger (co-chair) Samson Abramsky Richard Blute Anne Broadbent Dan Browne Bob Coecke Ross Duncan Teiko Heinosaari Chris Heunen Matthew Hoban Dominic Horsman Bart Jacobs Kohei Kishida Aleks Kissinger Joachim Kock Ciaran Lee Matt Leifer Martha Lewis Paul-André Melliès Michael Moortgat Mio Murao Daniel Oi Ognyan Oreshkov Prakash Panangaden Anna Pappa Dusko Pavlovic Simon Perdrix Paolo Perinotti Neil J. Ross Ana Belén Sainz Pawel Sobocinski Robert Spekkens Isar Stubbe Benoît Valiron Jamie Vicary Mingsheng Ying Margherita Zorzi STEERING COMMITTEE Bob Coecke Prakash Panangaden Peter Selinger LOCAL ORGANIZERS Neil J. Ross Peter Selinger * For further information, please contact qpl2...@easychair.org.
[TYPES/announce] subject reduction
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear type theorists, what is the origin of the term "subject reduction"? I am of course referring to the property that if M:A and M -> N, then N:A, also known as type preservation. I can sort of see where "reduction" comes into it, but why "subject"? Thanks, -- Peter
[TYPES/announce] Assistant Professor position at Dalhousie
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Assistant Professor, Mathematics Department of Mathematics and Statistics, Faculty of Science Dalhousie University invites applicants for a probationary tenure track position in Mathematics from outstanding candidates with a strong background in the mathematical modelling of programming languages and in quantum computing. The candidates should have demonstrated ability or potential for teaching excellence and establishing a successful research program. The successful candidate will have a PhD in the Mathematical Sciences. Expertise in type theory, category theory, mathematical logic, and/or number theoretic methods in quantum information theory will be an asset. In addition to carrying out their independent research program, the successful candidate will be expected to join an existing research project on the design, semantics, and formal verification of programming languages for quantum computing. The Department of Mathematics and Statistics at Dalhousie University is at the forefront of research developments in the semantics of quantum programming languages, categorical quantum mechanics, quantum circuit theory, and unitary approximation. The division of Mathematics also has strong research groups in category theory, commutative algebra, harmonic analysis, cosmology, dynamical systems, graphs and games, and differential geometry. The department has a flourishing graduate program and a strong undergraduate Honours program. The start date for the position is September 1, 2017. Consideration of candidates will begin on April 30, 2017, and will continue until the position is filled. Complete applications will include a curriculum vitae, a research proposal (max 3 pages), a statement of teaching interests and experience, a completed Self-Identification Questionnaire, which is available at www.dal.ca/becounted/selfid, and three confidential letters of reference, forwarded under separate cover by the referees, to: Chair, Department of Mathematics and Statistics Chase Building, Room 219 PO Box 15000, 6316 Coburg Road Halifax, N.S. B3H 4R2 Canada email: ch...@mathstat.dal.ca phone: 902-494-2572 fax: 902-494-5130 web: mathstat.dal.ca Dalhousie is Atlantic Canada's leading research university. The main campus in situated in Halifax - a city known for its youthful spirit, rich history, and scenic waterfront. All qualified candidates are encouraged to apply; however, Canadians and permanent residents will be given priority. Dalhousie University is committed to fostering a collegial culture grounded in diversity and inclusiveness. The university encourages applications from Aboriginal people, persons with a disability, racially visible persons, women, persons of minority sexual orientations and gender identities, and all candidates who would contribute to the diversity of our community.
[TYPES/announce] postdoc position in dependent types at Dalhousie
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, I invite applications for one postdoctoral position, starting between now and January 1, at Dalhousie University under my supervision. The successful applicant will work on a project entitled "Trusted Quantum Software via a Formally Verified Functional Quantum Programming Language". Specifically, the project will involve the design of a type system for a type-safe functional programming language for quantum computing, loosely modelled on the Quipper language (http://www.mathstat.dal.ca/~selinger/quipper/). It will also involve developing the meta-theory (including semantics) of the language, and eventually the formalization of some of this meta-theory in a proof assistant. Familiarity with type theory (especially dependent type theory), programming language design, and/or semantics will be a prerequisite for this postdoc. Familiarity with quantum computing will be helpful, but is neither necessary nor sufficient for this position - the main emphasis is on programming languages and type systems. Although the position will be held at Dalhousie University in Canada, it will be an asset if the candidate is able to travel, because I will be spending one semester in Germany and one semester in the U.S. next year, and ideally I would like the postdoc to be able to accompany me. Funding for the project comes from the U.S. Air Force Office of Scientific Research, and the research project will be part of a team effort also involving collaborators from Tulane, Stanford, Oxford, the University of Iowa, and the University of Pennsylvania. The nominal start date for the project is September 30, 2015 (yes, this is today!), so the start date can be immediately, or some time in the near future. The position is initially for 1 year, and can be extended for an additional year. The salary is CAD $60,000 per year. Interested applicants should contact Peter Selinger at selin...@mathstat.dal.ca as soon as possible, and in any case before October 21. I can provide more details about the research project to interested applicants on request. Thanks, -- Peter
[TYPES/announce] QPL 2011 workshop, Nijmegen, Oct 27-29
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The following annoucement may be of interest to some type theorists. One of the focuses of this workshop is semantics for quantum computing, including type systems. 8th workshop on QUANTUM PHYSICS AND LOGIC (QPL 2011) Nijmegen, October 27-29, 2011. http://qpl.science.ru.nl/ Call for participation. * This event will bring together researchers working on mathematical foundations of quantum physics, quantum computing and information, and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study physical behaviour in general. Over the past few years, there has been growing activity in these foundational approaches, together with a renewed interest in the foundations of quantum theory, which complement the more mainstream research in quantum computation. REGISTRATION AND LOCAL INFORMATION: Please register for the workshop by October 3, 9:00 CET. The organizers need the number of participants in order to make proper arrangements. Information on registration, travel, and accommodations can be found on the workshop website at http://qpl.science.ru.nl/. STUDENT SUPPORT: We encourage participation by graduate students at the workshop. Students will pay a reduced registration fee. We will also be able to provide limited financial support to students for travel and accommodations; if you are interested in this, please email i.haerk...@cs.ru.nl by October 3rd, 9:00 CET.. Please also arrange for a brief letter of recommendation from your supervisor, to be sent to the same email address before the deadline. Your supervisor's letter should also state whether you have access to funding from other sources, and how much. Invited Speakers: Hans Maassen (Nijmegen) Urs Schreiber (Utrecht) Rob Spekkens (Perimeter Institute) List of accepted talks: Samson Abramsky and Shane Mansfield. The Cohomology of Non-Locality and Contextuality: Preliminary Version James Barratt. On the Automation of Encoding Processes in the Quantum IO Monad Jacob Biamonte, Stephen R. Clark and Dieter Jaksch. Categorical Tensor Network States Bob Coecke and Chris Heunen. Pictures of complete positivity in arbitrary dimension Bob Coecke and Raymond Lal. Categorical quantum mechanics meets the Pavia principles: towards a representation theorem for CQM constructions John Corbett. A Topos Theory Foundation for Quantum Mechanics Ugo Dal Lago and Claudia Faggian. On Multiplicative Linear Logic, Modality and Quantum Circuits Timothy Davidson, Simon Gay, Rajagopal Nagarajan and Ittoop Vergheese Puthoor. Analysis of a Quantum Error Correcting Code using Quantum Process Calculus Ichiro Hasuo and Naohiko Hoshino. Semantics of Higher-Order Quantum Computation via Geometry of Interaction Chris Heunen and Sergio Boixo. Completely positive classical structures and sequentializable quantum protocols Anne Hillebrand. Superdense Coding and Quantum Direct Communication with GHZ in the ZX-calculus Kentaro Honda. Graphical Classification of Entangled Qutrits Peter Janotta. Generalizations of boxworld Alex Lang and Bob Coecke. Trichromatic Open Digraphs for Understanding Qubits Jorik Mandemaker and Bart Jacobs. The expectation monad Joost Nuiten. Bohrification of local nets of observables Robert Raussendorf, Pradeep Sarvepalli, Tzu-Chieh Wei and Poya Haghnegahdar. Measurement-based quantum computation--a quantum-mechanical toy model for spacetime? Yun Shang, Xian Lu and Ruqian Lu. Turing machine based on unsharp quantum logic Susan Stepney, Viv Kendon, Peter Hines and Angelika Sebald. A Framework for Heterotic Computing Benno Van Den Berg and Chris Heunen. No-go theorems for functorial localic spectra of noncommutative rings Steve Vickers, Bertfried Fauser and Guillaume Raynaud. The Born rule as structure of spectral bundles Alexander Wilce. Symmetry and Self-Duality in Categories of Probabilistic Models Program committee: Thorsten Altenkirch (Nottingham) John Baez (UC Riverside and CQT Singapore) Dan Browne (UCL - London) Bob Coecke (Oxford) Giulio Chiribella (Perimeter Institute) Andreas Döring (Oxford) Simon Gay (University of Glasgow) Bart Jacobs (Nijmegen, co-chair) Prakash Panangaden (McGill) Simon Perdrix (CNRS - Grenoble) Mehrnoosh Sadrzadeh (Oxford) Peter Selinger (Dalhousie, co-chair) Bas Spitters (Nijmegen) Local organizers: Bart Jacobs (co-chair) Bas Spitters (co-chair) Klaas Landsman Dion Coumans Hans Maassen Jorik Mandemaker Michael Müger Sander Wolters Steering committee: Bob Coecke (Oxford) Prakash Panangaden (McGill
[TYPES/announce] postdoc position, immediately
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, I invite applications for one postdoctoral position, starting September 1 or as soon as possible, at Dalhousie University under my supervision. The position is initially for 1 year, and can be extended for a second year. The salary is CAD $50,000 per year. The successful applicant will be part of a government-funded research team spanning Dalhousie and several U.S. institutions. The overall goal of the project is to design a quantum programming environment, and to accurately estimate and significantly reduce the computational resources required to implement quantum algorithms on a realistic quantum computer. Here at Dalhousie University, we will be primarily responsible for the design of a quantum programming language. The project is structured as a research contract with specific milestones and deadlines. The nominal start date for this project is August 1, 2011 (yes, this is in the past). Familiarity with the design of programming languages, type systems, and/or semantics will be a prerequisite for this postdoc. Familiarity with quantum computing will be helpful, but is neither necessary nor sufficient for this position - the main emphasis is on programming languages. Interested applicants should contact Peter Selinger at selin...@mathstat.dal.ca as soon as possible, and in any case before August 11. I can provide more details about the research project to interested applicants on request. Thanks, -- Peter
[TYPES/announce] Graduate student and postdoc opportunities at Dalhousie
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Graduate Student and Postdoc positions Category Theory and Foundations of Computation Dalhousie University, Halifax, Canada The category theory group in the Department of Mathematics and Statistics at Dalhousie University invites applications from prospective graduate students and/or postdoctoral researchers, for positions starting in September 2010. The group includes the following potential supervisors: Bob Pare http://www.mathstat.dal.ca/~pare/ Richard Wood http://www.mathstat.dal.ca/Faculty/rjwood.html Dorette Pronk http://www.mathstat.dal.ca/Faculty/pronk.htm Peter Selinger http://www.mathstat.dal.ca/~selinger/ We seek applications in the following areas: * any area of pure and applied category theory * semantics of programming languages (including types) * quantum computing (including types) The successful candidates will participate in the activities of our group, and will be part of the Atlantic Category Theory Group, which includes faculty, postdocs, and students from Dalhousie University, Saint Mary's University, and Mount Allison University. See http://www.mathstat.dal.ca/~selinger/atcat/. Postdoc applications must be completed by December 15. If you plan to apply, please contact one of us by email no later than December 1, as some internal paperwork needs to be completed before the deadline. Postdoc positions are for 2 years. For application details, see http://www.mathstat.dal.ca/positions.html Graduate student applications must be completed by January 31 to be eligible for scholarship funding. If you plan to apply, please contact one of us by email no later than January 1, as some internal paperwork needs to be completed before the deadline. For application details, see http://www.registrar.dal.ca/prospective/graduateapp.html Bob Pare (p...@mathstat.dal.ca) Richard Wood (rjw...@mathstat.dal.ca) Dorette Pronk (pr...@mathstat.dal.ca) Peter Selinger (selin...@mathstat.dal.ca)