You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Vladimir Zamdzhiev (May 20 2020 at 15:41):MFPS (International Conference on Mathematical Foundations of Programming Semantics) is taking place June 2-6 online. The conference is joint with QPL and if you want to participate (in one or both) you have to register here.
Invited Speakers and Special Sessions
Special session on Probabilistic programming languages
Special session on Quantum programming - joint with QPL
Accepted papers:
Alejandro Aguirre and Shin-ya Kastumata. Weakest preconditions in
fibrations
Abbas Edalat, Amin Farjudian, Mina Mohammadian and Dirk Pattinson.
Domain Theoretic Second-Order Euler’s Method for Solving Initial Value
Problems.
Tao Gu, Alexandra Silva and Fabio Zanasi. Hennessy-Milner Results for
Probabilistic PDL.
Linan Chen, Florence Clerc and Prakash Panangaden. Towards a
classification of behavioural equivalences in continuous-time Markov
processes.
Niels Voorneveld. Combining Algebraic Effect Descriptions using the
Tensor of Complete Lattices.
Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger. Eilenberg-Kelly
reloaded.
Paolo Perrone and Tobias Fritz. Monads, partial evaluations, and
rewriting.
Thomas Paine. A pebbling comonad for finite rank and variable logic,
and an application to the equirank-variable homomorphism preservation
theorem.
Ernest Manes. Continuous Monads.
Roy Crole, Samuele Buro and Isabella Mastroeni. Equational Logic and
Categorical Semantics for Multi-Languages.
Nicolas Blanco and Noam Zeilberger. Bifibrations of Polycategories and
Classical Linear Logic.
Ryan Kavanagh. Some Properties of Parametrized Fixed Points on
O-Categories.