The schedule of the course has been further modified:
- February 10, 11, 12, 13, hr. 10.00-12.00
- March 11, 12, 13, 23, 24, 25 hr. 17.00-19.00
The lectures will take place at the Palazzo delle Scienze. in room B.
Feb 232015
Feb 222015
The course will start on March 17. Information about the program and the scheduling of the course can be found in the program.
Lug 232014
The announcement for the selection procedure for admission to the XXX cycle of the PhD courses has been published here:
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. |
Mag 152014
The program and schedule of the course is available.
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:
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.
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.
Dic 162013
The list of students admitted to the PhD in Mathematics and Computer Science is available at the following link: