Talks and Research Visits, EPSRC Grant GR/S30450/01
List of talks and research visits carried out
during the EPSRC project: Extension of Dependent Type Theory - Induction, Interaction, Universes
Talks given at Conferences and Workshops
- 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.
Intercontinental longer research visits (1 month each)
International Seminar Talks 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.
National Seminar Talks Given
Seminar Talks given at the Department of Computer Science, University of Wales Swansea
- 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
Participation at Conferences and Workshops
- 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.
Research Visits
Anton Setzer
Last modified: Mon Feb 19 00:55:53 GMT 2007