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
Registration to this course is mandatory. To register, complete the application form.
Slides:
The workshop will take place in Cagliari on March 21-22, 2014, at the Department of Mathematics and Computer Science, Via Ospedale 72, Cagliari.
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:
Full details about the school are available here.
The list of students admitted to the PhD in Mathematics and Computer Science is available at the following link:
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
Upcoming PhD course Reversible Computing July 15-19, 2013
Dipartimento di Matematica e Informatica - Via Ospedale 72, Cagliari Ivan Lanese Università di Bologna & INRIA FOCUS Team Abstract. Reversible computing emerges spontaneously in many areas, such as quantum computing or biological modeling. Also, reversible computing allows for recoverability: when an error occurs reversibility allows one to go back to a past state and try again. Reversibility is well understood in a sequential setting: to reverse a computation one has to recursively undo the last step. This is not possible in a concurrent scenario, since it may not be clear which the last performed action is. We will study reversibility for concurrent interacting systems. In particular, we consider causal consistent reversibility, where only actions which have produced no consequences can be undone. We consider uncontrolled forms of reversibility first. However, uncontrolled reversibility is not suitable for programming safe applications, since backward steps should be triggered only when an error state is reached. To this end we define a rollback operator allowing the programmer to control when backward steps are performed. We also show that specifying alternatives is useful to avoid looping behaviors. We make our intuitions formal using reversible process calculi. Finally, we discuss applications of our theory to transactions and to debugging. The official presentation of the course will be on July 15 (Monday) in Aula C, at 10:00. The schedule of the course will be fixed during this meeting. Course schedule.
The course has been funded by the PhD Course in Computer Science of the University of Cagliari. |
Upcoming Seminar A Tool for Verifying Bisimilarity in CCP June 26, 10.00 (Aula F) Palazzo delle Scienze - Cagliari Andres Aristizabal Pontificia Universidad Javeriana Cali - Colombia Abstract. Concurrent constraint programming (ccp) is a well-established formalism for specifying processes posting and querying (partial) information in shared-memory concurrent systems. Bisimilarity is recognized as the finest behavioural equivalence in concurrency theory. In this talk we present a tool for verifying the adequate notion of bisimilarity in ccp [FoSSaCS'11] following the theoretical algorithms presented in [SAC'12] and [ICE'12]. Also we intend to describe the structure of the tool, thus, the steps which have to be followed in order to obtain an efficient and consistent tool. All in all, we give the main insights of a web-based tool to verify strong and weak bisimilarity in ccp, i.e., preliminary concepts, the syntax used by the tool, some flowcharts describing important implemented algorithms, the structure of the tool and the way it works while interacting with an user. |
Upcoming Seminar Lending Petri Nets (and contracts) April 16, 15.00 (Aula F) April 17, 11.00 (Lab. 5) Palazzo delle Scienze - Cagliari G. Michele Pinna Dipartimento di Matematica e Informatica - Università degli Studi di Cagliari Abstract. In the first part of this seminar, we give a brief introduction to Petri nets, one of the classical models of distributed systems. Petri nets have been applied in various areas, among which the description and analysis of business processes. In the second part, we present Lending Petri nets, a variant of Petri nets which allows places to "lend" tokens under the guarantee that credits will be honoured - that is, lent tokens are eventually returned. Lending Petri nets are then exploited to model contracts for business processes. In particular, we show how they can be used to formalise contracts which protect themselves while still realizing the desired choreography. We relate Lending Petri nets with Propositional Contract Logic, by showing a translation of formulae into our Petri nets which preserves the logical notion of agreement, and allows for compositional verification. |
Upcoming Seminar A Calculus of Controlled Monotonicity March 5, 15.00 Aula F - Palazzo delle Scienze - Cagliari Gabriele Pulcini Dipartimento di Informatica - Scienza e Ingegneria - Università di Bologna Abstract. We introduce a cut-free logical system involving serio-parallel structures relying on preorders. This system describes processes displaying a kind of controlled monotonicity (e.g. biochemical processes) by means of a specific variant of standard Gentzen-style sequents called "embedded sequents". |
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 strong interest in some of the following topics: programming language design and implementation, concurrency theory, program analysis and verification, and security foundations. The successful candidates will in work in the TCS group at the Department of Mathematics and Computer Science, University of Cagliari (Italy). The scientific core of the group is the development of formal methods for security of concurrent and distributed systems, and the experimentation of these methods through actual implementations. The team is composed by both researchers in the fields of security and concurrency theory (process algebras, semantics and types for concurrency, linear logic) and developers. A detailed presentation of the research group TCS can be found at the website tcs.unica.it. Positions: 2 positions, each of 2 years and renewable for another year Gross salary: ~23K EU / year Requisites: applicants must hold a PhD in Computer Science, Mathematics or related discipline, and must produce evidence of expertise on the above-mentioned topics. The PhD degree must have been obtained not later than 10 years before the postdoc starts. Starting date: may 2013 (with possibility of delaying until sept. on candidate request) Location: Cagliari is located on the southern coast of Sardinia, the second largest island in the Mediterranean see. The Cagliari airport is only 15’ from the city centre, and it is connected with >70 direct flights (many of which are low-cost Ryanair flights) to Italy and Europe. The climate is Mediterranean, with mild winters (average temp. 16.4C) and many sunny days (~300 days/year without precipitation). The main beach, Poetto, is only 10’ from the city centre. The Department of Mathematics and Computer Science is hosted in the Palazzo delle Scienze, located on top of a hill nearby the historical area of Castello. Inquires may be made to Massimo Bartoletti, bart@unica.it. |
| contatti | accessibilità | Università degli Studi di Cagliari C.F.: 80019600925 - P.I.: 00443370929 |
note legali | privacy |