Walter anton setzer biography template

  • Item 2 of 5
  • 24 Biography Templates and Examples (Word | PDF | Google Docs)
  • Item 1 of 5
  • Settings

    • Slides of Talks given by Anton Setzer

    • TODO
    • TODO
      • Anton Setzer: A model for the extended predicative Mahlo Universe (joint work with Reinhard Kahle)
      • Stephan Adelsberger, Anton Setzer, Eric Walkingshaw: Declarative GUIs: Simple, Consistent, and Verified.
      • Anton Setzer: The extended predicative Mahlo universe and the need for partial proofs and partial objects in type theory
        • Talk given at workshop Proofs and Computation, Hausdorff Institute, Bonn, Germany, 4 July
        • Slides
        • Abstract
      • Ulrich Berger and Anton Setzer: Undecidability of Equality for Codata Types
      • Anton Setzer: Simulating codata types using coalgebras
      • Reinhard Kahle, Anton Setzer: Beyond the limits of the Curry-Howard isomorphism.

        • Talk given at Types , Braga.
        • abstract
        • slides
      • Anton Setzer (Joint work with Reinhard Kahle, Lisbon): The extended predicative Mahlo universe in explicit mathematics - Model Construction
      • Anton Setzer (joint work with Reinhard Kahle, Lisbon): The extended predicative Mahlo Universe in Explicit Mathematics - Model Construction
      • Anton Setzer: Modelling Bitcoins in Agda
      • Anton Setzer: Programming with GUIs in Agda
      • Stephan Adelsberger (WU Vienna) and Anton Setzer:
        • Talk given at Seminar in Theoretical Computer Science, Dept.

          of Computer Science, Swansea University, Swansea UK, 10 April

        • Part 1 given by Anton Setzer
        • Part 2 given by Stephan Adelsberger
      • Anton Setzer: Object-oriented programming in dependent type theory
      • Anton Setzer: GUIs, Object Based Programming, and Processes in Agda
      • Bashar Igried, Anton Setzer: Programming with Monadic CSP-Style Processes in Dependent Type Theory (Talk given by Bashar Igried, joint work with Anton Setzer)
      • Anton Setzer: Programming with Objects in Theorem Provers based on Martin Löf Type Theory
      • Bashar Igried, Anton Setzer: Programming with Monadic CSP-Style Processes in Dependent Type Theory (talk given by Bashar Igried, joint work with Anton Setzer)
      • Bashar Igried, Anton Setzer: Coinductive Reasoning in Dependent Type Theory - Copatterns, Objects, Processes (joint work with Bashar Igried)
      • Bashar Igried, Anton Setzer: Representing the Process Algebra CSP in Type Theory (Talk given by Bashar Igried, Joint Work with Anton Setzer)
      • Anton Setzer: The Use of the Coinduction Hypothesis in Coinductive Proofs
      • Anton Setzer: Schemata for Proofs by Coinduction
      • Anton Setzer: Writing GUIs in Agda using Objects (see and start with )
      • Anton Setzer: The Role of the Coinduction Hypothesis in Coinductive Proofs
      • A Minicourse in Martin-Löf Type Theory - Algebras, Coalebras, and Interactive Theorem Proving.

      • Coinduction, How to Reason Informally Coinductively.

        Walter anton setzer biography template word Author's version postscript. Journal of Logic and Algebraic Programming 66, 1 - 49, Setzer : Wheels , 8 pp, Crosilla and P.

        Talk given at the PCV seminar, Swansea.

      • How to Reason Informally Coinductively. Agda Implementors Meeting XXI, Chalmers, Gothenburg, Sweden,
      • How to Reason Informally Coinductively. PCC, Oslo
      • Pattern and Copattern matching. Leeds Logic Seminar
      • Closing the validation Gap.

        Talk given at Workshop on Logical Analysis of Descriptions and their Representations. NII Shonan Meeting, Shonan Village Center, Japan, 26 - 29 January (Second page about meeting). Abstract

      • Extraction of programs from proofs using postulated axioms (joint work with Chi Ming Chuang). Talk given at JAIST Logic Seminar Series, JAIST, Japan, 22 January Abstract
      • Anton Setzer, Andreas Abel, Brigitte Pientka and David Thibodeau: Unnesting of Copatterns Talk given at RTA-TLCA , Vienna, 14 - 17 July (Doi /_3, BibTeX, Pdf (Author's version))
      • Reinhard Kahle, Anton Setzer: The limits of the Curry-Howard isomorphism Talk given at workshop Functions, Proofs, Concepts (FPC), Tübingen, 21 February (abstract)
      • Pattern and Copattern Matching Talk given at Advances in Proof Theory Workshop dedicated to the 60th birthday of Professor Gerhard Jäger.

        Bern, Switzerland, 13 - 14 December (Abstract)

      • The dual of pattern matching - copattern matching Talk given at Theoretical Computer Science Seminar, Birmingham, Friday 22 November (Abstract)
      • Unfolding Nested Patterns and Copatterns Talk given at NII Shonan Meeting on Coinduction for computation structures and programming languages, Shonan Village Center, Japan, 6 - 10 Oct (Abstract)
      • Coalgebraic Programming Using Copattern Matching Talk given at Continuity, Computability, Constructivity - From Logic to Algorithms (CCC ) Swansea University/Gregynog, , June (Abstract)
      • Induction-Recursion - 20 years later (Slides still in need of some improvement -- still need some small addition of references to work by Coquand; screen shots of papers might not print but display well on screen).

        Talk given at Symposium on Semantics and Logics of Programs, 5 June Dedicated to Peter Dybjer to celebrate his 60th birthday. (Abstract)

      • Unfolding Nested Patterns and Copatterns Talk given at TYPES , Toulouse (April , ) (Abstract)
      • Copatterns:Programming Infinite Structures by Observations Talk given on behalf of Andreas Abel, who was unavailable at short notice at TYPES , Toulouse (April , ) (Book of abstracts containing the abstract by Andreas Abel at p.

        Walter anton setzer biography template excel: Theses A. Articles 1—20 Show more. Strahm : The proof-theoretic analysis of transfinitely iterated fixed point theories. Kahle, P.

        14)

      • The extended predicative Mahlo universe in explicit mathematics Talk given at the PCC, Toulouse, (April , ). (Abstract)
      • Coinduction, corecursion, copatterns Talk given at the PCV seminar, Swansea. Abstract o
      • Coinduction, corecursion, copatterns Talk given at the Logic Seminar, Lisbon, Portugal, 31 January (Abstract).

        (Article from POPL, Draft version).

        Walter anton setzer biography template free Setzer :Ordinal systems part 2: One inaccessible. Maintainer of links to logic-servers world wide. Indexed induction-recursion A Setzer, P Dybjer. Bulletin of Symbolic Logic, ,

      • Proof Theory of Martin-Löf Type Theory Talk given at Oxford Philosophy of Mathematics Seminar, 15 October (Abstract).
      • Algebras and coalgebras in dependent type theory Talk given at Meeting Algebraic and Logical Methods for Data and Modelling, Oldwalls, Gower Peninsula, UK on occasion of John V Tucker's 60th Birthday, 12 April (Abstract).
      • Induction, induction, induction!

        Talk given at the Logic Seminar, Lisbon, Portugal, 20 September (Abstract).

      • Programming with dependent types - interactive programs and coalgebras Talk given at the departmental seminar, Rosario, Argentina, 14 August (Abstract)
      • How to reason informally coinductively Talk given at Logic Colloquium , Manchester, UK, 14 July
      • Inductive-inductive Definitions (joint work with Fredrik Forsberg).

        Talk given at Explicit Paradigms in Logic and Computer Science, Bern, Swizerland (June 4 - 6 ) (Abstract).

      • Consistency, physics, and coinduction Video recording of talk given at Newton Institute, Cambridge, 10 May Slides
      • Beyond inductive definitions -- induction-recursion, induction-induction, coalgebras Video recording of talk given at Newton Institute, Newton Institute, 1 March Slides
      • Coalgebras in Dependent Type Theory -- The Saga Continues.

        Talk given at Agda Intensive Meeting Xii , Nottingham, 1.

        Walter anton setzer biography template pdf Kearnes and D. The result will be a great short bio. Setzer : Wheels , 8 pp, PhD-thesis, pp.

        - 7. September

        • Discusses design issues for defining coalgebras in the dependently typed theorem prover Agda. Especially introduces constructor/destructor patterns for defining functions on coalgebras, which looks very symmetric.
      • Extensions of inductive definitions: Indexed inductive, inductive-recursive and inductive-inductive definitions.

        Invited talk, British Logic Colloquium , 2. - 4. September

        • Overview over the "zoo" of extensions of inductive definitions, parametrized, restricted indexed, generalised indexed inductive definitions, inductive-recursive and inductive-inductive definitions, the Mahlo Universe and the extended predicative Mahlo universe.

      • Extraction of programs from proofs about real numbers in dependent type thoery. Invited talk, Workshop Program Extraction and Constructive Proofs, Workshop in Honour of Helmut Schwichtenberg, Satellite workshop of CSL and MFCS , Brno, 21 August
        • Shows how to extract programs from proofs about real numbers in the theorem prover Agda based on dependent types, when axiomatizing the real numbers.

          Walter anton setzer biography template Writing a personal or professional biography is one of those tasks that most of us dread. Setzer :Ordinal systems part 2: One inaccessible. Title Sort Sort by citations Sort by year Sort by title. Springer Lecture Notes in Computer Science , , pp.

          General conditions which guarantee that program extraction from proofs containing axioms (not only real number axioms) works are given.

      • Coalgebras in Dependent Type Theory Talk given at Dependently Typed Programming DTP 10, Workshop associated with LICS , satellite workshop of Flocs , Edinburgh, 9 - 10 July
        • Discusses approaches to representing coalgebras in the dependently typed theorem prover Agda.

          Especially discusses conceptual problems with the infinity operator and the recently abondened approach using ~.

        • BibTeX
      • Combining Automated and Interactive Theorem Proving in Agda Swansea PCV seminar, 20 May
      • Interactive Programs in Agda (Agda Intensive Meeting AIMX, Gothenburg, Sweden, 14 - 18 September ; this is a version of the slides which has been updated to beamer with minor corrections; in case of translation errors, here is the Original Version)
      • Inductive-Recursive Definitions (Cambridge, Computer Laboratory, Logic and Semantics Seminar, 29 May )
      • Coalgebras as types determined by their elimination rules (Conference Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects.

      • Walter anton setzer biography template excel
      • Walter anton setzer biography template printable
      • Walter anton setzer biography template google docs

        • A conference dedicated to Per Martin-Löf on occasion of his retirment. Swedish Collegium for Advanced Study, Uppsala, Sweden, 5 - 8 may Website

      • Coalgebras and codata in Agda (Wessex Seminar, Bath, UK, March 3 , Website
    • Before March only a few talks are listed.
    Last modified: Mon Apr 11 BST