Bob Coecke - Upcoming events

Bob Coecke

$\*$ Home: $\*$ Events; $\*$ Papers; $\*$ Links; $\*$ QICS

Upcoming events

Earlier events can be found at my old Brussels Page.

I will be in the PC of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), Warwick, UK, 9-13 July, 2012.

I will be speaking at The Incomputable, Kavli Royal Society International Centre Chicheley Hall, June 12-15 June, 2012.

I will be speaking at Quantum Theory: Reconsideration of Foundations - 6, Linnaeus University, Vaxjo, Sweden, June 11-14 June, 2012.

I will be in Brussels for reviewing an EU network, November 9, 2011, and giving a seminar in the Quantum Information Laboratory the day after.

I will be speaking in the Category Theory Seminar, University of Cambridge, November 1, 2011.

The Quantum Physics and Logic workshops now have a steering committee, consisting of Prakash Panangaden, Peter Selinger and I. The next one, the 8th QPL workshop, will take place in Nijmegen, Holland, October 27-29, 2011.

Ed Blakey and I, with help of Mike Mislove and Dusko Pavlovic, are organizing Information Security as a Resource at Oxford, October 13-16, 2011.

I will be speaking in the Fight Club seminar at the Department of Physics, University of Nottingham, October 12, 2011.

I will be speaking at Department of Computer Science, University of Leicester, October 7, 2011.

I'll be speaking at the International Workshop on Relativistic Quantum Information at Instituto de Fisica Fundamental, Madrid, September 6-8.

I'll be speaking at Setting Time Aright, the biannual meeting of FQXi, Copenhagen, August 29-September 1.

I'll be speaking at an informal workshop organized by Sy David Friedman at the Kurt Godel Research Center for Mathematical Logic, in Vienna, Austria, July 13, 2011.

I will be attending the JTF project review meeting on Foundational Questions in the Mathematical Sciences at the International Academy Traunkirchen, Austria, July 9-11, 2011, where I will speak in the Workshop on Foundational Questions in Artificial Intelligence.

I'll be the voice of my student Ed Grefenstette and Mehrnoosh Sadrzadeh's paper at QI'11, as neither of them can make it; Aberdeen, June 27-28, 2011.

I will be speaking at Adventures in Categories, Kyoto, Japan, June 1-3, 2011.

I will be speaking at Conceptual Foundations and Foils for Quantum Information Processing, Perimeter Institute, May 9-13, 2011. I'll be staying the week after too.

I will be speaking at Knots in Washington XXXII: Categorification of Knots, Algebras, and Quandles; Quantum Computing, The George Washington University, Washington DC, April 29-May 1, 2011.

Andrei, Ray I are organizing the 92th Peripatetic Seminar on Sheaves and Logic, Oxford, April 23, 24, 2011.

Prakash's Barbados workshop will this year be on Quantum and Classical Information Flow, April 10-14, 2011.

Aleks, Alex and I are organizing a one-day Quantomatic mini-workshop, combined with the CIAO/Automatheo workshops on automated theory exploration, April 4-6, 2011.

I plan to attend the March Meeting of the American Physical Society, Dallas, 21-25 March, 2011.

I'll be speaking at the Clifford Lectures, New Orleans, 14-16 March, 2011.

I'll be given a talk in the Logic Seminar at Imperial College, 10 February, 2011.

I'll be given a Departmental Seminar at the Computer Laboratory, Cambridge University, 9 February, 2011.

I will be visiting IQOQI, including giving a giving a talk, Vienna, 24 January - 4 February, 2011.

My student Ed Grefenstette and/or Mehrnoosh Sadrzadeh will be presenting a joint paper at the 9th International Conference on Computational Semantics, Oxford, January 12-14, 2011.

I will be speaking at Knots in Washington XXXI: Categorification, Quandles, Quantum knots and Quantum computing, The George Washington University, Washington DC, 3-5 December 2010.

I will be at New Orleans, November 20 and 21, for a pre-meeting to the Cyber Science and Security Review at Duke University, North Carolina, November 23, 2010.

I will be speaking at the Simons Conference on New Trends in Quantum Computation, Simons Center for Geometry and Physics, Stony Brook, 15-19 November 2010.

I will be speaking at the Basil Hiley Fest in honor of his 75th birthday, Helsinki, 12-13 November 2010.

I will be speaking at the 2010 Biennial Meetting of the Philosophy of Science Association, in a symposium on Category Theoretical Reflections on the Foundations of Physics, Montreal, November 4-6, 2010.

I will be speaking at the Sigma Club, Centre for the Philosophy of Natural and Social Science, London School of Economics, Monday, November 1st.

I will be speaking at Categorical (co)algebraic methods in quantum informatics and linguistics, Oxford, October 29-31, 2010.

I will be speaking at Quantum Physics and the Nature of Reality, Oxford, St Anne's, 26-29 September 2010.

The 7th Categories, Logic and Foundations of Physics will be at Birmingham, September 21, 2010.

I am in the PC of the 3rd International Workshop on Physics and Computation, on the Nile, Egypt, August 30 - September 4, 2010.

Simon Perdrix and I have a paper entitled Environment and classical channels in categorical quantum mechanics at CSL 2010, Brno, August 23-27, 2010. I am in the PC of the affiliated International Workshop on Categorical Logic and will give a talk there too, Brno, Czech Republic, 28-29 August 2010.

Lucien Hardy and I organize a quantum foundations workshop entitled Pictures, Quanta, Probability (PQP), Oxford, August 18-19 2010.

My student Ed Grefenstette and Mehrnoosh Sadrzadeh will be presenting joint work at the ESSLLI 2010 Workshop on Compositionality and Distributional Semantic Models, Copenhagen, August 16-20, 2010.

I am in the PC of the 17th Workshop on Logic, Language, Information and Computation (WoLLIC), Brasilia, Brazil, July 6-9, 2010.

I give a talk at The 2010 Workshop on Automated Mathematical Theory Exploration, Edinburgh, July 14-15, 2010.

Aleks Kissinger and I have a paper entitled The compositional structure of multipartite quantum entanglement at ICALP 2010, Bordeaux, July 5-10, 2010.

I attend the 5th International Computer Science Symposium in Russia (CSR), Kazan, Russia, June 16-20, 2010, and am the co-Chair of the affiliated workshop on Workshop on High Productivity Computations, June 21-22, 2010.

I will be participating in the Dagstuhl Seminar on The Semantics of Information, Dagstuhl, Germany, June 6-11, 2010.

Prakash Panangaden, Peter Selinger and I organised the 6th Quantum Physics and Logic workshop, Oxford, May 29-30, 2010. Invited speakers are John Baez and Louis Crane. It follows the QICS school mentioned below.

The QICS STREP which I coordinate organizes a School on Foundational Structures in Quantum Computation and Information at Oxford University Computing Laboratory, May 23-28, 2010.

I give a talk at the CQC seminar in Cambridge, Centre for Mathematical Sciences, April 22, 2010.

I give two talks at the Perimeter Institute, one on Quantum Information, March 30th, and one on Quantum Foundations, March 31st, 2010.

I will give a course on quantum computing at the 2010 Annual Meeting of the Association for Symbolic Logic, Washington DC, March 17-20, 2010. I will also speak in the special session on Logic \& Foundations of Physics at that event.

The 6th Categories, Logic and Foundations of Physics will be at Oxford, March 9, 2010.

Ross Duncan organized the final QNET workshop, where I also gave a talk, here at Oxford, 10-11 December, 2009.

I gave a number of talks in Beijing, at Beihang University of Aeronautics and Astronautics, at Tsinghua University, and at Capital Normal University, between November 25 - December 7, 2009.

I spoke at Quantum and Combinatorics, Zakopane, Poland, November 2009.

I spoke at the 2nd Annual Informatic Phenomena workshop, New Orleans, October 5-6, 2009.

I spoke at Conference on Representation Theory, Quantum Field Theory, Category Theory, Mathematical Physics and Quantum Information Theory, University of Texas at Tyler, October 1-4, 2009.

I spoke at the Computational Linguistic workshop organized by Mehrnoosh Sadrzadeh at Wolfson College, Oxford, September 21, 2009.

Ed Blakey, Jake Biamonte and I organized Complexity Resources in Physical Computation here at Oxford, August 24-26, 2009.

I HAD TO CANCEL: I will be speaking at Logical Aspects of Fault Tolerance (LAFT), an affiliated workshop of LiCS 2009, at UCLA, Los Angeles, August 15, 2009.

I spoke at Reconstructing Quantum Theory, at perimeter Institute, August 9-16, 2009.

The 5th Categories, Logic and Foundations of Physics was at Imperial College, August 6, 2009.

I HAD TO CANCEL: I will be speaking in the Topology in Computer Science Special Session of the 24th Topology and its Applications conference in Brno, Czech Republic, July 14-17, 2009.

I spoke at this year's Askloster meeting on mathematics in foundations of physics organised by Basil Hiley and Georg Wikman, July 22-22, 2009.

I spoke at the second FQXi conference, Ponta Delgada, Azores, July 7-12, 2009.

II spoke at the 3rd Summer School on Quantum Computation and Information in Mexico City, June 8-12, 2009.

There was an event called Categories, Quanta, Concepts at the Perimeter Institute for Theoretical Physics organised by Andreas Doering, Lucien Hardy and myself, June 1-5, 2009.

I HAD TO CANCEL: I will be speaking in the special session on Models of Computation at the 6th Annual Conference on Theory and Applications of Models of Computation, Changsha, China, May 18-22, 2009.

I spoke at Quantum Logic Inspired by Quantum Computation, Indiana University, May 11-12, 2009.

I gave a talk at the Perimeter Institute Colloquium, April 29, 2009.

Prakash Panangaden, Peter Selinger and I organised the 6th Quantum Physics and Logic workshop, Oxford, April 8-9, 2009. This took place immediately after MFPS 2009, also here in Oxford, where I organised tutorials on Quantum Information and Computation, in which i gave the first lecture.

The 88th Peripatetic Seminar on Sheaves and Logic celebrated the 60th birthdays of Martin Hyland and Peter Johnstone, Cambridge, 4-5 April, 2009.

I spoke at the Philosophy of Physics Research Seminar here in Oxford, 12 February, 2009.

The 4rd Categories, Logic and Foundations of Physics was at Imperial College, January 7, 2009.

I spoke at the 3rd QNET meeting, Edinburgh, December 18-19, 2008.

I gave a course entitled The three faces of diagrammatic quantum reasoning: operationalism, categorical algebra & linear logic at Foundations of Quantum Science & Technology - Expository quantum lectures series 2, Putra, Malaysia, November 24th-28th 2008.

I spoke at the Leeds Logic Seminar, November 19, 2008.

I spoke at the Oxford Logic Seminar, November 12, 2008.

I spoke in the Birmingham Theory Seminar, November 7, 2008.

I spoke at the 1st Annual Informatic Phenomena workshop in New Orleans, October 13-17, 2008.

The 3rd Categories, Logic and Foundations of Physics will be at Oxford, August 23-24, 2008. I gave a tutorial in qm which is available on the webpage.

Hans Briegel and I are organising QICS Workshop on Foundational Structures for Quantum Information and Computation, Obergurgl, Austria, September 14-20, 2008 which is supported by the EC FP6 STREP QICS, by my EPSRC ARF and by the Institute of Quantum Optics and Quantum Information (IQOQI) of the Austrian Academy of Sciences, and the University of Innsbruck. I give a tutorial on category theory at this event.

This year's Askloster meeting on mathematics in foundations of physics organised by Basil Hiley and Georg Wikman will take place July 24-27.

I speak in the Oxford Materials Department Lunch Seminar July 17, 2008.

The last OASIS seminar coordinated by me was July 17, 2008.

Prakash Panangaden and I co-chair The joint QPL'08 - DCM'08 workshops on Quantum Physics and Logic - Development of Computational Models, affiliated with ICALP'08, Rejkavik, Iceland, July 12-13, 2008. My student Bill Edwards will present our joint paper entitled Toy quantum categories.

Ross duncan will present a joint paper entitled Interacting quantum observables at ICALP'08, Rejkavik, Iceland, July 7-11, 2008.

My student Bill Edwards will be presenting our joint paper entitled Toy quantum categories at Category Theory 2008, Calais, France, June 22-28, 2008.

Viv Kendon and I co-organise a special session on Quantum Algorithms and Complexity at Computability in Europe 2008 - Logic and Theory of Algorithms, Athens, June 15-20, 2008. Ross duncan will present our joint ICALP08 paper in that session.

I will be in the PC of the Twenty-fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), University of Pennsylvania, Philadelphia, May 22-25, 2008. I will present a joint paper with Eric Paquette and Simon Perdrix entitled Bases in diagrammatic quantum protocols.

Andreas Doering and I coorganise the 2nd workshop on Categories, Logic and Foundations of Physics at Imperial College, May 14, 2008. There is a webpage for this series.

I will be speaking on an axiomatic approach to measurement-based quantum computing at New Directions in the Foundations of Physics, American Center for Physics, College Park, April 25 - 27, 2008. I'll be at NRl in Washington DC the days after.

The second QICS workshop will take place in Grenoble, April 5-7, 2008. This meeting is afiliated to the EC STREP QICS of which I am the coordinator.

Steve Clark and I co-organize Quantum Interaction II, Oxford University Computing Laboratory, March 26-28 (2.5 days), 2008

Prakash's Barbados workshop will this year be on Logic, Physics and Quantum Information Theory, March 17-21, 2008

I will be speaking at the 2008 Clifford Lectures at Tulane, New Orleans, March 12-15, 2008; almost at the same time in New Orleans, March 10-14, there is the March Meeting of the American Physical Society where Howard Barnum organises a Focus Session on Foundations of Quantum Mechanics.

I'll be giving a Fellow's Lecture at Wolfson College in Oxford on March 5, 2008.

The first review of the QICS project will take place in Paris on March 3, 2008 as part of the 2008 QIPC Cluster Review.

I will be speaking Oxford's Quantum Field theory seminar, January 15, 2008.

I will be speaking at Logic and Physics, Utrecht, January 11, 2008

Andreas Doering and I coorganise the 1st workshop on Categories, Logic and Foundations of Physics at Imperial College, January 9, 2008. There is a webpage for this series.

* I will talk in the Geometry Seminar at the University of Manchester on December 13th, 2007.

I will be speaking on the logic of Spekkens' toy model at QUOXIC, December 12, 2007.

The 2nd qnet workshop will be 10-11 December 2007 at the Royal Society in London.

I will be speaking at Structure and Identity, Royal Academy, Brussels, December 7-8, 2007

I will talk in the Colloquium of the Department of Pure Mathematics at the University of Sheffield on November 7th, 2007.

I will be speaking at Operational Approaches to Quantum Theory, CREA, Paris 5, October 12, 2007

I got invited to speak at von Neumann Memorial Lectures, Princeton University, October 3-4, 2007. The event also goes under the more poetic name: DEEP BEAUTY: Mathematical Innovation and the Search for an Underlying Intelligibility of the Quantum World.

I'll be speaking at The first International Iran Conference on Quantum Information (IICQI, Kish Island, Iran, September 7-10, 2007

Algebraic and topological methods in non-classical logic III, Oxford University, August 5-9, 2007. In particular, there will be satellite workshops to this conference including one on Categorical Quantum Logic, August 11-12, which I organise. pictures by Koslowski group picture

2007 Conference on Unconventional Computing, Bristol, UK, July 12-14, 2007 My student Ed Blakey will be presenting a single-author paper at this event.

This year's Askloster meeting on mathematics in foundations of physics organised by Basil Hiley and Georg Wikman will take place July 5-8. pictures

I'll give a plenary talk at Category Theory 2007, Carvoeiro, Portugal, June 17-23, 2007 pictures

I got invited to Quantum Theory: reconsideration of foundations-4, Vaxjo, Sweden, June 11-16, 2007

I'll be giving a talk in Nottingham the 11th of May.

I'll be speaking at Twenty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII), New Orleans, US, April 11-14, 2007, including: Special Session on Physics, Information and Computation organized by Keye Martin

23rd British Colloquium for Theoretical Computer Science, St. Anne's College, Oxford, April 2-5, 2007

Quantum Interaction, as part of AAAI Spring Symposia, Stanford University, California, March 26-28, 2007

Mathematical Methods for Reasoning about Security, Bellairs Research Institute, Barbados, March 19-23, 2007

Ross Duncan and I are organising the 1st QICS Workshop in Oxford, March 15-17, 2007

There will be a Q-day III, this time in Glasgow, December 4 and 5, which will also be the first meeting of the UK Network on Semantics of Quantum Computation

I'll give a mini-course on categorical quantum logic at 84th PSSL, Braunschweig, Saturday 14th and Sunday 15th October 2006

Can't make it to Computational Structures for Modelling Space, Time and Causality, Dagstuhl seminar 06341, August 20-25, 2006

I'm organizing Cats, Kets and Cloisters, July 17-23, 2006, Oxford University, UK

I'm organizing Quantum Programing Languages IV, July 17-19, 2006, Oxford University, UK

I'll give an invited talk at The 21st Summer Conference on Topology and its Applications, Georgia Southern University, July 6-9, 2006

I'll give an invited talk at Foundations of Probability and Physics-4, Vaxjo, Sweden, June 4-9, 2005

Association for Symbolic Logic Annual Meeting, Montreal, May 17-21, 2006 which in particular includes a Special session on Categorical Logic & Quantum Computation

83th PSSL, Glasgow, Saturday 6th and Sunday 7th May 2006

Logical and Semantical Methods in Quantum Computation II, Bellairs Research Institute, Barbados, March 20-24, 2005.

Vincent Danos and I co-organize Q-day II on Mathematical Structures in Quantum Informatics at the Institut Henry Poincare in Paris December 8-9, 2005.

I got invited to Mathematical Theory of Quantum Computation and Quantum Technology, Texas A&M University, November 13 - 16, 2005

I got invited to The Impact of Categories: 60 Years of Category Theory in Historical and Philosophical Retrospect, Ecole Normale Superieure, Paris, October 10-14, 2005

I'll be giving a (very) short category theory course and an invited talk at Quantum Information, Computation and Logic: Exploring New Connections, Perimeter Institute, Waterloo, Canada, July 17-22, 2005

Logic in Computer Science'05, Chicago, USA, June 26-July 1, 2005 including Quantum Programming Languages III, Chicago, USA, June 30-July 1, 2005

I'll give an invited talk at Quantum Theory: reconsideration of foundations-3, Vaxjo, Sweden, June 6-11, 2005

Twenty-first Conference on the Mathematical Foundations of Programming Semantics (MFPS XXI), University of Birmingham, May 18-21, 2005

Causality, Spacetime Topology and Domain Theory, Bellairs Research Institute, Barbados, April 25-29, 2005.

I'll participate in The Grand Challenge in Non-Classical Computation, International Workshop at York University, UK, April 18-19, 2005

I am organizing Logic from Quantales, Oxford, January 21, 2005

Second European Workshop on Multi-Agent Systems, Barcelona, December 16-17, 2004 Mehrnoosh Sadrzadeh will present joint work.

Mathematical Structures in Quantum Computing, PPS - Paris 7, 14 December, 2004.

The First OASIS seminar coordinated by me was October 15, 2004.