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.
 Scritto da in 10 giugno 2014  Senza categoria  Commenti disabilitati su Talk: Flow Unfolding of Multi-clock Nets
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.
 Scritto da in 16 maggio 2014  Senza categoria  Commenti disabilitati su Seminar: Coinduction Up-To for Non Deterministic Automata
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  News  Commenti disabilitati su Doing scientific research: context and guidelines
Mar 112014
 

The workshop will take place in Cagliari on March 21-22, 2014, at the Department of Mathematics and Computer Science, Via Ospedale 72, Cagliari.

 Scritto da in 11 marzo 2014  News  Commenti disabilitati su Trends in Nonlinear Analysis
Dic 182013
 

The consortium of Italian Computer Science PhD granting institutions under the auspices of GRIN, organizes an annual school offering three graduate-level courses aimed at first-year PhD students in Computer Science. In addition to introducing students to timely research topics, the school is meant to promote acquaintance and collaboration among young European researchers. The 2014 edition of the School is the 20th in the series.

The school will offer 3 courses each consisting of 13 hours of lectures:

  • Big Data Analysis of Patterns in Media Content – Nello Cristianini, University of Bristol (UK)
  • An Introduction to Probabilistic and Quantum Programming – Ugo Dal Lago, University of Bologna (Italy)
  • Development of dynamically evolving and self-adaptive software – Carlo Ghezzi, Politecnico di Milano (Italy)

Full details about the school are available here.

Nov 192013
 

Il Corso di Dottorato di Ricerca in Matematica e Informatica ricopre un
ampio spettro di discipline tra loro collegate sia sul piano culturale che
metodologico e applicativo. Il dottorato, attraverso la pratica della
ricerca scientifica in settori di punta della Matematica e
dell’Informatica, mira a formare persone di livello culturale adeguato a
contribuire alle attuali richieste d’innovazione e di sviluppo
dell’industria e della società dell’informazione, sia sul piano della
creatività scientifica, sia su quello della capacità progettuale.

In particolare, il corso di dottorato è finalizzato alla formazione di
specialisti dotati di avanzate conoscenze metodologiche e tecniche, oltre
ad un’adeguata preparazione linguistica, in grado di svolgere attività di
ricerca e sviluppo in larga autonomia in ambito universitario, in enti di
ricerca pubblici e privati ed in ambito industriale. L’attività del
dottorato è sostenuta da docenti e ricercatori che fanno parte di gruppi
attivamente impegnati nella ricerca a livello internazionale, garantendo
ampie possibilità di scambio e di accoglienza dei dottorandi presso
prestigiose università italiane ed estere, enti di ricerca ed aziende. Le
tematiche di indagine offerte dai due curricula disponibili si riconducono
in larga parte alle attività di ricerca dei membri del collegio dei docenti
e riguardano gli aspetti sia fondamentali che applicativi di molti settori
della Matematica e dell’Informatica.

La formazione acquisita durante il dottorato consente di svolgere attività
di ricerca e sviluppo in larga autonomia in ambito universitario, in enti
di ricerca pubblici e privati ed in ambito industriale. In particolare, i
principali sbocchi occupazionali previsti sono il proseguimento delle
attività di ricerca universitaria, il coordinamento e la direzione di
attività di ricerca & sviluppo presso industrie o enti pubblici e/o centri
di ricerca nazionali ed internazionali. Le capacità di analisi ed
elaborazione acquisite con la formazione tramite la ricerca consentono,
inoltre, di intraprendere percorsi che portino a mansioni manageriali sia
nel settore privato che in quello pubblico, oppure intraprendere attività
in proprio come collaboratore di enti, aziende e società di sviluppo
software.

 

Link utili

credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar