(1 - 8 von 8
)
Akademie věd
expro.math.cas.cz
Scientific Committee: Paul-André Mellies, Thomas Streicher, Steve Awodey, Ivan Di Liberti, Mirna Džamonja, Wiesław Kubiś, Jean-Pierre Marquis, David Corfield.
Institut Henri Poincaré
www.ihp.fr
Semantics of proofs and certified mathematics. 7 April, July, Organizers : Pierre-Louis Curien, Hugo Herbelin, Paul-André Mellies.
Wed April 9th
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
Oxford Department of Computer Science
www.cs.ox.ac.uk
Paul-Andre Mellies. Title: Dialogue categories and Frobenius LUNCH Glynn Winskel. Title: Quantum event structures and ...
TalTech
taltech.ee
Guy McCusker, Professor of Computer Science, University of Bath, United Kingdom;; Paul Andre Mellies, CNRS Researcher, Université Paris Denis Diderot, France.
etaps 2024
etaps.org
Concurrency (chair: Paul-Andre Mellies). Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey and Germán Andrés Delbianco. Communicating State Transition Systems ...
Programming languages in string diagrams
en.itu.dk
Programming languages in string diagrams. Title Programming languages in string diagrams. Lecturer Paul-Andre Mellies Organiser and registration
NYU Shanghai
shanghai.nyu.edu
— Paul-Andre Mellies. Visiting Associate Professor. Computer Science. Promethee Spathis. Visiting Associate Professor. Computer Science. Qing Li.
sortiert nach Relevanz / Datum