Theory and Practice of the European Convention on Human Rights

This edited book brings you a collection of current, critical issues regarding the theory and practice of the European Court of Human Rights. The book is divided into three parts: procedural concerns, principles and jurisprudence, and interaction with national legal systems. Each chapter was written by an expert, with each author coming from a distinct background. The authors all presented at the 2019 University of Leipzig’s & University of Dresden’s 1st International Summer School on the European Court of Human Rights, with only select presenters asked to contribute to this book. The book’s goal is to promote further research and discourse on the operation of the Court, a goal that will be continued in the second summer school in 2021. With contributions by Veronika Bilkova, Katharina Braun, Robert Frau, Hanaa Hakiki, Beti Hohler, Stefanie Lemke, Helga Molbaek-Steensig, Jacopo Roberti di Sarsina, Christiane Schmaltz, Barbara Sonczyk, Dominik Steiger, Edith Wagner and Alain Zysset.

Sidney Coleman's Lectures on Relativity

Sidney Coleman (1937–2007) earned his doctorate at Caltech under Murray Gell-Mann. Before completing his thesis, he was hired by Harvard and remained there his entire career. A celebrated particle theorist, he is perhaps best known for his brilliant lectures, given at Harvard and in a series of summer school courses at Erice, Sicily. Three times in the 1960s he taught a graduate course on Special and General Relativity; this book is based on lecture notes taken by three of his students and compiled by the Editors.

Editorial – Fulfilling the purpose of a rich, productive, and successful 2021. And preparing for an as much as possible, definitely “true normal” 2022

Dear readers, students, fellow scholars, welcome to this tenth instalment of Mutual Images Journal, which we have titled “Aesthetic journeys and media pilgrimages in the contexts of pop culture and the creative industries from and to East Asia”, trying to subsume in it the variety of themes the volume hosts. Audaces fortuna iuvat The Latin adage of this introduction states: “good luck helps the daring ones”. We think this is what happened to us and Mutual Images, both the journal and the association as a whole. We had left 2020 with more than just the proverbial mixed feelings: we were all uncertain and confused about what would and could happen in 2021. We won’t give you a summary of the many facets of what 2020 has been for the world, because each of you knows that all too well. But for MIRA, at least, 2021 was a moment of rally and refocus on what we hold dear: research, publishing, and the careful organisation of workshops and similar events. We rolled up our sleeves as so many people around the world did, and, in our microcosm of transcultural research in the humanities, media, cultural sociology, and area studies — whether supported by universities or independently run — we brought home two very nice workshops and a summer school. One workshop was held in Italy and Spain in November 2020 and the other in Japan in January 2021, although, for obvious reasons, both were technically conducted mainly online; and the summer school took place on-site in China, in June 2021. The two workshops saw [...]

Editorial – Fulfilling the purpose of a rich, productive, and successful 2021. And preparing for an as much as possible, definitely “true normal” 2022

Dear readers, students, fellow scholars, welcome to this tenth instalment of Mutual Images Journal, which we have titled “Aesthetic journeys and media pilgrimages in the contexts of pop culture and the creative industries from and to East Asia”, trying to subsume in it the variety of themes the volume hosts. Audaces fortuna iuvat The Latin adage of this introduction states: “good luck helps the daring ones”. We think this is what happened to us and Mutual Images, both the journal and the association as a whole. We had left 2020 with more than just the proverbial mixed feelings: we were all uncertain and confused about what would and could happen in 2021. We won’t give you a summary of the many facets of what 2020 has been for the world, because each of you knows that all too well. But for MIRA, at least, 2021 was a moment of rally and refocus on what we hold dear: research, publishing, and the careful organisation of workshops and similar events. We rolled up our sleeves as so many people around the world did, and, in our microcosm of transcultural research in the humanities, media, cultural sociology, and area studies — whether supported by universities or independently run — we brought home two very nice workshops and a summer school. One workshop was held in Italy and Spain in November 2020 and the other in Japan in January 2021, although, for obvious reasons, both were technically conducted mainly online; and the summer school took place on-site in China, in June 2021. The two workshops saw [...]

Using technologies to design personalized learning pathways as a part of scientific practice of students

Problem and goal. The article deals with the process of designing the high school internship program of the ITMO Universitys Information Chemistry Center by using information and communications technology (ICT). The program development process involved following stages: client briefing, exploratory study, hypotheses-formation processes and its testing, custom development, learning experience design and project defense. Methodology. The high school students views about the Infochemistry Internship Program were analyzed. Authors conduc- ted in-depth interviews with respondents and retrieved information about students scientific achievements, challenges and recommendations for improving the internship program. During the exploratory research stage the high school internship programs of Russian and foreign universities in the field of biology, chemistry, physics and IT were studied. The initial sample was composed of Stanford University Mathematics Camp (SUMaC), Stanford University Science Circle, Harvard University Summer School (Pre-College Program), Chemistry Research Academy of University of Pennsylvania. Three types of scientific practices - summer camp or summer school, university science circle and a research academy - were identified. Results. The authors emphasized that there is not a single high school internship program in the field of chemistry in Russia like at IMTO University. This immerse education program is based on laboratory learning that allows students experience chemistry principles under the guidance of leading scientists. The concept of the program based on the science education model. It involves the personalized learning pathway, scaffolding activities, and participation in the research project. Flexible learning pathway is the core of the program that includes various levels of personalization: project, scaffolding means, pace of learning, educational content, educational result. To prove the importance of using ICT and social media in educational process authors found the results of the research conducted by University College Dublin and University of Melbourne. Conclusion. The paper has highlighted the significance of revamping internship programs, identified the most common types of scientific practices and proved the importance of selected program principles.

Cubical methods in homotopy type theory and univalent foundations

Cubical methods have played an important role in the development of Homotopy Type Theory and Univalent Foundations (HoTT/UF) in recent years. The original motivation behind these developments was to give constructive meaning to Voevodsky’s univalence axiom, but they have since then led to a range of new results. Among the achievements of these methods is the design of new type theories and proof assistants with native support for notions from HoTT/UF, syntactic and semantic consistency results for HoTT/UF, as well as a variety of independence results and establishing that the univalence axiom does not increase the proof theoretic strength of type theory. This paper is based on lecture notes that were written for the 2019 Homotopy Type Theory Summer School at Carnegie Mellon University. The goal of these lectures was to give an introduction to cubical methods and provide sufficient background in order to make the current research in this very active area of HoTT/UF more accessible to newcomers. The focus of these notes is hence on both the syntactic and semantic aspects of these methods, in particular on cubical type theory and the various cubical set categories that give meaning to these theories.