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 (online) 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.

The next RSD autumn school will be focused for its 16th edition on “Reproducibility and Experimental Research in Networks and Systems”. This autumn school aims to present tools for reproducibility as well as to serve as an opportunity for scientific discussions around reproducibility to identify good practices.

The program alternates between lectures and practical sessions, and in particular a hackathon throughout the week that will exploit the FIT IoT-Lab and Grid5000 (SILECS) testbeds. The hackathon will be the opportunity for the attendees to put into practice the knowledge acquired during the lectures.

This year’s autumn school “Proof and Computation” will be held as an online workshop. Scope:

• Predicative Foundations
• Constructive Mathematics and Type Theory
• Computation in Higher Types
• Extraction of Programs from Proofs

The Scottish Programming Languages and Verification Summer School is a collaborative effort between the Universities of Edinburgh, Glasgow, Heriot-Watt, Strathclyde and St Andrews. This summer school provides core and advanced classes that cover foundational as well as state of the art knowledge on the underlying principles needed to use or design new languages and verifying program correctness.

The school will have a group of prestigious scholars giving tutorials and research seminars.

The Programming Languages Mentoring Workshop (PLMW) is designed to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programming languages. The workshop includes mentoring sessions that cover effective habits for navigating the research landscape, technical sessions that cover core subfields within programming languages, and social sessions that create opportunities for students to interact with researchers in the field.

Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc.

In 2021, the 12th International School on Rewriting (ISR 2021) will take place online as a virtual event hosted via Zoom by the Computer Science School at Universidad Complutense de Madrid, Spain.

The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.

The Oregon Programming Languages Summer School is devoted to teaching the principles of programming languages to students and professionals. Although the topics vary from year to year, the unifying theme is the importance of fundamental theory to the design and implementation of programming languages, the development of program verification tools, and the application of advanced programming languages to practice. The theme for this year is “Foundations of Programming and Security.”

The annual Midlands Graduate School in the Foundations of Computing Science (MGS) offers an intensive programme of lectures on the mathematical foundations of computing. It addresses first of all PhD students in their first or second year, but is open to anyone interested in its topics, from academia to industry and around the world.

MGS 21 consists of eight courses, each with four or five hours of lectures and a similar number of exercise sessions. Three courses are introductory; one is given by an invited lecturer. These should be attended by all participants. The remaining more advanced courses should be selected based on interest. MGS 21 aims at a mix of livestreamed and prerecorded lectures and livestreamed exercise sessions, with additional social online events.

DeepLearn 2021 Winter 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.

Deep learning is a branch of artificial intelligence covering a spectrum of current exciting research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. 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 24 four-hour and a half courses and 3 keynote lectures, 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.