Seminar for foundations of mathematics and theoretical computer sciencehttps://www.fmf.uni-lj.si/en/news/aggregator/190/seminar-temelji/Obvestila in dogodki iz vira Seminar for foundations of mathematics and theoretical computer science na Fakulteti za matematiko in fizikoenMon, 22 Apr 2024 14:26:14 +0000Filip Koprivec: Optimising subtyping coercions in a polymorphic calculus with effects, part 2https://www.fmf.uni-lj.si/en/news/event/1449/filip-koprivec-optimising-subtyping-coercions-in-a-polymorphic-calculus-with-effects-part-2/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1449/filip-koprivec-optimising-subtyping-coercions-in-a-polymorphic-calculus-with-effects-part-2/Filip Koprivec: Optimising subtyping coercions in a polymorphic calculus with effectshttps://www.fmf.uni-lj.si/en/news/event/1435/filip-koprivec-optimising-subtyping-coercions-in-a-polymorphic-calculus-with-effects/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1435/filip-koprivec-optimising-subtyping-coercions-in-a-polymorphic-calculus-with-effects/Andrej Bauer: When there are countably many realshttps://www.fmf.uni-lj.si/en/news/event/1423/andrej-bauer-when-there-are-countably-many-reals/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1423/andrej-bauer-when-there-are-countably-many-reals/Danel Ahman: Comodule Representations of Second-Order Functionalshttps://www.fmf.uni-lj.si/en/news/event/1389/danel-ahman-comodule-representations-of-second-order-functionals/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1389/danel-ahman-comodule-representations-of-second-order-functionals/Andrew Swan: Introduction to cubical models of type theory IIhttps://www.fmf.uni-lj.si/en/news/event/1360/andrew-swan-introduction-to-cubical-models-of-type-theory-ii/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1360/andrew-swan-introduction-to-cubical-models-of-type-theory-ii/Andrew Swan: Introduction to cubical models of type theoryhttps://www.fmf.uni-lj.si/en/news/event/1353/andrew-swan-introduction-to-cubical-models-of-type-theory/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1353/andrew-swan-introduction-to-cubical-models-of-type-theory/Andrej Bauer: Parametric realizabilityhttps://www.fmf.uni-lj.si/en/news/event/1343/andrej-bauer-parametric-realizability/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1343/andrej-bauer-parametric-realizability/Andrej Bauer: Autumn realizabilityhttps://www.fmf.uni-lj.si/en/news/event/1280/andrej-bauer-autumn-realizability/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1280/andrej-bauer-autumn-realizability/Martin Baillon: Talking with treeshttps://www.fmf.uni-lj.si/en/news/event/1260/martin-baillon-talking-with-trees/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1260/martin-baillon-talking-with-trees/Gauvain Devillez: Computer-assisted research in extremal graph theoryhttps://www.fmf.uni-lj.si/en/news/event/1220/gauvain-devillez-computer-assisted-research-in-extremal-graph-theory/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1220/gauvain-devillez-computer-assisted-research-in-extremal-graph-theory/Andrej Bauer: Instance reducibility and containershttps://www.fmf.uni-lj.si/en/news/event/1208/andrej-bauer-instance-reducibility-and-containers/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1208/andrej-bauer-instance-reducibility-and-containers/Danel Ahman: An overview of containers and their applicationshttps://www.fmf.uni-lj.si/en/news/event/1195/danel-ahman-an-overview-of-containers-and-their-applications/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1195/danel-ahman-an-overview-of-containers-and-their-applications/Dan Christensen: Manifolds in Homotopy Type Theoryhttps://www.fmf.uni-lj.si/en/news/event/1110/dan-christensen-manifolds-in-homotopy-type-theory/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1110/dan-christensen-manifolds-in-homotopy-type-theory/Matej Petković: Machine Learning on Agda Graphshttps://www.fmf.uni-lj.si/en/news/event/1082/matej-petkovic-machine-learning-on-agda-graphs/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1082/matej-petkovic-machine-learning-on-agda-graphs/Jure Taslak: Domain-specific type theory for finite mathematics (thesis proposal)https://www.fmf.uni-lj.si/en/news/event/1072/jure-taslak-domain-specific-type-theory-for-finite-mathematics-thesis-proposal/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1072/jure-taslak-domain-specific-type-theory-for-finite-mathematics-thesis-proposal/Danel Ahman: On monads and comonads for bidirected containershttps://www.fmf.uni-lj.si/en/news/event/1059/danel-ahman-on-monads-and-comonads-for-bidirected-containers/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1059/danel-ahman-on-monads-and-comonads-for-bidirected-containers/Egbert Rijke: Enriched graphs with applications to organic chemistry and trees, part 2https://www.fmf.uni-lj.si/en/news/event/1039/egbert-rijke-enriched-graphs-with-applications-to-organic-chemistry-and-trees-part-2/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1039/egbert-rijke-enriched-graphs-with-applications-to-organic-chemistry-and-trees-part-2/Egbert Rijke: Enriched graphs with applications to organic chemistry and treeshttps://www.fmf.uni-lj.si/en/news/event/1019/egbert-rijke-enriched-graphs-with-applications-to-organic-chemistry-and-trees/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1019/egbert-rijke-enriched-graphs-with-applications-to-organic-chemistry-and-trees/Tom de Jong and Ulrik Buchholz: On acyclic typeshttps://www.fmf.uni-lj.si/en/news/event/1001/tom-de-jong-and-ulrik-buchholz-on-acyclic-types/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/1001/tom-de-jong-and-ulrik-buchholz-on-acyclic-types/David Ellerman: To Interpret QM, “Follow the Math” – Math of QM = Hilbert Space version of Partition Mathhttps://www.fmf.uni-lj.si/en/news/event/972/david-ellerman-to-interpret-qm-follow-the-math-math-of-qm-hilbert-space-version-of-partition-math/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/972/david-ellerman-to-interpret-qm-follow-the-math-math-of-qm-hilbert-space-version-of-partition-math/Victor Blanchi: Toward a categorified version of Euler product formula for Riemann zeta function in HoTThttps://www.fmf.uni-lj.si/en/news/event/959/victor-blanchi-toward-a-categorified-version-of-euler-product-formula-for-riemann-zeta-function-in-hott/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/959/victor-blanchi-toward-a-categorified-version-of-euler-product-formula-for-riemann-zeta-function-in-hott/Ljupčo Todorovski: Symbolic machine learning on graphshttps://www.fmf.uni-lj.si/en/news/event/880/ljupco-todorovski-symbolic-machine-learning-on-graphs/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/880/ljupco-todorovski-symbolic-machine-learning-on-graphs/Ljupčo Todorovski: Machine learning on graphshttps://www.fmf.uni-lj.si/en/news/event/875/ljupco-todorovski-machine-learning-on-graphs/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/875/ljupco-todorovski-machine-learning-on-graphs/Matej Petković: Agda in machine-learnable formathttps://www.fmf.uni-lj.si/en/news/event/866/matej-petkovic-agda-in-machine-learnable-format/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/866/matej-petkovic-agda-in-machine-learnable-format/Paul Potgieter: A nonstandard approach to the Kakeya conjecturehttps://www.fmf.uni-lj.si/en/news/event/789/paul-potgieter-a-nonstandard-approach-to-the-kakeya-conjecture/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/789/paul-potgieter-a-nonstandard-approach-to-the-kakeya-conjecture/Anja Petković Komel: CheckMate – an automated framework for proving security of off-chain protocolshttps://www.fmf.uni-lj.si/en/news/event/767/anja-petkovic-komel-checkmate-an-automated-framework-for-proving-security-of-off-chain-protocols/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/767/anja-petkovic-komel-checkmate-an-automated-framework-for-proving-security-of-off-chain-protocols/Andrej Bauer: Countable reals – part IIhttps://www.fmf.uni-lj.si/en/news/event/761/andrej-bauer-countable-reals-part-ii/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/761/andrej-bauer-countable-reals-part-ii/Andrej Bauer: Countable reals – part Ihttps://www.fmf.uni-lj.si/en/news/event/753/andrej-bauer-countable-reals-part-i/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/753/andrej-bauer-countable-reals-part-i/Katarzyna Marek: Dependently-typed regex parsers. Idris2-TyRE and associated projecthttps://www.fmf.uni-lj.si/en/news/event/739/katarzyna-marek-dependently-typed-regex-parsers-idris2-tyre-and-associated-project/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/739/katarzyna-marek-dependently-typed-regex-parsers-idris2-tyre-and-associated-project/Egbert Rijke: What are schemes?https://www.fmf.uni-lj.si/en/news/event/728/egbert-rijke-what-are-schemes/Mathematics and theoretical computing seminarhttps://www.fmf.uni-lj.si/en/news/event/728/egbert-rijke-what-are-schemes/