:facetid:toc:\"db/conf/fossacs/fossacs2020.bht\"OK:facetid:toc:db/conf/fossacs/fossacs2020.bhtJirí AdámekStefan MiliusLawrence S. MossOn Well-Founded and Recursive Coalgebras.FoSSaCS17-362020Conference and Workshop Papersopenconf/fossacs/AdamekMM2010.1007/978-3-030-45231-5_2https://doi.org/10.1007/978-3-030-45231-5_2https://dblp.org/rec/conf/fossacs/AdamekMM20URL#1745523S. Akshay 0001Blaise GenestLoïc HélouëtSharvik MitalTimed Negotiations.FoSSaCS37-562020Conference and Workshop Papersopenconf/fossacs/AkshayGHM2010.1007/978-3-030-45231-5_3https://doi.org/10.1007/978-3-030-45231-5_3https://dblp.org/rec/conf/fossacs/AkshayGHM20URL#1745524Mario Alvarez-PicalloJean-Simon Pacaud LemayCartesian Difference Categories.FoSSaCS57-762020Conference and Workshop Papersopenconf/fossacs/Alvarez-Picallo2010.1007/978-3-030-45231-5_4https://doi.org/10.1007/978-3-030-45231-5_4https://dblp.org/rec/conf/fossacs/Alvarez-Picallo20URL#1745525Béatrice BérardBenedikt BolligMathieu LehautNathalie SznajderParameterized Synthesis for Fragments of First-Order Logic Over Data Words.FoSSaCS97-1182020Conference and Workshop Papersopenconf/fossacs/BerardBLS2010.1007/978-3-030-45231-5_6https://doi.org/10.1007/978-3-030-45231-5_6https://dblp.org/rec/conf/fossacs/BerardBLS20URL#1745526Filippo BonchiRobin PiedeleuPawel Sobocinski 0001Fabio ZanasiContextual Equivalence for Signal Flow Graphs.FoSSaCS77-962020Conference and Workshop Papersopenconf/fossacs/BonchiPSZ2010.1007/978-3-030-45231-5_5https://doi.org/10.1007/978-3-030-45231-5_5https://dblp.org/rec/conf/fossacs/BonchiPSZ20URL#1745527Thomas ColcombetNathanaël FijalkowPierre OhlmannControlling a Random Population.FoSSaCS119-1352020Conference and Workshop Papersopenconf/fossacs/ColcombetFO2010.1007/978-3-030-45231-5_7https://doi.org/10.1007/978-3-030-45231-5_7https://dblp.org/rec/conf/fossacs/ColcombetFO20URL#1745528Zinovy DiskinGeneral Supervised Learning as Change Propagation with Delta Lenses.FoSSaCS177-1972020Conference and Workshop Papersopenconf/fossacs/Diskin2010.1007/978-3-030-45231-5_10https://doi.org/10.1007/978-3-030-45231-5_10https://dblp.org/rec/conf/fossacs/Diskin20URL#1745529Thomas EhrhardNon-idempotent Intersection Types in Logical Form.FoSSaCS198-2162020Conference and Workshop Papersopenconf/fossacs/Ehrhard2010.1007/978-3-030-45231-5_11https://doi.org/10.1007/978-3-030-45231-5_11https://dblp.org/rec/conf/fossacs/Ehrhard20URL#1745530Léo ExibardEmmanuel FiliotPierre-Alain ReynierOn Computability of Data Word Functions Defined by Transducers.FoSSaCS217-2362020Conference and Workshop Papersopenconf/fossacs/ExibardFR2010.1007/978-3-030-45231-5_12https://doi.org/10.1007/978-3-030-45231-5_12https://dblp.org/rec/conf/fossacs/ExibardFR20URL#1745531Alain FinkelSerge HaddadIgor KhmelnitskyMinimal Coverability Tree Construction Made Complete and Efficient.FoSSaCS237-2562020Conference and Workshop Papersopenconf/fossacs/FinkelHK2010.1007/978-3-030-45231-5_13https://doi.org/10.1007/978-3-030-45231-5_13https://dblp.org/rec/conf/fossacs/FinkelHK20URL#1745532Marcelo P. FioreAndrew M. PittsS. C. SteenkampConstructing Infinitary Quotient-Inductive Types.FoSSaCS257-2762020Conference and Workshop Papersopenconf/fossacs/FiorePS2010.1007/978-3-030-45231-5_14https://doi.org/10.1007/978-3-030-45231-5_14https://dblp.org/rec/conf/fossacs/FiorePS20URL#1745533Marcelo FiorePhilip SavilleRelative Full Completeness for Bicategorical Cartesian Closed Structure.FoSSaCS277-2982020Conference and Workshop Papersopenconf/fossacs/FioreS2010.1007/978-3-030-45231-5_15https://doi.org/10.1007/978-3-030-45231-5_15https://dblp.org/rec/conf/fossacs/FioreS20URL#1745534Mai GehrkeTomás JaklLuca ReggioA Duality Theoretic View on Limits of Finite Structures.FoSSaCS299-3182020Conference and Workshop Papersopenconf/fossacs/GehrkeJR2010.1007/978-3-030-45231-5_16https://doi.org/10.1007/978-3-030-45231-5_16https://dblp.org/rec/conf/fossacs/GehrkeJR20URL#1745535Cinzia Di GiustoLaetitia LaversaÉtienne LozesOn the k-synchronizability of Systems.FoSSaCS157-1762020Conference and Workshop Papersopenconf/fossacs/GiustoLL2010.1007/978-3-030-45231-5_9https://doi.org/10.1007/978-3-030-45231-5_9https://dblp.org/rec/conf/fossacs/GiustoLL20URL#1745536Gerco van HeerdtClemens KupkeJurriaan RotAlexandra Silva 0001Learning Weighted Automata over Principal Ideal Domains.FoSSaCS602-6212020Conference and Workshop Papersopenconf/fossacs/HeerdtKR02010.1007/978-3-030-45231-5_31https://doi.org/10.1007/978-3-030-45231-5_31https://dblp.org/rec/conf/fossacs/HeerdtKR020URL#1745537Mathieu HuotSam StatonMatthijs VákárCorrectness of Automatic Differentiation via Diffeologies and Categorical Gluing.FoSSaCS319-3382020Conference and Workshop Papersopenconf/fossacs/HuotSV2010.1007/978-3-030-45231-5_17https://doi.org/10.1007/978-3-030-45231-5_17https://dblp.org/rec/conf/fossacs/HuotSV20URL#1745538Patricia JohannAndrew PolonskyDeep Induction: Induction Rules for (Truly) Nested Types.FoSSaCS339-3582020Conference and Workshop Papersopenconf/fossacs/JohannP2010.1007/978-3-030-45231-5_18https://doi.org/10.1007/978-3-030-45231-5_18https://dblp.org/rec/conf/fossacs/JohannP20URL#1745539David M. KahnJan Hoffmann 0002Exponential Automatic Amortized Resource Analysis.FoSSaCS359-3802020Conference and Workshop Papersopenconf/fossacs/Kahn02010.1007/978-3-030-45231-5_19https://doi.org/10.1007/978-3-030-45231-5_19https://dblp.org/rec/conf/fossacs/Kahn020URL#1745540Tobias KappéPaul BrunetAlexandra Silva 0001Jana WagemakerFabio ZanasiConcurrent Kleene Algebra with Observations: From Hypotheses to Completeness.FoSSaCS381-4002020Conference and Workshop Papersopenconf/fossacs/KappeB0WZ2010.1007/978-3-030-45231-5_20https://doi.org/10.1007/978-3-030-45231-5_20https://dblp.org/rec/conf/fossacs/KappeB0WZ20URL#1745541Satoshi Kura 0001Graded Algebraic Theories.FoSSaCS401-4212020Conference and Workshop Papersopenconf/fossacs/Kura2010.1007/978-3-030-45231-5_21https://doi.org/10.1007/978-3-030-45231-5_21https://dblp.org/rec/conf/fossacs/Kura20URL#1745542Ugo Dal LagoGiulio GuerrieriWillem HeijltjesDecomposing Probabilistic Lambda-Calculi.FoSSaCS136-1562020Conference and Workshop Papersopenconf/fossacs/LagoGH2010.1007/978-3-030-45231-5_8https://doi.org/10.1007/978-3-030-45231-5_8https://dblp.org/rec/conf/fossacs/LagoGH20URL#1745543James LairdA Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus.FoSSaCS422-4412020Conference and Workshop Papersopenconf/fossacs/Laird2010.1007/978-3-030-45231-5_22https://doi.org/10.1007/978-3-030-45231-5_22https://dblp.org/rec/conf/fossacs/Laird20URL#1745544Ivan LaneseIain C. C. PhillipsIrek UlidowskiAn Axiomatic Approach to Reversible Computation.FoSSaCS442-4612020Conference and Workshop Papersopenconf/fossacs/LanesePU2010.1007/978-3-030-45231-5_23https://doi.org/10.1007/978-3-030-45231-5_23https://dblp.org/rec/conf/fossacs/LanesePU20URL#1745545Christof LödingAnton PirogovAmbiguity, Weakness, and Regularity in Probabilistic Büchi Automata.FoSSaCS522-5412020Conference and Workshop Papersopenconf/fossacs/LodingP2010.1007/978-3-030-45231-5_27https://doi.org/10.1007/978-3-030-45231-5_27https://dblp.org/rec/conf/fossacs/LodingP20URL#1745546Alessio MansuttiAn Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning.FoSSaCS462-4812020Conference and Workshop Papersopenconf/fossacs/Mansutti2010.1007/978-3-030-45231-5_24https://doi.org/10.1007/978-3-030-45231-5_24https://dblp.org/rec/conf/fossacs/Mansutti20URL#1745547Usama MehmoodShouvik RoyRadu GrosuScott A. SmolkaScott D. StollerAshish Tiwari 0001Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers.FoSSaCS1-162020Conference and Workshop Papersopenconf/fossacs/MehmoodRGSS02010.1007/978-3-030-45231-5_1https://doi.org/10.1007/978-3-030-45231-5_1https://dblp.org/rec/conf/fossacs/MehmoodRGSS020URL#1745548Thomas NeeleAntti ValmariTim A. C. WillemseThe Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.FoSSaCS482-5012020Conference and Workshop Papersopenconf/fossacs/NeeleVW2010.1007/978-3-030-45231-5_25https://doi.org/10.1007/978-3-030-45231-5_25https://dblp.org/rec/conf/fossacs/NeeleVW20URL#1745549Romain PéchouxSimon PerdrixMathys RennelaVladimir ZamdzhievQuantum Programming with Inductive Datatypes: Causality and Affine Type Theory.FoSSaCS562-5812020Conference and Workshop Papersopenconf/fossacs/PechouxPRZ2010.1007/978-3-030-45231-5_29https://doi.org/10.1007/978-3-030-45231-5_29https://dblp.org/rec/conf/fossacs/PechouxPRZ20URL#1745550Brigitte PientkaUlrich SchöppSemantical Analysis of Contextual Types.FoSSaCS502-5212020Conference and Workshop Papersopenconf/fossacs/PientkaS2010.1007/978-3-030-45231-5_26https://doi.org/10.1007/978-3-030-45231-5_26https://dblp.org/rec/conf/fossacs/PientkaS20URL#1745551Miriam PolzerSergey Goncharov 0001Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store.FoSSaCS542-5612020Conference and Workshop Papersopenconf/fossacs/Polzer02010.1007/978-3-030-45231-5_28https://doi.org/10.1007/978-3-030-45231-5_28https://dblp.org/rec/conf/fossacs/Polzer020URL#1745552David SherrattWillem HeijltjesTom GundersenMichel ParigotSpinal Atomic Lambda-Calculus.FoSSaCS582-6012020Conference and Workshop Papersopenconf/fossacs/SherrattHGP2010.1007/978-3-030-45231-5_30https://doi.org/10.1007/978-3-030-45231-5_30https://dblp.org/rec/conf/fossacs/SherrattHGP20URL#1745553Florian ZulegerThe Polynomial Complexity of Vector Addition Systems with States.FoSSaCS622-6412020Conference and Workshop Papersopenconf/fossacs/Zuleger2010.1007/978-3-030-45231-5_32https://doi.org/10.1007/978-3-030-45231-5_32https://dblp.org/rec/conf/fossacs/Zuleger20URL#1745554Jean Goubault-LarrecqBarbara König 0001Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, ProceedingsFoSSaCSLecture Notes in Computer Science12077Springer2020Editorshipopenconf/fossacs/202010.1007/978-3-030-45231-5https://doi.org/10.1007/978-3-030-45231-5https://dblp.org/rec/conf/fossacs/2020URL#1860822