The “International Winter School on Blockchain Technology and Applications – Hyperledger” aims at giving a comprehensive understanding of what Hyperledger blockchain technology is and how it works in practice. During the winter school, the students will explore how to design, configure implement and deploy Hyperledger-based technologies. By the end of the school, the participants will also gain insight into how the research is moving and how blockchains will affect the future of industry and more in general complex organizations. The school combines lectures with tutorials and hands-on experiences. In the following, we report the main topics that will be faced.

– Introduction to the blockchain technologies and related characteristics (e.g., security, privacy, trust, performance, scalability).

– Detailed understanding of Hyperledger ecosystems, with a specific focus on Fabric.

– Learn how to develop Hyperledger smart contracts and relative languages.

– Discover relevant case studies based on Hyperledger blockchain.

BigDat 2020 Autumn will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data. Previous events were held in Tarragona, Bilbao, Bari, Timișoara, Cambridge and Ancona.

Big data is a broad field covering a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.

Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 24 four-hour and a half courses, 2 keynote lectures and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.

An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.

The fifth international autumn school “Proof and Computation” will be held from 20th to 26th September 2020 in Fischbachau near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

Next to the annual conference on Application and Theory of Petri Nets taking place since 1980, the Petri Net community organises every 7-10 years an Advanced Course on Petri Nets, which comprises the respective current state of the art in Petri Net Theory and in Applications of Petri Nets. Typical attendees are PhD students and post-docs from all over the world who work with Petri Nets, but also more senior scientists who want to broaden their expertise. In particular, students of an Advanced Course on Petri Nets learn about Petri Nets as a foundation for various application oriented process related domains. The program of the 6th Advanced Course is application oriented i.e. directed towards aspects of Petri Net applications, case studies and tools introduced after lectures on fundamental issues and presentations on important new advanced topics and results.

Moving beyond connected infrastructure and Smarter things, the smart cities of tomorrow engage governments, citizens, visitors, and businesses In an connected ecosystem. The goal? Better city services and a higher quality of life. Smart city enhances citizens’ experience And supports the productive, accessible, livable cities that attract talents, encourage innovation And create jobs and economic prosperity. The “smart city looks like…” summer school will provide a comprehensive view of the technologies, concerns and assets relevant to the design of smart cities. Students will explore interdisciplinary approaches while working in interdisciplinary and intercultural groups of students and lecturers in order to analyze what smart city looks like: cities aiming to become more energy efficient, clean and green, while addressing citizen engagement, governance and critical needs.

ADFOCS is an international summer school that has been held annually for the last twenty years at the Max Planck Institute for Informatics (MPII) in Saarbruecken, Germany. It is organized as part of the activities of the MPII, in particular the International Max Planck Research School (IMPRS), MPII’s graduate program. The purpose of this summer school is to introduce young researchers to topics which are the focus of current research in theoretical computer science. We bring together leading researchers in the field and international participants at the graduate level and above. This year’s focus is on Market Design and Computational Fair Division.

This year’s School is organized in collaboration with AGH University of Science and Technology (AGH), together with Institute of Nuclear Physics, Polish Academy of Sciences (IFJ PAN). The two-week programme consists of more than 50 hours of lectures and hands-on exercises, covering three main themes: physics computing, software engineering, and data technologies. Students who pass the final optional exam will receive a diploma from CSC, as well as 6 ECTS credits from AGH and IFJ. The School is aimed at postgraduate (ie. minimum of Bachelor degree or equivalent) engineers and scientists, working at CERN or at other research institutes, with experience in particle physics, in computing or in related fields. We welcome applications from all nationalities, and encourage all qualified persons to apply. Limited financial support may be available.

The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research.

The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master’s students. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

Almost all modern technical systems rely crucially on software. Communication, transportation, financial services, healthcare, power supply, military defense, and many other aspects of modern societies require software systems that are both safe and secure. Safe software behaves according to its specification and, in particular, avoids hazards for the environment it is used in. Secure software ensures the confidentiality, integrity, and availability of data, even when a system is attacked by an adversary. Both safety and security violations potentially cause considerable economic, political, and physical damage. So, improving our understanding of safety and security and, thereby, enhancing our ability to construct safe and secure systems is a vital challenge for our society. The lectures in this summer school give an overview of the state of the art in the construction and analysis of safe and secure systems. Starting from the logical and semantic foundations that enable reasoning about classical software systems, they extend to the development and verification of cyber-physical systems, which tightly combine computational and physical components, and have become pervasive in aerospace, automotive, industry automation, and consumer appliances. Safety and security have traditionally been considered separate; however, several lectures in this summer school will emphasize their commonalities and present analysis and construction techniques that apply to both.

DeepLearn 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of deep learning. Previous events were held in Bilbao, Genova and Warsaw. Renowned academics and industry pioneers will lecture and share their views with the audience. Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures and 24 four-hour and a half courses, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.