Notiziario Scientifico
a cura del Dipartimento di Matematica G. Castelnuovo, Sapienza Università di Roma
Settimana dal 22-06-2020 al 28-06-2020
Mercoledì 24 giugno 2020
Ore 14:00, streaming all'indirizzo https://meet.google.com/vsz-nxkm-hav, Dipartimento di Matematica, Sapienza Università di Roma
Dipartimento di Matematica, Sapienza Università di Roma
Bojko Bakalov (North Carolina State University)
A vertex algebra construction of representations of toroidal Lie algebras
Given a simple finite-dimensional Lie algebra and an automorphism of finite order, one can construct a twisted toroidal Lie algebra. Similarly to twisted affine Lie algebras, which are well-studied in the literature, we can create representations of twisted toroidal Lie algebras with the help of vertex algebras. In this talk, I will discuss twisted modules of vertex algebras and will show how representations of twisted toroidal Lie algebras can be constructed from such twisted modules. Joint work with Samantha Kirk.
Venerdì 26 giugno 2020
Ore 15:00, Modalità telematica, Dipartimento di Matematica e Fisica, Università degli Studi RomaTre
Seminario di Logica e Informatica Teorica
Margherita Zorzi (Università di Verona)
Compositional theories for embedded programming
Embedded programming style allows to split the syntax in two parts, representing respectively a host language H and a core language C embedded in H. This formally models several situations in which a user writes code in a main language and delegates some tasks to an ad hoc domain specific language. Moreover, as showed in recent years, a particular case of the host-core approach allows a flexible management of data linearity, which is particularly useful in non-classical computational paradigms such as quantum computing. The definition of a systematised type theory to capture and standardize common properties of embedded languages is partially unexplored. We present a flexible fragment of such a type theory, together with its semantics in terms of enriched categories. We introduce the calculus HC0 and we use the notion of internal language of a category to relate the language to the class of its models, showing the equivalence between the category of models and the one of theories. This provides a stronger result w.r.t. standard soundness and completeness since it involves not only the models but also morphisms between models. We observe that the definition of the morphisms between models highlights further advantages of the embedded languages and we discuss some concrete instances, extensions and specializations of the syntax and the semantics.
Per partecipare al seminario, richiedere il link all’indirizzo email vitomichele.abrusci@uniroma3.it o cliccare sul seguente link Teams meeting: link.
Le comunicazioni relative a seminari da includere in questo notiziario devono pervenire esclusivamente
mediante apposita form da compilare online, entro le ore 24 del giovedì precedente la settimana
interessata. Le comunicazioni pervenute in ritardo saranno ignorate.
Per informazioni, rivolgersi all'indirizzo di posta elettronica
seminari@mat.uniroma1.it.
Coloro che desiderano ricevere questo notiziario via e-mail sono pregati
di comunicare il proprio indirizzo di posta elettronica a
seminari@mat.uniroma1.it.