This University of Kent designed course will teach theory and practice, through practical exercises and suggested projects and includes:

• Getting started programming in Erlang
• Programs and functions in Erlang
• Data structures using lists
• Tools for Erlang programming
• Functions as data, and higher-order functions
• Case studies

The course is free and designed for anyone with prior programming experience, whether self-taught or professional. This is followed in late June by a second MOOC on Concurrent Programming in Erlang.

We combine the theory of functional programming and the practice of how that works in Erlang. The course will also help you if you are interested in Elixir, based on the same virtual machine as Erlang, and will help you get going with any functional language.

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS used to be organized by the Institute of Cybernetics, a research institute of Tallinn University of Technology. Since 2017 it is organized by the Department of Software Science.
The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The working language of the schools is English.

The VMCAI Winter School is the second winter school on formal methods associated with VMCAI 2020, which will take place in New Orleans, Louisiana on January 16-18, 2020. In the vein of VMCAI, the school is meant to facilitate interaction, cross-fertilization, and advancement of hybrid methods that combine verification, model checking, and abstract interpretation. The school is aimed primarily at PhD students but we will also consider applications from senior undergrad and master students who intend to continue their study in the field of verification.

The Heidelberg Laureate Forum is a one-week event combining scientific, social and outreach activities. The recipients of the most prestigious awards in mathematics and computer science, the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and the Nevanlinna Prize are invited to participate in the Forum. They will give lectures on subjects of their choosing which are primarily directed at the participating young scientists. Those lectures should be the starting point of intensive discussions between the laureates and the young researchers during the forum. This means that the Heidelberg Laureate Forum is not a classical scientific conference but a networking event meant to motivate and inspire the next generation of scientists. Additional to the lectures there are other platforms for exchange, such as workshops, the hot topic, poster flashes etc.

The fourth international autumn school “Proof and Computation” will be held from 20th to 26th September 2019 in Herrsching 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.

The Summer School Marktoberdorf is a 10-day course for young computer scientists and mathematicians working on formal approaches to correctness and security of software systems. Software systems are part of our lives in many forms because they are part of almost all technical systems nowadays. Their ubiquity implies that they should satisfy particularly high standards: they should not harm their environment (safety) and they should not be vulnerable to security attacks. Violations of both safety and security can result in considerable economic, political, and physical damage. Thus the focus of the summer school are the general improvement of the quality of complex software systems and in particular cyber defense and new technologies to support the construction of safe and secure information technology infrastructure needed for a functioning modern society.

DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning 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.infrastructure needed for a functioning modern society.

The Summer School’s goal is to prepare early graduate students and advanced undergraduates for research in the field. This will be done through a combination of lectures on language implementation techniques and short talks exploring the state of the art in programming language research and practice.