**COLLOQUIUM: The Legacy of Claude Shannon**

13 December, 16:00, at Instituto Superior Técnico, Universidade de Lisboa

**An introduction to impredicative ordinal notation systems**

a minicourse by David Fernández-Duque, Université Paul Sabatier, Toulouse, France

First session: November 2 (Wednesday), 6pm - 7:30pm, room 6.2.33

Second session: November 3 (Thursday), 3:30pm - 5pm, room 6.2.33

In this course we will give an introduction to ordinal notation systems based on collapsing cardinals in the style of Buchholz. Although familiarity with proof-theoretic ordinals is assumed, the course will work gradually, beginning with a quick review of predicative notation systems and introducing some intermediate systems along the way. The course will be divided in two sessions. Session 1: We introduce a general notion of ordinal notation system and show how the usual presentations for $\varepsilon_0$ and $\Gamma_0$ fall into this framework. We discuss the behavior of an uncountable ordinal within a notation system and introduce collapsing functions, culminating in a notation system for the Bachmann-Howard ordinal $\psi(\varepsilon_{\Omega+1})$. Session 2: We establish some important properties of $\psi(\varepsilon_{\Omega+1})$, including its computability. We motivate the role of multiple cardinals by considering collapsing functions with two uncountable cardinals. We then show how these techniques are extended to collapsing infinitely many cardinals. Time permitting, we discuss how larger sets (e.g., an inaccessible) can be used to construct even larger proof-theoretic ordinals.

**E=MC3 2016, a Spring-to-Summer event: three mini courses on Dynamics and Differential Equations**

29 - 30 March by Alessandra Celletti,

11 - 15 July by Fabio Zanolin

5 - 9 September by Mark Levi

**FASPDE16 – Lisbon**

31 August -2 September, Faculty of Sciences, University of Lisbon, Portugal

**7th International Conference on Computational Logistics (ICCL’16)**

**“Road to logistics excellence”**

7 - 9 September, Lisbon, Portugal

**Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)**

6 - 7 June, Faculty of Sciences, University of Lisbon, Portugal

**H-measures and variants**

18, 21 and 22 April, 15:00-17:00

A short course by Nenad Antonic,

**Introduction to the algebraic theory of linear systems of differential equations**

17 and 22 March, 5 and 7 April 2016

A short course on D-Modules,

Luca Prelli (CMAFCIO)

**7th Workshop Dynamical Systems Applied to Biology and Natural Sciences DSABNS **

2 - 5 February, Universidade de Évora, Portugal

**5th Winter School on Network Optimization**

11 - 15 January, Estoril, Portugal