×
Studying Physics Studying Mathematics Research The Faculty SL
Events News Staff Directory Timetables For staff Search

Niels Voorneveld and Aliaume Lopez: Effectful Applicative Bisimilarity

Date of publication: 18. 4. 2017
Mathematics and theoretical computing seminar
Torek, 18. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Niels and Aliaume will give an outline of the paper "Effectful Applicative Bisimilarity: Monads, Relators and the Howe's Method", by Dal Lago, Gavazo and Levy, which has been accepted at LICS 2017.
Thu
5
Dec
Rafaël Bocquet: For the metatheory of type theory, internal sconing is enough
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
28
Nov
Alex Simpson: A Tutorial on Sheaf Semantics
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.07
Thu
7
Nov
Andrew Swan: Introduction to Lifschitz realizability
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
17
Oct
Hajime Ishihara: A constructive theory of uniform spaces and its application to integration theory
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
10
Oct
Andrew Swan: Computable and non-computable 2-groups
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07

All news