BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//MFPS XLII & SSTT 2026//Conference Schedule//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:MFPS XLII & SSTT 2026
X-WR-TIMEZONE:Europe/Ljubljana
BEGIN:VTIMEZONE
TZID:Europe/Ljubljana
BEGIN:STANDARD
DTSTART:19701025T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19700329T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:20260601T090000-danel-ahman-jurriaan-rot-welcome-and-opening@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T090000
DTEND;TZID=Europe/Ljubljana:20260601T091500
SUMMARY:Danel Ahman\, Jurriaan Rot: Welcome and opening
DESCRIPTION:Danel Ahman\, Jurriaan Rot
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T091500-martín-escardó-an-inductive-recursive-universe-of-searchable@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T091500
DTEND;TZID=Europe/Ljubljana:20260601T101500
SUMMARY:Martín Escardó: An inductive-recursive universe of searchable ordinals
DESCRIPTION:Martín Escardó
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T101500-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T101500
DTEND;TZID=Europe/Ljubljana:20260601T104500
SUMMARY:Coffee break
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T104500-chad-nester-niels-voorneveld-a-simple-categorical-calculus-o@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T104500
DTEND;TZID=Europe/Ljubljana:20260601T111000
SUMMARY:Chad Nester\, Niels Voorneveld: A Simple Categorical Calculus of Interacting Processes
DESCRIPTION:Chad Nester\, Niels Voorneveld
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T111000-antonio-lorenzin-fabio-zanasi-approaching-the-continuous-fro@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T111000
DTEND;TZID=Europe/Ljubljana:20260601T113500
SUMMARY:Antonio Lorenzin\, Fabio Zanasi: Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
DESCRIPTION:Antonio Lorenzin\, Fabio Zanasi
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T113500-matthew-earnshaw-chad-nester-mario-román-monoidal-categories@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T113500
DTEND;TZID=Europe/Ljubljana:20260601T120000
SUMMARY:Matthew Earnshaw\, Chad Nester\, Mario Román: Monoidal categories graded by partial commutative monoids
DESCRIPTION:Matthew Earnshaw\, Chad Nester\, Mario Román
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T120000-ralph-sarkis-fabio-zanasi-complete-diagrammatic-axiomatisati@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T120000
DTEND;TZID=Europe/Ljubljana:20260601T122500
SUMMARY:Ralph Sarkis\, Fabio Zanasi: Complete Diagrammatic Axiomatisations of Relative Entropy
DESCRIPTION:Ralph Sarkis\, Fabio Zanasi
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T122500-lunch@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T122500
DTEND;TZID=Europe/Ljubljana:20260601T143000
SUMMARY:Lunch
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T143000-dominic-orchard-an-introduction-to-graded-logics-graded-type@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T143000
DTEND;TZID=Europe/Ljubljana:20260601T150000
SUMMARY:Dominic Orchard: An introduction to Graded Logics\, Graded Types\, and their Semantics
DESCRIPTION:Dominic Orchard
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T150000-francesco-gavazzo-algebraization-of-language-metatheory-the-@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T150000
DTEND;TZID=Europe/Ljubljana:20260601T153000
SUMMARY:Francesco Gavazzo: Algebraization of Language Metatheory: The Case of Coeffects
DESCRIPTION:Francesco Gavazzo
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T153000-shin-ya-katsumata-on-the-semantics-of-quantifications-over-e@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T153000
DTEND;TZID=Europe/Ljubljana:20260601T160000
SUMMARY:Shin-ya Katsumata: On the Semantics of Quantifications over Effects
DESCRIPTION:Shin-ya Katsumata
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T160000-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T160000
DTEND;TZID=Europe/Ljubljana:20260601T163000
SUMMARY:Coffee break
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T163000-hugo-paquet-glynn-winskel-concurrent-strategies-as-street-fi@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T163000
DTEND;TZID=Europe/Ljubljana:20260601T165500
SUMMARY:Hugo Paquet\, Glynn Winskel: Concurrent Strategies as Street Fibrations
DESCRIPTION:Hugo Paquet\, Glynn Winskel
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T165500-evan-cavallo-jonas-höfer-univalence-without-function-extensi@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T165500
DTEND;TZID=Europe/Ljubljana:20260601T172000
SUMMARY:Evan Cavallo\, Jonas Höfer: Univalence without function extensionality
DESCRIPTION:Evan Cavallo\, Jonas Höfer
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260601T172000-fahimeh-bayeh-peng-fu-peter-selinger-the-category-of-nominal@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260601T172000
DTEND;TZID=Europe/Ljubljana:20260601T174500
SUMMARY:Fahimeh Bayeh\, Peng Fu\, Peter Selinger: The category of nominal sets is locally Clouston closed
DESCRIPTION:Fahimeh Bayeh\, Peng Fu\, Peter Selinger
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T090000-joost-pieter-katoen-the-full-picture-generating-functions-fo@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T090000
DTEND;TZID=Europe/Ljubljana:20260602T100000
SUMMARY:Joost-Pieter Katoen: The Full Picture -- Generating Functions for Probabilistic Programs
DESCRIPTION:Joost-Pieter Katoen
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T100000-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T100000
DTEND;TZID=Europe/Ljubljana:20260602T103000
SUMMARY:Coffee break
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T103000-matteo-mio-colin-riba-compact-quantitative-equational-theori@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T103000
DTEND;TZID=Europe/Ljubljana:20260602T105500
SUMMARY:Matteo Mio\, Colin Riba: Compact Quantitative Equational Theories as Monad Restrictions
DESCRIPTION:Matteo Mio\, Colin Riba
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T105500-richard-garner-alyssa-renata-nicolas-wu-stone-duality-for-mo@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T105500
DTEND;TZID=Europe/Ljubljana:20260602T112000
SUMMARY:Richard Garner\, Alyssa Renata\, Nicolas Wu: Stone Duality for Monads
DESCRIPTION:Richard Garner\, Alyssa Renata\, Nicolas Wu
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T112000-nachiappan-valliappan-cover-semantics-for-intuitionistic-mod@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T112000
DTEND;TZID=Europe/Ljubljana:20260602T114500
SUMMARY:Nachiappan Valliappan: Cover Semantics for Intuitionistic Modalities
DESCRIPTION:Nachiappan Valliappan
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T114500-peter-hanukaev-harley-eades-iii-a-unification-of-graded-and-@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T114500
DTEND;TZID=Europe/Ljubljana:20260602T121000
SUMMARY:Peter Hanukaev\, Harley Eades III: A unification of graded and substructural logics
DESCRIPTION:Peter Hanukaev\, Harley Eades III
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T121000-lunch@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T121000
DTEND;TZID=Europe/Ljubljana:20260602T141500
SUMMARY:Lunch
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T141500-cristina-matache-an-equational-axiomatization-of-dynamic-thr@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T141500
DTEND;TZID=Europe/Ljubljana:20260602T151500
SUMMARY:Cristina Matache: An equational axiomatization of dynamic threads: towards concurrency as an algebraic effect
DESCRIPTION:Cristina Matache
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T151500-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T151500
DTEND;TZID=Europe/Ljubljana:20260602T154500
SUMMARY:Coffee break
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T154500-ana-sokolova-harald-woracek-convex-algebras-on-an-interval-w@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T154500
DTEND;TZID=Europe/Ljubljana:20260602T161000
SUMMARY:Ana Sokolova\, Harald Woracek: Convex algebras on an interval with semicontinuous monotone operations
DESCRIPTION:Ana Sokolova\, Harald Woracek
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T161000-cipriano-junior-cioffo-fabio-gadducci-davide-trotta-between-@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T161000
DTEND;TZID=Europe/Ljubljana:20260602T163500
SUMMARY:Cipriano Junior Cioffo\, Fabio Gadducci\, Davide Trotta: Between Markov and restriction. Two more monads on categories for relations
DESCRIPTION:Cipriano Junior Cioffo\, Fabio Gadducci\, Davide Trotta
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260602T163500-harrison-bennett-amin-farjudian-robustness-analysis-via-horo@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260602T163500
DTEND;TZID=Europe/Ljubljana:20260602T170000
SUMMARY:Harrison Bennett\, Amin Farjudian: Robustness Analysis via Horofunction Compactification
DESCRIPTION:Harrison Bennett\, Amin Farjudian
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T090000-ana-sokolova-coalgebraic-semantics-for-probability-and-other@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T090000
DTEND;TZID=Europe/Ljubljana:20260603T100000
SUMMARY:Ana Sokolova: Coalgebraic Semantics for Probability and Other Effects: from Bisimilarity to epsilon-Bisimilarity
DESCRIPTION:Ana Sokolova
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T100000-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T100000
DTEND;TZID=Europe/Ljubljana:20260603T103000
SUMMARY:Coffee break
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T103000-liron-cohen-ariel-grunfeld-multicategorical-semantics-for-un@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T103000
DTEND;TZID=Europe/Ljubljana:20260603T105500
SUMMARY:Liron Cohen\, Ariel Grunfeld: Multicategorical Semantics for Untyped Effects
DESCRIPTION:Liron Cohen\, Ariel Grunfeld
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T105500-peter-mosses-jesper-cockx-bernhard-reus-mechanising-denotati@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T105500
DTEND;TZID=Europe/Ljubljana:20260603T112000
SUMMARY:Peter Mosses\, Jesper Cockx\, Bernhard Reus: Mechanising Denotational Semantics in Agda
DESCRIPTION:Peter Mosses\, Jesper Cockx\, Bernhard Reus
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T112000-paul-andré-melliès-federico-olimpieri-lionel-vaux-auclair-an@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T112000
DTEND;TZID=Europe/Ljubljana:20260603T114500
SUMMARY:Paul-André Melliès\, Federico Olimpieri\, Lionel Vaux Auclair: An explicit shuffle construction of the homotopy span model of linear logic
DESCRIPTION:Paul-André Melliès\, Federico Olimpieri\, Lionel Vaux Auclair
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T114500-louis-lemonnier-non-cartesian-guarded-recursion-with-daggers@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T114500
DTEND;TZID=Europe/Ljubljana:20260603T121000
SUMMARY:Louis Lemonnier: Non-Cartesian Guarded Recursion with Daggers
DESCRIPTION:Louis Lemonnier
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T121000-lunch@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T121000
DTEND;TZID=Europe/Ljubljana:20260603T141500
SUMMARY:Lunch
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T141500-opening@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T141500
DTEND;TZID=Europe/Ljubljana:20260603T142000
SUMMARY:Opening
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T142000-martin-escardó-mathematical-and-computational-explorations-w@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T142000
DTEND;TZID=Europe/Ljubljana:20260603T144500
SUMMARY:Martin Escardó: Mathematical and computational explorations with Alex
DESCRIPTION:Martin Escardó
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T144500-james-brotherston-conversations-with-my-supervisor@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T144500
DTEND;TZID=Europe/Ljubljana:20260603T151000
SUMMARY:James Brotherston: Conversations With My Supervisor
DESCRIPTION:James Brotherston
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T151000-willem-heijltjes-observations-in-semantics-via-the-functiona@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T151000
DTEND;TZID=Europe/Ljubljana:20260603T153500
SUMMARY:Willem Heijltjes: Observations in semantics via the Functional Machine Calculus
DESCRIPTION:Willem Heijltjes
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T153500-matteo-mio-on-the-convexity-of-the-wasserstein-lifting@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T153500
DTEND;TZID=Europe/Ljubljana:20260603T160000
SUMMARY:Matteo Mio: On the convexity of the Wasserstein lifting
DESCRIPTION:Matteo Mio
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T160000-john-longley-video-thirty-five-years-of-inspiration-a-person@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T160000
DTEND;TZID=Europe/Ljubljana:20260603T161000
SUMMARY:John Longley (video): Thirty-five years of inspiration: a personal tribute to Alex
DESCRIPTION:John Longley (video)
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T161000-gordon-plotkin-video-on-alex-simpson-s-scientific-contributi@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T161000
DTEND;TZID=Europe/Ljubljana:20260603T161500
SUMMARY:Gordon Plotkin (video): On Alex Simpson's scientific contributions
DESCRIPTION:Gordon Plotkin (video)
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T161500-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T161500
DTEND;TZID=Europe/Ljubljana:20260603T164500
SUMMARY:Coffee break
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T164500-alex-simpson-simple-proofs-and-semantics-for-a-simple-probab@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T164500
DTEND;TZID=Europe/Ljubljana:20260603T174500
SUMMARY:Alex Simpson: Simple Proofs and Semantics for a Simple Probabilistic Language
DESCRIPTION:Alex Simpson
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260603T174500-champagne-reception-for-alex-simpson-s-60th-birthday@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260603T174500
DTEND;TZID=Europe/Ljubljana:20260603T181500
SUMMARY:Champagne Reception for Alex Simpson’s 60th Birthday
LOCATION:Hajdrihova 28\, H.001
END:VEVENT
BEGIN:VEVENT
UID:20260604T090000-anders-mörtberg-and-peter-lefanu-lumsdaine-welcome-and-openi@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T090000
DTEND;TZID=Europe/Ljubljana:20260604T090100
SUMMARY:Anders Mörtberg and Peter LeFanu Lumsdaine: Welcome and opening
DESCRIPTION:Anders Mörtberg and Peter LeFanu Lumsdaine
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T090100-steve-awodey-and-joseph-hua-path-types-in-algebraic-type-the@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T090100
DTEND;TZID=Europe/Ljubljana:20260604T093000
SUMMARY:Steve Awodey and Joseph Hua: Path types in algebraic type theory
DESCRIPTION:Steve Awodey and Joseph Hua
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T093000-luna-strah-topological-properties-are-logical-principles-in-@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T093000
DTEND;TZID=Europe/Ljubljana:20260604T100000
SUMMARY:Luna Strah: Topological properties are logical principles in topological models
DESCRIPTION:Luna Strah
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T100000-evan-cavallo-and-christian-sattler-taming-reversals-in-cubic@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T100000
DTEND;TZID=Europe/Ljubljana:20260604T103000
SUMMARY:Evan Cavallo and Christian Sattler: Taming reversals in cubical type theories
DESCRIPTION:Evan Cavallo and Christian Sattler
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T103000-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T103000
DTEND;TZID=Europe/Ljubljana:20260604T110000
SUMMARY:Coffee break
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T110000-reid-barton-homotopy-theory-in-an-ex-lex-completion@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T110000
DTEND;TZID=Europe/Ljubljana:20260604T120000
SUMMARY:Reid Barton: Homotopy theory in an ex/lex completion
DESCRIPTION:Reid Barton
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T120000-lunch@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T120000
DTEND;TZID=Europe/Ljubljana:20260604T140000
SUMMARY:Lunch
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T140000-astra-kolomatskaia-and-michael-shulman-inverse-diagram-model@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T140000
DTEND;TZID=Europe/Ljubljana:20260604T143000
SUMMARY:Astra Kolomatskaia and Michael Shulman: Inverse diagram models in CwFs via parametricity
DESCRIPTION:Astra Kolomatskaia and Michael Shulman
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T143000-maximilian-petrowitsch-and-daniël-apol-elementary-toposes-fr@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T143000
DTEND;TZID=Europe/Ljubljana:20260604T150000
SUMMARY:Maximilian Petrowitsch and Daniël Apol: Elementary ∞-toposes from type theory
DESCRIPTION:Maximilian Petrowitsch and Daniël Apol
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T150000-el-mehdi-cherradi-generalized-inverse-diagrams-in-tribes@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T150000
DTEND;TZID=Europe/Ljubljana:20260604T153000
SUMMARY:El Mehdi Cherradi: Generalized inverse diagrams in tribes
DESCRIPTION:El Mehdi Cherradi
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T153000-andré-hirschowitz-tom-hirschowitz-and-ambroise-lafont-direct@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T153000
DTEND;TZID=Europe/Ljubljana:20260604T160000
SUMMARY:André Hirschowitz\, Tom Hirschowitz and Ambroise Lafont: Direct initial-algebra semantics for (multimodal) dependent type theories
DESCRIPTION:André Hirschowitz\, Tom Hirschowitz and Ambroise Lafont
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T160000-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T160000
DTEND;TZID=Europe/Ljubljana:20260604T163000
SUMMARY:Coffee break
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T163000-jacob-neumann-on-auto-synthesis@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T163000
DTEND;TZID=Europe/Ljubljana:20260604T170000
SUMMARY:Jacob Neumann: On auto-synthesis
DESCRIPTION:Jacob Neumann
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T170000-tristan-bice-dependent-types-simplified@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T170000
DTEND;TZID=Europe/Ljubljana:20260604T173000
SUMMARY:Tristan Bice: Dependent types simplified
DESCRIPTION:Tristan Bice
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260604T173000-riccardo-borsetto-a-canonical-normal-form-theorem-for-the-ty@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260604T173000
DTEND;TZID=Europe/Ljubljana:20260604T180000
SUMMARY:Riccardo Borsetto: A canonical normal form theorem for the type theory of regular categories
DESCRIPTION:Riccardo Borsetto
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T090000-danel-ahman-andrej-bauer-and-sewon-park-toward-a-setoid-mode@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T090000
DTEND;TZID=Europe/Ljubljana:20260605T093000
SUMMARY:Danel Ahman\, Andrej Bauer and Sewon Park: Toward a setoid model of oracle computations
DESCRIPTION:Danel Ahman\, Andrej Bauer and Sewon Park
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T093000-niyousha-najmaei-niels-van-der-weide-benedikt-ahrens-and-pai@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T093000
DTEND;TZID=Europe/Ljubljana:20260605T100000
SUMMARY:Niyousha Najmaei\, Niels van der Weide\, Benedikt Ahrens and Paige Randall North: A type theory for comprehension categories
DESCRIPTION:Niyousha Najmaei\, Niels van der Weide\, Benedikt Ahrens and Paige Randall North
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T100000-julien-marquet-wagner-and-sophie-d-espalungue-dimensional-in@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T100000
DTEND;TZID=Europe/Ljubljana:20260605T103000
SUMMARY:Julien Marquet-Wagner and Sophie D'Espalungue: Dimensional information in a type theory with a definitionally proof irrelevant layer
DESCRIPTION:Julien Marquet-Wagner and Sophie D'Espalungue
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T103000-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T103000
DTEND;TZID=Europe/Ljubljana:20260605T110000
SUMMARY:Coffee break
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T110000-ambrus-kaposi-towards-higher-observational-type-theory@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T110000
DTEND;TZID=Europe/Ljubljana:20260605T120000
SUMMARY:Ambrus Kaposi: Towards Higher Observational Type Theory
DESCRIPTION:Ambrus Kaposi
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T120000-lunch@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T120000
DTEND;TZID=Europe/Ljubljana:20260605T140000
SUMMARY:Lunch
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T140000-paul-taylor-completeness-for-display-categories@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T140000
DTEND;TZID=Europe/Ljubljana:20260605T143000
SUMMARY:Paul Taylor: Completeness for display categories
DESCRIPTION:Paul Taylor
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T143000-jesse-sigal-ohad-kammar-and-justus-matthiesen-universally-co@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T143000
DTEND;TZID=Europe/Ljubljana:20260605T150000
SUMMARY:Jesse Sigal\, Ohad Kammar and Justus Matthiesen: Universally coherent semantics of type theories
DESCRIPTION:Jesse Sigal\, Ohad Kammar and Justus Matthiesen
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T150000-hugo-herbelin-on-the-syntax-of-categorical-structures-for-de@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T150000
DTEND;TZID=Europe/Ljubljana:20260605T153000
SUMMARY:Hugo Herbelin: On the syntax of categorical structures for dependent types
DESCRIPTION:Hugo Herbelin
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T153000-szumi-xie-and-viktor-bense-formalizing-type-theory-through-t@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T153000
DTEND;TZID=Europe/Ljubljana:20260605T160000
SUMMARY:Szumi Xie and Viktor Bense: Formalizing type theory through transport hell
DESCRIPTION:Szumi Xie and Viktor Bense
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T160000-coffee-break@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T160000
DTEND;TZID=Europe/Ljubljana:20260605T163000
SUMMARY:Coffee break
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T163000-lide-grotenhuis-and-daniël-otten-unravelling-abstract-cyclic@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T163000
DTEND;TZID=Europe/Ljubljana:20260605T170000
SUMMARY:Lide Grotenhuis and Daniël Otten: Unravelling abstract cyclic proofs into proofs by induction
DESCRIPTION:Lide Grotenhuis and Daniël Otten
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T170000-péter-korpa-ambrus-kaposi-and-szumi-xie-first-order-logic-as@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T170000
DTEND;TZID=Europe/Ljubljana:20260605T173000
SUMMARY:Péter Korpa\, Ambrus Kaposi and Szumi Xie: First order logic as a Second order generalised algebraic theory
DESCRIPTION:Péter Korpa\, Ambrus Kaposi and Szumi Xie
LOCATION:Jadranska 21\, 2.05
END:VEVENT
BEGIN:VEVENT
UID:20260605T173000-benno-van-den-berg-bastiaan-laarakker-and-daniël-otten-const@mfps-sstt-2026
DTSTAMP:20260616T054131Z
DTSTART;TZID=Europe/Ljubljana:20260605T173000
DTEND;TZID=Europe/Ljubljana:20260605T180000
SUMMARY:Benno van den Berg\, Bastiaan Laarakker and Daniël Otten: Constructing (co)inductive types using large sizes
DESCRIPTION:Benno van den Berg\, Bastiaan Laarakker and Daniël Otten
LOCATION:Jadranska 21\, 2.05
END:VEVENT

END:VCALENDAR