INVITED 60 MIN PRESENTATIONS:
Terry Rudolph
Quantum computing, matrix permanents and why Bob Coecke isn't the only person who gets to do quantum mechanics by drawing trivial looking graphs
Andreas Winter
The Mother of All Protocols: Restructuring Quantum Information's Family Tree
ACCEPTED FOR 30 MIN FULL PRESENTATION:
Hans Briegel and Maarten Van den Nest
Measurementbased quantum computation and undecidable logic
Peter Selinger
Finite dimensional Hilbert spaces are complete for dagger compact closed categories
Lorenzo Maccone
A quantum solution to the arrowoftime dilemma
Jamie Vicary
Categorical formulation of C*algebras
Alejandro DiazCaro, Pablo Arrighi, Manuel Gadella and Jonathan Grattage
Measurements and confluence in quantum lambda calculus with explicit qubits
Howard Barnum and Alex Wilce
Information processing in convex operational theories: cloning, broadcasting, informationdisturbance, bit commitment
Howard Barnum and Alex Wilce
Teleportation protocols in categories of abstract state spaces
Benoit Valiron
On quantum and probabilistic linear lambdacalculi
Keye Martin
How to randomly flip a quantum bit
Yannick Delbecque
Game semantics for lambdacalculus with quantum data
Simon Perdrix
Partial observation of quantum Turing machine and weaker wellformedness condition
Ed Blakey
Computational complexity in nonTuring models of computation  the What, the Why and the How
Bob Coecke and Bill Edwards
Toy quantum categories
ACCEPTED FOR 15 MIN SHORT PRESENTATION:
Jonathan Grattage
An operational semantics for QML with a concrete implementation
Luca Bernardinello, Lucia Pomello, and Stefania Rombola
On orthomodular posets generated by transition systems
Larisse D. Voufo, Gerardo Ortiz and Amr Sabry
Quantum circuits: from a network to a oneway model
Amir M. Tavala, Soroosh Nazem and Ali A. BabaeiBrojeny
Verification of quantum protocols with probabilistic modelchecker
Juliana Kaizer Vizzotto and Andre Rauber Du Bois
Modelling parallel quantum computing using transactional memory
Ellie D'Hondt and Mehrnoosh Sadrzadeh
Classical knowledge for quantum security
