MONDAY 8
| Monday | Room 1.01 ( 50 pp max) | Room 1.02 (50 pp max) | Room 2.01 (30 pp max) |
| 17 - 17:15 | Neumann, Pauly, Pradic. The equational theory of the Weihrauch lattice with multiplication | Wrocławski. Degree spectra of computable relations on natural numbers and integers | |
| 17:15 - 17:30 | Joosten. Transfinite Turing Jumps through Provability | Laboska. Some computability-theoretic aspects of partition regularity over algebraic structures | Hemery, Fages. Absolute Functional Robustness in the cell: characterization, compilation and error control |
| 17:30 -17:45 |
[19] Arno Pauly and Giovanni Soldà. Sequential discontinuity and first-order problems.
|
[20] Mikhail Peretyat’kin and Victor Selivanov. Universal Boolean algebras with applications to semantic classes of models. (Online)
|
Swan. Computable 2-groups in cubical assemblies |
| 17:45 - 18 | Weiermann. Monadic second order limit laws for natural well orderings | ||
| 18 - 18:15 |
[13] Jun Le Goh, Arno Pauly, and Manlio Valenti. The weakness of finding descending sequences in ill-founded linear orders.
|
Ritter. Isomorphism relations on classes of c.e. algebras | Grigorian. Varities of sameness in Homotopy Type Theory |
| 18:15 - 18:30 | Georgiev, Vatev. On punctual copies of (ω, S) |