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, participants will also gain insights into how the research is moving, and how blockchains will affect the future of the industry, and more in general of complex organizations. The school combines lectures, tutorials, and hands-on experiences. In the following, we report the main topics that will be presented.

– Introduction to 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 Fabric smart contracts.

– Discover relevant case studies based on the Hyperledger ecosystem.

The LSS@ANU consists of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, there may be practical sessions giving students the opportunity to use web-based logic software.

Modern logic is the foundational discipline of the information sciences. It includes not only the science of reasoning but also computability theory, type theory and other tools for understanding processes, declarative programming, automatic proof generation, program verification and much more. It spreads into planning, into program synthesis, into circuit design and into discourse analysis. It underpins the entire science of artificial intelligence.

Part mathematics, part philosophy and these days part computing science, logic remains a core intellectual study and is increasingly relevant to practical concerns.

The aim of the Autumn school is to cover basic and advanced topics in proof theory. The focus of the fourth edition will be proof theory of modal logic, computational content of proofs, proof complexity, proof theory of set theory, and philosophical aspects of proof. Other areas such as constructivism and reverse mathematics will be represented through research talks at the following workshop. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

This year’s international autumn school “Proof and Computation” will be held from 26th September to 1st October 2022 in Fischbachau near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

Scope: Predicative Foundations; Constructive Mathematics and Type Theory; Computation in Higher Types; Extraction of Programs from Proofs.

The school addresses various topics of software engineering of dependable systems, their verification, how to guarantee their security, and how to design autonomous and self-adaptive systems. At the SEFM Summer School, four internationally renowned researchers will present courses that provide an introduction, an overview of current techniques, and perspectives within their areas of specialisation for PhD students in Computer Science.

The Vrije Universiteit Brussel and KU Leuven are pleased to announce the 1st Summer School on Security Testing and Verification.

It is aimed at researchers and PhD students who are interested in the fields of static and dynamic security testing; software verification; security by design; machine learning for vulnerability detection; and more.

We live in a “digital” world, the separation between physical and virtual makes (almost) no sense anymore. Here, the Corona pandemic has also acted as an accelerator/magnifier demonstrating that the future of our digital society is here with all its possibilities, but also shortcomings. Digital Humanism looks at this interplay of technology and man, it analyzes, and, most importantly, tries to influence the complex interplay of technology and humankind, for a better society and life. We recognize the need of an interdisciplinary approach, integrating humanities, social, technical and engineering sciences; we need to cross different disciplines and to break down disciplinary silos.

At the summer school we look at and discuss issues such as participation and democracy, digital politics and sovereignty, economy and the role of platforms, privacy, AI and ethics, or fair systems. This will be presented and discussed by globally recognized and leading academics from computer science, social sciences and humanities.

The school is designed in an interdisciplinary manner, open for participants from the different disciplines mentioned (humanities, social, technical and engineering sciences). It is open to students at the PhD and advanced master level as well as interested persons from industry, institutions and civil society.

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia and industry, interested to approach the field, investigate open problems, and follow priority lines of research.

Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2019. This year we will also include a day (Aug 17th) dedicated to constraint programming (CP) and its connections to SAT.

The European Summer School in Logic, Language and Information (ESSLLI) provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, also from wider scientific, historical, and philosophical perspectives. Its relevance to students of artificial intelligence is evident.