Every year the International Conference on Computer-Aided Verification (CAV) gives the CAV Award (except in 2020 due to the pandemic) for fundamental contributions to the field of Computer-Aided Verification. Specifics vary for each year.
In 2021, the CAV Award recognizes the pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT) and has been awarded to 21 great researchers.
The whole list of awardees of 2021 can be found in:
Our warm congratulations to all the recipients.
The UPC has made a call for rector elections this month. You can follow news and further information on their official site:
Due maintenance needs, Monday the 7th of December, from 8am to 17h all /rdlab services will be unavailable. Please keep this date in mind.
- HPC system
- Research groups websites
- Jutge, ModelJutge, RACSO and Solver platforms
- Databases, SVN, Git…
Please, do not hesitate to contact us for further information
Sergi Oliva, PhD. in Computer Science in our department (2014, advisor Albert Atserias), has accepted a coaching position with the NBA team Utah Jazz.
In 2014 Sergi left our department to join Philadelphia 76ers first as data analyist, but after a few years he was promoted to VP of Strategy, a position that he has left now to join the Utah Jazz.
Good luck Sergi with your new challenge!
More information here
Farbod’s Taymouri’s PhD thesis, directed by Josep Carmona and defended in 2018, has been a Runner-Up at the Best PhD. Dissertation Award.
The award has been anouced at the ICPM 2020 and is for theses defended in 2017, 2018 and 2019.
Information about the conference can be found here.
The opening ceremony of the 2020–2021 academic year at Catalan universities has been hosted remotely by the Universitat Politècnica de Catalunya – BarcelonaTech.
It has featured speeches by the secretary for Universities and Research, Francesc Xavier Grau; the rector, Francesc Torres; the chair of the Board of Trustees, Ramon Carbonell; and the general secretary of the UPC, Margarida Espona, who has presented a report on the 2019–2020 academic year at the University. The event has also be attended by the general secretary for the Interuniversity Council of Catalonia, Josep Ribas i Seix.
More information at:
The /rdlab has been deeply involved in the Connecta 19 initiative, a collaboration between the UPC Technical School of Telecommunications Engineering, their students, the research and development lab (/rdlab) and the Catalan Government health agency.
With the Covid19 pandemic emergency and the patient isolation needs, most medical services collapsed. Hence, the communication process between hospital and families was difficult adding an extra pain to this terrible disease.
Connecta 19 provides an effective platform (mobile app and web services) to connect hospitalize’s relatives and M.D staff. Offering an accurate and up to date information about the patient health status.
This project has been academically released as PAE (Projectes Avançats d’Enginyeria) and can be found here.
RedIRIS, the Spanish academic and research network that provides advanced communication services to the scientific community and national universities, organizes several workshops about Telecommuting experiences due to the Coronavirus home confinement.
The /rdlab will share his platforms and services to provide worldwide access for researchers.
More detailed information here: http://rediris.es/tecniris/archie/2coronasesion.html