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

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.

On June 7th, Fabrizio Montesi and Saverio Giallorenzo, visited Orgbogen, the largest web-based dictionary company in Denmark, together with other researchers of the Algorithms and Data Science and Statics groups from the Department of Mathematics and Computer Science (IMADA), SDU.

Latest News

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.

On June 19th, Saverio Giallorenzo presented the paper “Applied Choreographies” at FORTE 2018.

On May 21st, 2018 Saverio Giallorenzo co-chaired the Second International Workshop on Microservices: Agile and DevOps Experience (MADE18), co-located with the XP2018 conference in Porto, Portugal. The workshop has been a success, with 30+ attendees and highly participated presentations.