Showing 10 results

Archival description
Pavlovic, Dusko
Print preview
Card view Table view
24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium / 8/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Introductory remarks / Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC / Kryzysztof Worytkievicz: The folk-model structure for omega-categories / Nicola Gambino: The associated sheaf factor in algebraic set theory / Peter Johnstone: Quadrangle clubs / Paul Andre Mellies: First-order logical duality / 09/09/07: Mark Weber: Parametric right adjoints theorem for simplicial resolutions / Dusko Pavlovic: The geometry of abstraction (and/or authentication)
MWC-MW0002560 · Item
Part of Michael Wright Collection
12/08/07 Oxford computer science lab: Coffee break conversations / Dusko Pavlovic: Geometry of data abstraction in quantum computing / Eric Paquette: Anyons & ribbon categories / Coffee break conversations incl D Pavlov re definitions of adequate/co-adequate subcategories of a category / Ross Duncan: Quantum entanglement & freely constructed compact categories / Final conversations incl M Jabalidze re role of further adjoints enriched over a category
MWC-MW0002579 · Item
Part of Michael Wright Collection
12/08/07 Oxford computer science lab: Coffee break conversations / Dusko Pavlovic: Geometry of data abstraction in quantum computing / Eric Paquette: Anyons & ribbon categories / Coffee break conversations /Ross Duncan: Quantum entanglement & freely constructed compact categories / Final conversations / 25/09/07 F.E.R.T 2007 conference, Moscow: Coffee break conversations / M Paun: Talk (incomplete) / Coffee break conversations / Dinner discussions / 26/09/07 MW microphone test / 28/09/07 MW microhpone test / 28/09/07 Moscow: Lunch conversations / Religious singing / Live music / 30/09/07 Dmitri Pavlov's house, Moscow: Jose G Vargas: Exposition re key conceptual episodes in the development of differential geometry from Riemann to grassman to Cartan / Jose G Vargas: Exposition part II / 01/10/07: Jose G Vargas: Exposition part III / Jose G Vargas: Exposition part IV / Conversations incl D Pavlov & J G Vargas re their respective views on the role within the formalisms of physics and math of the complex number...
MWC-MW0002548 · Item
Part of Michael Wright Collection
12/08/07 CQL 2007, Oxford science lab: AM coffee break conversations / Dusko Pavlovic: Geometry of data abstraction in quantum computing / Eric Paquette: Anyons & ribbon categories / PM coffee break conversations / Ross Duncan: Quantum entanglement and freely constructed compact categeories / Final conversations / 09/09/07 Dusko Pavlovic (incomplete) / subsequent discussion / 11/09/07: Meeting for 60th Birthday of Jean-Yves Girard, IHP, Paris: Olivier Laurent: Is not not A=A? / Iekke Moerdijk: Trees, Tensors and weak higher categories / Bernard Teissier: Cognition & foundations / Thierry Paul: How to go from quantum to classical systems by letting the dimension diverge / MW trip from IHP to hotel
MWC-MW0002561 · Item
Part of Michael Wright Collection