Le comunicazione si terranno nei giorni mercoledì 6, giovedì 7 e venerdì 8 settembre, Polo Fibonacci, Aula F1
Claudio | Agostini | Universita di Torino | Colorful actions of monoids, finite and infinite | ore 11.40-12.00, mercoledì 6 settembre |
Gianluca | Basso | Université Claude Bernard Lyon 1 | Groups with the Generic Point Property | ore 12.40-13.00, mercoledì 6 settembre |
Luca | Carai | Università di Salerno | Modal companions of monadic intuitionistic logic | ore 11.40-12.00, giovedì 7 settembre |
Annalisa | Conversano | Massey University Auckland, New Zealand | Amenability, Euler characteristic and o-minimality | ore 11.00-11.40, mercoledì 6 settembre |
Anna | De Mase | Università della Campania | On model theory of mixed characteristic henselian valued fields | ore 12.00-12.20, mercoledì 6 settembre |
Giulio | Fellin | Università di Verona | Glivenko-style results for abstract entailment relations | ore 12.20-12.40, giovedì 7 settembre |
Marta | Fiori Carones | Istituto di matematica Sobolev, Russia | Una comparazione della comparazione tra teoremi | ore 12.00-12.20, venerdì 8 settembre |
Serafina | Lapenta | Università di Salerno | de Finetti coherence in infinitary logic | ore 11.40-12.00, venerdì 8 settembre |
Samuele | Maschio | Università di Padova | A constructive predicative variant of Hyland’s effective topos | ore 12.40-13.00, venerdì 8 settembre |
Rosario | Mennuni | Università di Pisa | The amalgamation property for automorphisms of ordered abelian groups | ore 12.20-12.40, mercoledì 6 settembre |
Mariaclara | Ragosta | Università di Pisa | Central Sets and infinite monochromatic exponential patterns | ore 12.00-12.20, giovedì 7 settembre |
Luca | Reggio | University College London | Polyadic spaces, homomorphism counting and omega-categorical theories | ore 11.00-11.40, giovedì 7 settembre |
Riccardo | Treglia | Università di Bologna | The Dynamics of Filter Models | ore 12.20-12.40, venerdì 8 settembre |
Davide | Trotta | Università di Pisa | Generalizzazioni della fasci | ore 12.40-13.00, giovedì 7 settembre |
Andrea | Vaccaro | University of Münster | Model Theory and Games on Classifiable C∗-algebras | ore 11.00-11.40, venerdì 8 settembre |