Matías Menni (Univeristy of La Plata) will teach a short course in Salerno on Axiomatic Cohesion. Further details are given below. An introduction to Axiomatic Cohesion. Brief description of the course The seminal paper reprinted in [L5] proposes to axiomatize the “distinctive internal connectedness of a topos that models all spaces Read more
This summer, from the 1st to the 5th of September we will host the Scuola Estiva di Logica at our campus. Further information is available at the school web page. We look forward to meeting you there!
In February 2024 prof. Matías Menni will teach a course at the PhD in Mathematics at Unisa. The title is Presheaves in Geometry and Logic, a preface to Topos Theory, a short description follows. The course will take place on Mondays at Wednesdays from 14:00 to 16:00 in room P19. Read more
A partire dal 12 ottobre 2016, ogni mercoledì alle 16:30 nell’aula riunioni del Dipartimento di Matematica, il prof. Luca Spada e la dott.ssa Serafina Lapenta terranno un ciclo di seminari sul tema “Algebre e Coalgebre per la logica modale”. Il testo di riferimento è il capitolo 6 dell’Handbook of Modal logic, “Algebras Read more
Prof. Alessandro Andretta (Univeristy of Torino) will be visiting our department from 11th to the 13th of March. During his stay he will give a short course for the PhD programme on Descriptive Set Theory. The lecture will take place in Sala Riunioni on: – Tuesday 12 March 16:30-18:30, – Read more
On March 15, 16 and 17, at 11:00 in “aula del consiglio” DMI, Prof. C. Tsinakis (Vanderbilt University, U.S) wil give the folowing PhD course “Residuated Structures: Algebraic and Logical Perspectives” Contents of the course:Algebraic logic studies classes of algebras that are related to logical systems, as well as the Read more