Apr 252015
 

Plan of the course

  • Lezione 1 (martedì 5 maggio 17-19) Strutture complesse e forme simplettiche.
  • Lezione 2 (mercoledì 6 maggio 17-19) Metriche a curvature costante su varietà reali e superfici di Riemann.
  • Lezione 3 (giovedì 7 maggio 17-19) Varieta’ Kahleriane: coomologia, fibrati lineari, classi di Chern e curvatura.
  • Lezione 4 (venerdì 8 maggio 17-19) Varieta’ Kahleriane di Einstein. ddbar-Lemma e Congeture di Calabi. Teorema di Yau (con cenni di dimostrazione).
 Scritto da in 25 Aprile 2015  Senza categoria  Commenti disabilitati su Metriche speciali su varietà complesse
Apr 022015
 

The course will be held on May 4, 6, 8, 11, 13, 15. Contact Antonio Iannizzotto for more information.

 Scritto da in 2 Aprile 2015  Senza categoria  Commenti disabilitati su Mathematical aspects of Game Theory
Lug 232014
 

The announcement for the selection procedure for admission to the XXX cycle of the PhD courses has been published here:

Bando XXX ciclo

Deadline for the on-line registration: september 12, 2014, h 12.00.
Deadline for the submission of the documentation: september 15, 2014, h 12.00.
Deadline for the upload of documentation (non-italian candidates): september 12, 2014, h 12.00.

Presentation of the PhD school on Mathematics and Computer Science

Giu 102014
 
Upcoming Seminar

Flow Unfolding of Multi-clock Nets

June 18, 14.30 (Lab 5)
Palazzo delle Scienze - Cagliari

Giovanni Casu
Dipartimento di Matematica e Informatica - University of Cagliari


Abstract.
Unfoldings of nets are often related to event structures: each execution of a net can be viewed as a configuration in the associated event structure. This allows for a clear characterization of dependencies and the conflicts betweenoccurrences of transitions in the net. This relation is somehow lost if more compact representations of the executions of nets are considered, e.g. in trellises or merged processes of multi-clock nets. This talk aims to expose the work "Flow Unfolding of Multi-clock Nets" which will be presented in the Petri Nets 2014 conference.

In this talk we introduce an unfolding, called flow unfolding, that turns out to be related to flow event structures, hence dependencies and conflict are still represented. Furthermore, this unfolding gives also a more compact representation of the executions of a multi-clock net, similarly to what approaches like trellises or merged processes do.
Mag 162014
 
Upcoming Seminar

Coinduction Up-To for Non Deterministic Automata

May 21, 11.00 (Aula F)
Palazzo delle Scienze - Cagliari

Filippo Bonchi
Ecole Normale Supérieure de Lyon - France


Abstract.
In this talk, I will introduce the Coinduction proof principle and its enhancements by mean of up-to techniques.
I will introduce bisimulation up to congruence as a technique for proving language equivalence of non-deterministic finite automata. Such technique can be effectively implemented in an algorithm that exponentially improves the state of the art.
Mar 112014
 

The lectures of the course will be given at the Aula Magna of the Teatro di Anatomia, Via Ospedale 121, Cagliari. The schedule is the following

  • Monday, April 7, 9:00-13.30
  • Tuesday, April 8, 9:00-13.30
  • Thursday, April 10, 9:00-13.30
  • Friday, April 11, 9:00-13.30

Registration to this course is mandatory. To register, complete the application form.

Slides:

 Scritto da in 11 Marzo 2014  Senza categoria  Commenti disabilitati su Doing scientific research: context and guidelines
contatti | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy