![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Propositions as Sessions
Propositions as SessionsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Neel Krishnaswami. Tbd This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsNuclear physics seminars Medical Imaging Research Seminars Seminars on Advanced MaterialsOther talksModelling uncertainty in image analysis. Sensing and metrology activities at NPL, India Geometry of alternating projections in metric spaces with bounded curvature TBC Ultrafast, all-optical, and highly efficient imaging of molecular chirality Hodge Theory: Connecting Algebra and Analysis |