CIao a tutti.
Ho inviato sulle liste del DIBRIS l'annuncio dei prossimi due seminari e lo riporto anche qui per chi non è nelle liste di distribuzione. Forse sarà il caso di usare genua-all o qualche altra lista a diffusione più "capillare" per gli annunci. Di questo e altre questioni possiamo brevemente discuterne al prossimo seminario.
Saluti a tutti,
Armando
SEGUE - Annunci seminari
(Con le dovute scuse per eventuali invii multipli)
Siete tutti invitati ai primi due seminari “Per tenersi in FORMA" organizzati dal gruppo di lavoro FORMA di UniGe.
Un cordale saluto a tutti.
Armando Tacchella (a nome del gruppo FORMA)
--- SEMINAR 1
Data: 19 Ottobre 2023
Ora: 14.00 – 15:00
Luogo: DIBRIS, sede di Valletta Puggia, Aula 322 (Sala Conferenze – III piano)
Speaker: Giuseppe Rosolini (DIMA - UniGe)
Title: Doctrines of Logic
Abstract: One
of the great achievements in the mathematical work of F.W. Lawvere has
been that of redesigning the algebraic perspective on logic by means of
categories. In a series of seminal papers, he presented a radically new
approach to the algebra of logic, which has been proved extremely
fruitful in the following years. They go under the name of doctrines. We
shall argue that the power of doctrines rests on its unifying aspects,
and we shall present by examples how the structural perspective offers
powerful tools for both theoretical studies and applications.
--- SEMINAR 2
Data: 31 Ottobre 2023
Ora: 11:30 – 12:30
Luogo: DIBRIS, sede di Valletta Puggia, Aula 322 (Sala Conferenze – III piano)
Speaker: Marco Servetto (University of Wellington, NZ)
Title: Enforcing Modular Security through Language Design: A Study on Object and Reference Capabilities
Abstract: We present an approach to language design aimed at enforcing modular security, where a security architect can define specific object capabilities that enforce custom security properties. Unlike traditional models that assume an uncompromised system ('clean garden'), this model ('dark forest') assumes local machines are already compromised but anchored by a secure root. Security is maintained even in the presence of adversarial code execution within security-critical processes: a process may be rendered inert, or be subjected to crashes or infinite loops, but it is precluded from engaging in insecure interactions.
Il gruppo di lavoro FORMA (Formal methods and logic in action) è costituito da docenti e ricercatori di UniGe che condividono un approccio logico-formale alla ricerca in diversi ambiti, incluso lo sviluppo di sistemi intelligenti e multiagente, lo sviluppo di teorie e applicazioni nell’ambito dei linguaggi di programmazione, la generazione di test e la verifica del software, la specifica, la descrizione e l’analisi di sistemi cyber-fisici.
Lo scopo del gruppo, che si costituisce sotto forma di “laboratorio virtuale”, è quello di promuovere collaborazioni, incontri e progettualità che abbiano al centro l’utilizzo degli strumenti logico-formali per lo sviluppo della didattica, dell’indagine scientifica e la costruzione di strumenti tecnologici in ambito informatico.