Brazilians researchers in Firenze! PDF Print E-mail
Monday, 25 January 2016 00:00

Starting from mid January, a group of researchers from Brazil have arrived in Firenze to fulfill their secondments for the DEVASSES project. An intense period of collaboration is starting: currently a total of five researchers are visting the Resilient Computing Lab. Seminars were organized in different days, to have the initial presentations of the starting secondments, and further discussions on collaboration topics.

Cecilia Rubira and Ariadne Carvalho are professors at the Universidade Estadual de Campinas (UNICAMP), in Campinas, São Paulo, Brazil. They arrived in the middle of January and are staying in Firenze for one month. Felipe Gaia and Sheila Venero are PhD students at UNICAMP, and they will stay for two and three months, respectively. Baldoino Neto is a professor at the Universidade Federal de Alagoas (UFAL), in Maceió, Alagoas, Brazil. Baldoino is also staying one month, to then pass the token to his student Marcus Piancó, which is arriving in the middle of February for a six-months secondment.

Read more...
 
RCL in Brazil PDF Print E-mail
Sunday, 05 July 2015 00:00

A rendezvous of RCL researchers has recently happened in Brasil!

Enrico, Leonardo and Tommaso arrived in Campinas in the beginning of May, for a three-months secondment as part of the DEVASSES project. Enrico and Leonardo are spending three months at the Universidade Estadual de Campinas (UNICAMP) to collaborate with local researchers; Tommaso after a short period in Campinas is now continuing his research at the Universidade Federal de Alagoas (UFAL) in Maceió.

Enrico, Leonardo, and Tommaso at UNICAMP

Then, the RCL group has been reinforced by Andrea B. and Andrea C., which spent a short but busy period in Brasil as well. Besides attending the DSN'15 conference and the RADIANCE workshop in Rio, they were in Campinas for the 4th DEVASSES ToK Workhsop, and spent additional time there in which they had seminars and discussions with the local UNICAMP team.

Andrea B., Andrea C., Enrido, and Leonardo at UNICAMP

We are now looking forward to host UNICAMP and UFAL researchers in Firenze!

 
DEVASSES: DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS PDF Print E-mail
Wednesday, 01 January 2014 00:00

devasses-logo-websiteInvolvment type: participant
Project website: http://www.devasses.eu
Project contract: PIRSES-GA-2013-612569 (FP7-PEOPLE-2013-IRSES n.612569)
Start date: 01-01-2014
End date: 31-12-2017

The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design-time and run-time verification and validation. The goal is to reinforce existing partners’ cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually.

Read more...
 
<< Start < Prev 1 2 Next > End >>

Page 2 of 2

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web