HPC queue service update

Over the next months, our High-Performance-Computing system queue will be upgraded. Our SGE/OGE system will be replaced with the Slurm queue system.

This month, a testing platform based on Slurm + Ubuntu 18.04LTS will be available in order to let users adapt their executions providing the same queue restrictions.

Do not hesitate in contacting rdlab for further information.

“Conformance Checking – Relating Processes and Models” new book by Josep Carmona

The professor of the CS department Josep Carmona has released the book “Conformance Checking – Relating Processes and Models”. The book has been written along with Boudewijn van Dongen from the Eindhoven University of Technology, Andreas Solti from the Vienna University of Economics and Business and Matthias Weidlich from the Humboldt-Universität zu Berlin.

This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing and analysing observed instances of a process in the presence of a model, independent of the model’s origin. Its goal is to provide an overview of the essential techniques and methods in this field at an intuitive level, together with precise formalisations of its underlying principles.

The book is divided into three parts, that are meant to cover different perspectives of the field of conformance checking. Part I presents a comprehensive yet accessible overview of the essential concepts used to interrelate modelled and recorded behaviour. It also serves as a reference for assessing how conformance checking efforts could be applied in specific domains. Next, Part II provides readers with detailed insights into algorithms for conformance checking, including the most commonly used formal notions and their instantiation for specific analysis questions. Lastly, Part III highlights applications that help to make sense of conformance checking results, thereby providing a necessary next step to increase the value of a given process model. They help to interpret the outcomes of conformance checking and incorporate them by means of enhancement and repair techniques.

Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization.

The book, as well as some reviews, can be found here

Josep Carmona is an associate professor at the Computer Science Department of the Universitat Politècnica de Catalunya, Spain. He has taught process mining to students and practitioners for a decade in several countries. He is also an active researcher in process mining, business process management, formal methods and data science. He is involved in several open-source projects related to these fields.

New “MyDisk” cloud file storage service

The Research and Development lab updates the information services for research and technology transfer of projects with a cloud service. The main features of this new service for researchers are:

  • Hosted at the UPC facilities
  • Free software based on NextCloud and MaxScale projects
  • Accessible via web or with free clients for all platforms (Windows, Linux, MacOS, iOS and Android)
  • Possibilities for collaborative simultaneous editing of documents from the browser
  • Sharing files and folders with other users of both the CS department and external ones

More information can be found here.

Jose Luis Balcázar, director of the Department of Computer Science

The UPC professor José Luis Balcázar took office on 6 April as the Director of the Departament de Ciències de la Computació, taking over from Jordi Cortadella.

As a teacher, José Luis Balcázar teaches at the EPSEVG and the FIB. As a researcher, he develops his research work through the Laboratori d’Algorísmia Relacional, Complexitat i Aprenentatge (LARCA), an international projection group that works in fields such as learning and data mining; Data analysis and mathematical linguistics.

Publication of the call for “la Caixa” scholarships for international mobility for doctoral students 2017/2018

The announcement of “la Caixa” Grants for international mobility for doctoral students 2017/2018 has been published.

You will find all the information on the website of the Academic Management Service:

Here are the deadlines established in this call:

Period in which to make the stay: mobility stays must be made between February 1 and June 30, 2018.

Duration of the stay: a minimum of 30 days and a maximum of 120 days.

Submission of applications: until 24 hours on February 18, 2018, through the DemanaSGA online support platform.

Provisional resolution: before March 29, 2018.

For any doubt or clarification please refer to DemanaSGA online support platform.