In the Concurrency and Logic (CL) group at SDU, we are interested in the challenges brought by modern digital systems, such as big data systems, the Internet of Things, and data clouds: software, data, and systems are getting increasingly larger and complex, pushing beyond the limits of developing and analysing them manually. In our group, we develop theory and tools that automate crucial steps of the development and analysis processes, enhancing their efficiency and reliability.

Featured News

Marco Peressotti and Saverio Giallorenzo together with Florian Rademacher and Sabine Sachweh, from the IDiAL Institute in Dortmund, are organising the second edition of the International Conference on Microservices. The conference will take place between the 19th and 23rd of February 2019.

On September 13th, Fabrizio Montesi joined a panel of experts at the Robotics Technology Conference on the topic “How do we attract the best brains?”. The panel discussed how to create better conditions for the attraction and the integration of international talents in Denmark.

Jacopo Mauro, together with Roberto Amadini and Maurizio Gabbrielli, won the Silver medal at the 2018 MiniZinc Challenge, an international annual competition of constraint programming solvers on a variety of benchmarks.

On August 7th, Luís Cruz-Filipe attended the prestigious International Congress of Mathematicians (ICM), joining a panel of world experts on the topic “The strengths and flaws of machine-assisted proofs”, on how computers can assist us in proving mathematical results/theorems.

Latest News

On October 26th, Saverio Giallorenzo presented the paper “ChIP” at CoopIS 2018.

Edition 2019 of the ACM Symposium on Applied Computing (a primary gathering forum for theoretical and applied researchers in computing) will host the first edition of MiDOS: Microservices, DevOps, and Service-Oriented Architecture (MiDOS). The track, chaired by Luís Cruz-Filipe, Elisabetta Di Nitto, and Jacopo Mauro, is the natural continuation of the previous Service-Oriented Architecture and Programming (SOAP) track.

On June 28th, we had a kickoff collaboration meeting with members of the Software Engineering section of the Faculty of Engineering at the University of Southern Denmark: Kati Kuusinen, Sanja Lazarova-Molnar, and Elena Markoska. The collaboration will include shared research projects, lectures, and industrial summer courses on Microservices and DevOps.