Marco Peressotti gave an invited talk at the International Conference on the Future of Standards in CyberSecurity organised by the Polish Institute of Telecomunications in collaboration with the International Standards Organisation, the International Electrotechnical Commission, and the Polish Chamber of Commerce for Electronics and Telecommunications.
Mauro lectured on Site Engineering Reliability culture and techniques and the recent declination of DevSecOps. Peressotti lectured on Formal Methods fundamentals and main techniques and gave a tutorial about formal specifications using TLA+.
Jacopo Mauro, together with Cesar Sanchez (IMDEA Software Institute, Spain), organised PhD-iFM’19, a PhD Symposium at the 15th International Conference on integrated Formal Methods (iFM). Theme of this edition of the symposium was “Formal Methods: Algorithms, Tools and Applications”. This edition’s award was assigned to Debasmita Lohar, for the paper: “Sound Probabilistic Numerical Error Analysis”.
Mauro lectured on DevOps culture and techniques and the recent declination of DevSecOps. Giallorenzo lectured on Microservice security concepts.
On June 19th and 20th, Jacopo Mauro, Larisa Safina, Marco Peressotti, and Saverio Giallorenzo attended edition 2019 of the International Federated Conference on Distributed Computing Techniques (DisCoTec 2019).
Safina presented a short talk on “Ephemeral Data Handling in Microservices”. Giallorenzo and Peressotti presented the paper “No More, No Less - A Formal Model for Serverless Computing” accepted at Coordination.
The second edition of the International Conference on Microservices (Microservices 2019) just ended. The 3-day event successfully brought together many international practitioners and researches interested in the software paradigm of microservices. It consisted of 5 invited keynotes and 30 contributed talks peer-reviewed by an international committee of experts from both industry and academia. This edition featured the first satellite for the conference series: a hackathon for university students.
On Jannuary 18th, Marco Peressotti presented the paper “Better Late Than Never: A Fully Abstract Semantics for Classical Processes” at 46th ACM SIGPLAN Symposium on Principles of Programming Languages (https://popl19.sigplan.org/).
On 2 November 2018, Fabrizio Montesi gave an invited seminar at the Driving IT conference, organised by the Danish Society of Engineers. Fabrizio’s talk was on “Jolie, the microservice-oriented programing language”. You can get the slides from the conference webpage for the seminar: https://universe.ida.dk/driving-it/talere-2018/fabrizio-montesi/.
How do we attract the best brains? Fabrizio Montesi invited expert at Robotics Technology Conference
First Edition of the Microservices, DevOps, and Service-Oriented Architecture (MiDOS) track at SAC 2019
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 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 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 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.
On April 10th, Marco Peressotti gave a talk at the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC’18) about the paper “Communications in Choreographies, Revisited”. On April 11th, Janine Weber presented a poster at SAC’18 about the paper “From the decorator pattern to circuit breakers in microservices”.
Saverio Giallorenzo is co-chairing the Second International Workshop on Microservices: Agile and DevOps Experience (MADE18) taking place on May 21st, 2018 and co-located with the XP2018 conference in Porto, Portugal.
Marco Peressotti joined the Dagstuhl Seminar on Algorithmic Cheminformatics to give an invited talk on coinductive techniques for the study of concurrent complex systems. The event kickstarted new research projects with the Algorithms research group at IMADA thus fostering the fruitful collaboration between our groups.
During the discussion panels at Microservices 2017, participants recognised the importance of constituting a communal place where international people from research institutions, private companies, universities, and public organisations (like municipalities) can share knowledge and foster collaborations about microservices.
ACP organised the first International Conference on Microservices with the aim to provide a forum for the discussion of all aspects of designing and programming microservice architectures. Both theoretical and experimental contributions are welcome, on topics ranging from formal frameworks to industrial experience reports and demonstrations.