- Back to Project home page

- Markus Michelbrink

Talk given at

Spring School - Logic in Computer Science

Venice San-Servolo, 5-8 April 2004

Organizers: M Latte, H Schwichtenberg

Title of talk: IO-programs in Dependent Type Theory. - Anton Setzer

Invited participation and talk given at

Dagstuhl Seminar 04381, 12.09.04 - 17.09.04 Dependently Typed Programming

Organised by T. Altenkirch (Univ. of Nottingham, GB), M. Hofmann (LMU München, DE), J. Hughes (Chalmers TU, Göteborg, SE)

Talk given: Guarded recursion in dependent type theory. - Anton Setzer

Invited plenary talk given at

British Logic Colloquium Leeds, 6 - 8 Sept 2004.

Title of talk: Interactive programs in dependent type theory. - Anton Setzer

Invited special session speaker at

Logic Colloquium 2004, Torino, Italy,

25 - 31 July 2004.

Title of talk: Universes in type theory: Mahlo and $\Pi_3$-reflection - Markus Michelbrink

Talk given at Category Theory and Computer Science (CTCS'04), August 12th-14th, 2004

Title of talk: State Dependent IO-Monads in Type Theory -
Anton Setzer and Markus Michelbrink

Invited talks given at workshop CLM 2004

Workshop on constructive logic and mathematics

Benediktbeuern, Germany, 12. - 17.9.2004.

Title of talk by Anton Setzer: The $\Pi_3$-reflecting universe and extensions

Title of talk by Markus Michelbrink: Interfaces as games, pgorams as strategies.

- Markus Michelbrink

Talk given at conference TYPES 2004, Paris, 15 - 18 December 2004.

Title of talk: Interfaces as games, programs as strategies - Anton Setzer

Invited participation and talk given at PCC - Proof, Computation, Complexity. ICALP workshop, Lisbon, 16 - 17 July 2005.

Title of talk: Towards a more algebraic treatment of ordinal notation systems. - Markus Michelbrink and Anton Setzer

Participation and talk given at BCTCS 2006, Swansea, 4 - 7 April 2006

Talk given by Anton Setzer: Inductive-recursive definitions and generic programming. - Markus Michelbrink and Anton Setzer

Participation and 4 talks given at collocated conferences TYPES 2006 and Trends in Functional Programming 2006 in Nottingham, 18 - 21 April 2006.

Talk given by M Michelbrink at TYPES: A direct translation of the Simply Typed Lambda Calculus into C++-templates

Talk given by A Setzer at TYPES 2006: Representation of partial recursive functions by inductive-recursive and by inductive definitions

Talks given by A Setzer at TFP 2006:- Object-Oriented Programming in Dependent Type Theory
- Functional Concepts of C++ (together with Rose H. Abdul Rauf and U Berger; talk given by U Berger).

- Anton Setzer and Markus Michelbrink

Participation and 1 talk plus 1 talk given by our PhD student Rose H Abdul Rauf at Conference Computability in Europe (CiE 2006) 30. June - 5 July 2006.

Talk given by Anton Setzer: Partial Recursive Functions in Martin-Löf Type Theory

Talk given by Rose H Abdul Rauf (PhD student; given in absence of her by U. Berger): Integrating functional programming into C++: Implemenatation and Verification. - Anton Setzer
Talk given at
Computer Science Logic CSL 2006, Szeged, Hungary
25 - 29 Sept 2006

Title of talk: Weak bisimulation approximants.

- Anton Setzer

Invited research visit (1 month) at Department of Mathematics, Ohio State University.

Main host: M. Rathjen.

Funded by Mathematics Research Institute of Ohio State University

24. November - 23. December 2004

Talk given: Inductive-Recursive definitions and generic programming - Anton Setzer

Research visit (1 month) at

Graduate School of Science and Technology, Kobe University, Japan

Main Host: T. Arai.

24 November - 21 December 2005

Talk given: Ordinal Systems

Further a series of internal seminar talks on proof theory of type theory given. - Anton Setzer

Invited Research visit (1 month) at Graduate School of Science and Technology, Kobe University, Japan

Main Host: T. Arai.

18 October - 22 November 2006

Talk given: Partial Recursive Functions in Martin-Löf Type Theory.

Further a series of internal seminar talks on proof theory of type theory given.

- Markus Michelbrink

Department of Informatics, University of Bergen, Norway.

February/March 2006.

An introduction to Dependent Type Theory - Anton Setzer

Talk given at Dept. of Computer Science, Chalmers University of Technology, Sweden

during research visit 15 - 21 January 2005.

Title of talk: The $\Pi_3$-reflecting Universe - Anton Setzer

Talk given at National Institute of Informatics, Tokyo, Japan.

12 December 2005.

Title of talk: Inductive-recursive definitions - Anton Setzer

2 Seminar talks given at Dept. of Mathematics, University of Munich, Germany,

9 - 15 July 2005.

Title of talks: Indexed Inductive-Recursive Definitions. - Markus Michelbrink
Talk given at Department of Mathematics,
University of Hannover.

June 2004.

Title of Talk: Coalgebra in Martin-Löf Type Theory.

- Markus Michelbrink

Talk given at School of comptuer Science and Information Technology, University of Nottingham.

June 2006

Title of talk: Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory. - Markus Michelbrink

Talk given at Computer laboratory, University of Cambridge

25 November 2005

Title of talk: Container, Interfaces, Games - Anton Setzer
Talk given at School
of comptuer Science and Information Technology,
University of Nottingham.

11 - 14 May 2005.

Title of talk: Inductive-Recursive definitions and partial recursive functions - Anton Setzer

Talk given at the Dept. of Computer Science, University of Bath.

28 April 2005.

Inductive-recursive definitions and generic programming - Anton Setzer

Talk given at Dept. of Computer Science, University of Leicester.

18 February 2005.

Title of Talk: Inductive-recursive definitions and generic programming. - Markus Michelbrink

Talk given at Swansea Institute of Higher Education.

May 2004

Title of Talk: IO-programs in dependent type theroy. - Anton Setzer

Talk given at Dept. of Pure Mathematics, University of Leeds.

4 February 2004.

Title of talk: The $\Pi_3$-reflecting Universe

- Anton Setzer, 16 and 23 March 2006

Inductive-Recursive Definitions - Markus Michelbrink, 20/23/27 June 2005

Appetisers of category theory. - Markus Michelbrink, 11/15 April 2005

Interfaces as games, programs as strategies - Anton Setzer, 4 March 2005

Ordinal Systems - Markus Michelbrink, 3 February 2005

Equality in Martin-Löf Type Theory. - Anton Setzer, 29 June 2004

Weakly final coalgebras in dependent type theory - Anton Setzer, 24 February 2004

The Pi_3-reflecting Universe

- Markus Michelbrink and Anton Setzer

Participation at Workshop WPT'03. Proof theory: Workshop on logic, founcational research and Metamathematics Münster, Germany, 9 - 11 October 2003. - Markus Michelbrink

Participation at ETAPS workshop CMCS 2004 7th international workshop on Coalgebraic Methods in Computer Science, Barcelona, Spain, March 27 - 29, 2004. - Anton Setzer and Markus Michelbrink

Participation at CALCO 2005, Swansea 3 - 6 September 2005. - Anton Setzer and Markus Michelbrink

Participation at IFIP workingroup 1.3 meeting on Foundations of System Specification, Swansea 6 - 8 September 2005. - Anton Setzer

Participation at Britsh Logic Colloquium, Bristol, 1 - 3 November 2005. - Anton Setzer

Participation at the joint meeting of the Workshop on Hilbert in Kyoto and the CC seminar, 11 - 12 November 2006, Graduate school of letters, Kyoto university, Japan.

- A Setzer

2 visits at the Research Center for Verification and Semantics, National institute for advnaced industrial science and technology (AIST), Osaka, Japan

November 2007

(During research visit of T Arai in Kobe, Japan) - A Setzer

Visit of Peter Dybjer and T Coquand, Dept. of Computer Science, Chalmers University of Technology, Sweden

28 March - 2 April 2004

- Markus Michelbrink
Meeting with Till Mosakowski and Lutz Schröder,
Dept.
of Computer Science, University of Bremen.

20 August 2004.

- Back to Project home page

Anton Setzer Last modified: Mon Feb 19 00:55:53 GMT 2007