Trends in Nonlinear Analysis
The workshop will take place in Cagliari on March 21-22, 2014, at the Department of Mathematics and Computer Science, Via Ospedale 72,
BISS 2014 – Bertinoro International Spring School
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
Notification of admissions – XXIX Ciclo
The list of students admitted to the PhD in Mathematics and Computer Science is available at the following link:
Bando XXIX ciclo
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
PhD course: Reversible Computing
Upcoming PhD courseReversible ComputingJuly 15-19, 2013 Dipartimento di Matematica e Informatica - Via Ospedale
Seminar: A Tool for Verifying Bisimilarity in CCP
Upcoming SeminarA Tool for Verifying Bisimilarity in CCPJune 26, 10.00 (Aula F)Palazzo delle
Seminar: Lending Petri Nets (and contracts)
Upcoming SeminarLending Petri Nets (and contracts)April 16, 15.00 (Aula F)April 17, 11.00 (Lab.
Seminar: A Calculus of Controlled Monotonicity
Upcoming SeminarA Calculus of Controlled MonotonicityMarch 5, 15.00Aula F - Palazzo delle
Two postdoc positions
The Trustworthy Computational Societies research group (TCS) of the University of Cagliari is looking for two post-docs to join our ongoing projects.We seek applicants with
Seminar: Circularity, event structures, and contracts
Upcoming SeminarCircularity, event structures, and contractsSept 11, 12.00Aula C - Palazzo delle
PhD Course: Bisimulation, process algebras, and coinduction
Upcoming PhD courseBisimulation, process algebras, and coinductionJuly 2012 Dipartimento di Matematica e Informatica - Via Ospedale 72, CagliariEmilio TuostoDepartment of Computer ScienceUniversity of Leicester (UK)Abstract. After a brief (non
Seminar: Formal Models in Systems Biology
Upcoming SeminarFormal Models in Systems BiologyJuly 10, 16.00-18.00 Aula Magna Matematica, July 12, 16.00-18.00 Aula C,Palazzo