LZI - Schloss Dagstuhl - Talks + Materials of Seminar 09502
Seminar 09502
Ernst-Erich Doberkat, (University of Dortmund, DE), Alexander Kurz, (University of Leicester, GB)
Upload or overwrite a document file and/or change title of talk Due to caching problems of microsofts internet explorer concerning dynamic webpages, sometimes newly uploaded files are not shown. By pressing [CTRL]+[F5], the page is completely reloaded.
Samson Abramsky , University of Oxford
Coalgebras, Chu Spaces, and Representations of Physical Systems
Abstracts:
Jiri Adamek , TU Braunschweig
Terminal Coalgebras in Many-Sorted Sets
Abstracts:
Nick Bezhanishvili , Imperial College London
Model theory of descriptive frames
Abstracts:
Marta Bilkova , Charles University - Prague
Universal property of nabla modality
Abstracts:
Vincenzo Ciancia , Univ. Comp. de Madrid
Families: an efficient categorical model of computation with resources
Abstracts:
Corina Cirstea , University of Southampton
Path-Based Coalgebraic Temporal Logics
Abstracts:
Josee Desharnais , Université Laval - Québec
A Demonic Approach to Information in Probabilistic Systems
Abstracts:
Fabio Gadducci , University of Pisa
On a Presheaf Environment for the Calculus of Explicit Fusions
Abstracts:
Mai Gehrke , Radboud University Nijmegen
Extended Stone duality and canonical extensions
Abstracts:
H. Peter Gumm , Universität Marburg
Coalgebraic types
Abstracts:
Helle Hvid Hansen , TU Eindhoven
Bialgebras of Bitstream Arithmetic and Mealy Machines
Abstracts:
Bart Jacobs , Radboud University Nijmegen
Convexity and Duality
Abstracts:
Bartek Klin , University of Cambridge
Modal logic and bialgebras
Abstracts:
Clemens Kupke , Imperial College London
Tableaux for coalgebraic fixpoint logics
Abstracts:
Raul Leal , University of Amsterdam
Predicate liftings and Nabla together at last!
Abstracts:
Paul Blain Levy , University of Birmingham
Similarity quotients as final coalgebras
Abstracts:
Stefan Milius , TU Braunschweig
A Sound and Complete Expression Calculus for Linear Systems
Abstracts:
Lawrence S. Moss , Indiana Univ. - Bloomington
Coalgebra and the Logic of Recursion
Abstracts:
Dirk Pattinson , Imperial College London
Optimal Tableau Algorithms for Coalgebraic Logics
Abstracts:
Daniela Petrisan , University of Leicester
Applications of universal-algebraic functors
Abstracts:
Lutz Schroeder , DFKI Bremen
Coalgebraic Correspondence Theory
Abstracts:
Christoph Schubert , TU Dortmund
Expressivity of coalgebraic logic over measurable spaces
Abstracts:
Ana Sokolova , Universität Salzburg
Exemplaric Expressivity of Modal Logics
Abstracts:
Sam Staton , University of Cambridge
Semantics and modal logics for process languages with names and substitutions
Abstracts:
Jiri Velebil , Czech Technical University
Sifted Colimits and Presentations of Functors
Abstracts:
Yde Venema , University of Amsterdam
Coalgebra automata (towards a universal theory of automata)
Abstracts:
The Vietoris construction from the perspective of (co-)algebraic modal logic
Abstracts:
Chunlai Zhou , Tsinghua University Beijing
A Guided Maximal Consistent Extension Theorem for Probability Logic
Abstracts:
All data on this page is
Copyright © by LZI - Schloss Dagstuhl GmbH,
D-66687 Wadern, Germany
Downloading and accessing this page for personal use is
permitted and free of charge. Accessing this page for
commercial use and/or indexing it in order to make it
searchable is strictly prohibited without prior written
consent.
