| Time | Speaker | Title |
|---|---|---|
| 9:00 | Ágnes Szendrei | Term equivalence of finite groups |
| 9:25 | Joel Berman | Varieties with equationally definable order relations |
| 9:50 | Dejan Delic | Discriminator varieties with group stalks |
| 10:15 | ||
| 10:45 | Paolo Lipparini | About n-permutable varieties and congruence identities |
| 11:10 | Kalle Kaarli | On categorical equivalence of finite arithmetical algebras |
| 11:35 | Pawel M. Idziak | Generative complexity in algebra |
| 12:00 | Kirby A. Baker | Techniques in finite-basis problems |
| 12:25 | Ralph McKenzie | Finite axiomatizability of finitely generated classes |
| 13:00 | ||
| 15:00 | Daniele Mundici | MV-algebras and multisets |
| 15:25 | James G. Raftery | Sugihara algebras and consequence fragments of R-Mingle |
| 15:50 | Hiroakira Ono | Closure operations and complete embeddings of residuated lattices, and completeness theorems of substructural logics |
| 16:15 | ||
| 16:45 | Roberto Cignoli | An equational approach to Glivenko-like theorems |
| 17:10 | Josep M. Font | Fully adequate Gentzen systems in abstract algebraic logic |
| 17:35 | Aldo Ursini | Algebrizing the Algebrizable |
| 18:00 | Janusz Czelakowski | Set-theoretic domains. Towards the algebraization of set theory. |
| 18:25 | Miklós Ferenczi | On generalizations of measurable functions |
Back to Main Page for Session 51