Working Group "Operations, Sets, and Types" (WGOST)

Lecture number: 422738-FS2018-0
ECTS: 5
Start: 2018-02-21
End: 2018-05-30
Venue: Hörraum B078, ExWi, Sidlerstrasse 5
Lectures take place on:
  • Wednesday from 10:15 to 12:00

Description:

In this working group we discuss a series of topics that are closely related to actual research done in connection with the project "The Operational Paradigm: its Mathematical and Philosophical Frontiers".

So-called operational theories provide a conceptual framework for all sorts of abstract computations and type systems as they are used today in the discussion of the foundations of mathematics and computer science. They are closely related to forms of the (typed and untyped) lambda calculus and partial combinatory algebras.

In this semester the focus of our working group will be on abstract computations in the framework of applicative theories and explicit mathematics.

KSL-Link: https://www.ksl.unibe.ch/KSL/kurzansicht?...

ILIAS-Link: https://ilias.unibe.ch/goto_ilias3_unibe_crs_1168136.html

Remarks:

This course introduces into a research area that is actively pursued in our research group. Upon successful completion of this course, the students will have a good basis for doing own research along the lines of our project.

Requirements:

Good and solid knowledge in mathematical logic and computability theory.

References:

To be announced during the lectures.