diff --git a/vortragKRRUpSeminar/README.md b/vortragKRRUpSeminar/README.md deleted file mode 100644 index a85d574..0000000 --- a/vortragKRRUpSeminar/README.md +++ /dev/null @@ -1,6 +0,0 @@ -Bilder von: https://de.freepik.com - -Font: Space Mono von Google - -Notes: -How to give a great research talk: https://www.microsoft.com/en-us/research/academic-program/give-great-research-talk/ diff --git a/vortragKRRUpSeminar/SpaceMonoFont/OFL.txt b/vortragKRRUpSeminar/SpaceMonoFont/OFL.txt deleted file mode 100644 index 638887e..0000000 --- a/vortragKRRUpSeminar/SpaceMonoFont/OFL.txt +++ /dev/null @@ -1,93 +0,0 @@ -Copyright 2016 Google Inc. All Rights Reserved. - -This Font Software is licensed under the SIL Open Font License, Version 1.1. -This license is copied below, and is also available with a FAQ at: -https://openfontlicense.org - - ------------------------------------------------------------ -SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007 ------------------------------------------------------------ - -PREAMBLE -The goals of the Open Font License (OFL) are to stimulate worldwide -development of collaborative font projects, to support the font creation -efforts of academic and linguistic communities, and to provide a free and -open framework in which fonts may be shared and improved in partnership -with others. - -The OFL allows the licensed fonts to be used, studied, modified and -redistributed freely as long as they are not sold by themselves. The -fonts, including any derivative works, can be bundled, embedded, -redistributed and/or sold with any software provided that any reserved -names are not used by derivative works. The fonts and derivatives, -however, cannot be released under any other type of license. The -requirement for fonts to remain under this license does not apply -to any document created using the fonts or their derivatives. - -DEFINITIONS -"Font Software" refers to the set of files released by the Copyright -Holder(s) under this license and clearly marked as such. This may -include source files, build scripts and documentation. - -"Reserved Font Name" refers to any names specified as such after the -copyright statement(s). - -"Original Version" refers to the collection of Font Software components as -distributed by the Copyright Holder(s). - -"Modified Version" refers to any derivative made by adding to, deleting, -or substituting -- in part or in whole -- any of the components of the -Original Version, by changing formats or by porting the Font Software to a -new environment. - -"Author" refers to any designer, engineer, programmer, technical -writer or other person who contributed to the Font Software. - -PERMISSION & CONDITIONS -Permission is hereby granted, free of charge, to any person obtaining -a copy of the Font Software, to use, study, copy, merge, embed, modify, -redistribute, and sell modified and unmodified copies of the Font -Software, subject to the following conditions: - -1) Neither the Font Software nor any of its individual components, -in Original or Modified Versions, may be sold by itself. - -2) Original or Modified Versions of the Font Software may be bundled, -redistributed and/or sold with any software, provided that each copy -contains the above copyright notice and this license. These can be -included either as stand-alone text files, human-readable headers or -in the appropriate machine-readable metadata fields within text or -binary files as long as those fields can be easily viewed by the user. - -3) No Modified Version of the Font Software may use the Reserved Font -Name(s) unless explicit written permission is granted by the corresponding -Copyright Holder. This restriction only applies to the primary font name as -presented to the users. - -4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font -Software shall not be used to promote, endorse or advertise any -Modified Version, except to acknowledge the contribution(s) of the -Copyright Holder(s) and the Author(s) or with their explicit written -permission. - -5) The Font Software, modified or unmodified, in part or in whole, -must be distributed entirely under this license, and must not be -distributed under any other license. The requirement for fonts to -remain under this license does not apply to any document created -using the Font Software. - -TERMINATION -This license becomes null and void if any of the above conditions are -not met. - -DISCLAIMER -THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, -EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF -MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT -OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE -COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, -INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL -DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING -FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM -OTHER DEALINGS IN THE FONT SOFTWARE. diff --git a/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Bold.ttf b/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Bold.ttf deleted file mode 100644 index 20e3449..0000000 Binary files a/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Bold.ttf and /dev/null differ diff --git a/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-BoldItalic.ttf b/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-BoldItalic.ttf deleted file mode 100644 index ff2ea5a..0000000 Binary files a/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-BoldItalic.ttf and /dev/null differ diff --git a/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Italic.ttf b/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Italic.ttf deleted file mode 100644 index f36282f..0000000 Binary files a/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Italic.ttf and /dev/null differ diff --git a/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Regular.ttf b/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Regular.ttf deleted file mode 100644 index 04e56b9..0000000 Binary files a/vortragKRRUpSeminar/SpaceMonoFont/SpaceMono-Regular.ttf and /dev/null differ diff --git a/vortragKRRUpSeminar/SpaceMonoFont/Space_Mono.zip b/vortragKRRUpSeminar/SpaceMonoFont/Space_Mono.zip deleted file mode 100644 index cbf333f..0000000 Binary files a/vortragKRRUpSeminar/SpaceMonoFont/Space_Mono.zip and /dev/null differ diff --git a/vortragKRRUpSeminar/howtoGiveATalk/giving-a-talk.pdf b/vortragKRRUpSeminar/howtoGiveATalk/giving-a-talk.pdf deleted file mode 100644 index 5f2875a..0000000 Binary files a/vortragKRRUpSeminar/howtoGiveATalk/giving-a-talk.pdf and /dev/null differ diff --git a/vortragKRRUpSeminar/howtoGiveATalk/zeller_seminarvortrag.pdf b/vortragKRRUpSeminar/howtoGiveATalk/zeller_seminarvortrag.pdf deleted file mode 100644 index 9c98e02..0000000 Binary files a/vortragKRRUpSeminar/howtoGiveATalk/zeller_seminarvortrag.pdf and /dev/null differ diff --git a/vortragKRRUpSeminar/latexImages/rules.pdf b/vortragKRRUpSeminar/latexImages/rules.pdf deleted file mode 100644 index 82647b0..0000000 Binary files a/vortragKRRUpSeminar/latexImages/rules.pdf and /dev/null differ diff --git a/vortragKRRUpSeminar/latexImages/rules.tex b/vortragKRRUpSeminar/latexImages/rules.tex deleted file mode 100644 index 74af7b2..0000000 --- a/vortragKRRUpSeminar/latexImages/rules.tex +++ /dev/null @@ -1,267 +0,0 @@ -% This is samplepaper.tex, a sample chapter demonstrating the -% LLNCS macro package for Springer Computer Science proceedings; -% Version 2.21 of 2022/01/12 -% -\documentclass{standalone} -\usepackage{underscore} -\usepackage[T1]{fontenc} -% T1 fonts will be used to generate the final print and online PDFs, -% so please use T1 fonts in your manuscript whenever possible. -% Other font encondings may result in incorrect characters. -% -\usepackage{graphicx} -% Used for displaying a sample figure. If possible, figure files should -% be included in EPS format. -% -% If you use the hyperref package, please uncomment the following two lines -% to display URLs in blue roman font according to Springer's eBook style: -%\usepackage{color} -%\renewcommand\UrlFont{\color{blue}\rmfamily} -%\urlstyle{rm} -% -\include{prolog} -\usepackage{mathpartir} -\usepackage{amsmath} -\usepackage{amssymb} -\usepackage{amsthm} -\usepackage{enumitem} -\usepackage{xcolor} -%\usepackage{amsthm} - - -\newtheorem{theorem}{Theorem} -\newtheorem{lemma}[theorem]{Lemma} - -\begin{document} -\begin{tabular}{lcll} - $c $ &$::=$ & $\type{T} \lessdot \type{T} \mid \type{T} \doteq \type{T}$ & Constraint \\ - $\type{T} $ & $::=$ & $\tv{a} \mid \type{N}$ & Type placeholder or Type \\ - $\ntype{N}$ & $::=$ & $\exptype{C}{\ol{T}}$ & Class Type containing type placeholders\\ - $\gtype{G}$ & $::=$ & $\exptype{C}{\ol{G}}$ & Class Type not containing type placeholders \\ -\end{tabular} - -%\subsection{Subtyping} -\begin{mathpar} -\inferrule[S-Refl]{}{ -\type{T} <: \type{T} -} -\and -\inferrule[S-Trans]{\type{T}_1 <: \type{T}_2 \\ \type{T}_2 <: \type{T}_3}{ -\type{T}_1 <: \type{T}_3 -} -\and -\inferrule[S-Var]{}{\type{A} <: \Delta(\type{A})} -\and -\inferrule[S-Class]{\texttt{class}\ \exptype{C}{\ol{X}} \triangleleft \type{N}}{ -\exptype{C}{\ol{T}} <: [\ol{T}/\ol{X}]\type{N} -} -\end{mathpar} -\begin{mathpar} -\inferrule[N-Refl]{}{ -\type{C} << \type{C} -} -\and -\inferrule[N-Trans]{\type{C}_1 << \type{C}_2 \\ \type{C}_2 << \type{C}_3}{ -\type{C}_1 << \type{C}_3 -} -\and -\inferrule[N-Class]{\texttt{class}\ \exptype{C}{\ldots} \triangleleft \exptype{D}{\ldots}}{ -\type{C} << \type{D} -} -\end{mathpar} - -\label{sec:implicationRules} -\begin{mathpar} -\inferrule[Subst-L]{ - \tv{a} \doteq \type{T}_1 \\ - \tv{a} \lessdot \type{T}_2 -}{ - \type{T}_1 \lessdot \type{T}_2 -} -\and -\inferrule[Subst-R]{ - \tv{a} \doteq \type{T}_1 \\ - \type{T}_2 \lessdot \tv{a} -}{ - \type{T}_2 \lessdot \type{T}_1 -} -\and -\inferrule[Subst-Equal]{ - \tv{a} \doteq \type{T}_1 \\ - \tv{a} \doteq \type{T}_2 -}{ - \type{T}_1 \doteq \type{T}_2 -} -\and -\inferrule[Swap]{ - \type{T}_1 \doteq \type{T}_2 -}{ - \type{T}_2 \doteq \type{T}_1 -} -\and -\inferrule[Unfold]{ - \tv{b} \doteq \exptype{C}{\type{T}_1 \ldots \type{T}_n} -}{ - \type{T}_i \doteq \type{T}_i -} -\and -\inferrule[Unfold']{ - \tv{b} \lessdot \exptype{C}{\type{T}_1 \ldots \type{T}_n} -}{ - \type{T}_i \doteq \type{T}_i -} -\and -\inferrule[Subst-Param]{ - \type{T}' \doteq \type{S} \\ - \type{T} \doteq \exptype{C}{\type{T}_1 \ldots, \type{T}', \ldots \type{T}_n} \\ -}{ - \type{T} \doteq \exptype{C}{\type{T}_1, \ldots \type{S}, \ldots \type{T}_n} -} -\and -\inferrule[Subst-Param']{ - \type{T}' \doteq \type{S} \\ - \tv{b} \lessdot \exptype{C}{\type{T}_1 \ldots, \type{T}', \ldots \type{T}_n} \\ -}{ - \tv{b} \lessdot \exptype{C}{\type{T}_1, \ldots \type{S}, \ldots \type{T}_n} -} -\and -\inferrule[S-Object]{}{\tv{a} \lessdot \type{Object}} -\and -\inferrule[Match]{ - \tv{a} \lessdot \type{N}_1 \\ - \tv{a} \lessdot \type{N}_2 \\ - \type{N}_1 << \type{N}_2 -}{ - \type{N}_1 \lessdot \type{N}_2 -} -\and -\inferrule[Adopt]{ - \tv{a} \lessdot \tv{b} \\ - \tv{b} \lessdot \type{T} -}{ - \tv{a} \lessdot \type{T} -} -\and -% \inferrule[Subst-Param]{ -% \tv{a} \doteq \type{N} \\ -% \tv{a} = \type{T}_i \\ -% \exptype{C}{\type{T}_1 \ldots \type{T}_n} \lessdot \type{T} \\ -% }{ -% \type{T}_i \doteq \type{N} \\ -% } -\and -\inferrule[Adapt]{ - \type{N}_1 \lessdot \exptype{C}{\type{T}_1 \ldots \type{T}_n} \\ - \type{N}_1 <: \exptype{C}{\type{S}_1 \ldots \type{S}_n} \\ -}{ - \exptype{C}{\type{S}_1 \ldots \type{S}_n} \doteq \exptype{C}{\type{T}_1 \ldots \type{T}_n} \\ -} -\and -\inferrule[Reduce]{ - \exptype{C}{\type{S}_1 \ldots \type{S}_n} \doteq \exptype{C}{\type{T}_1 \ldots \type{T}_n} \\ -}{ - \type{S}_i \doteq \type{T}_i \\ -} -\end{mathpar} - -\begin{mathpar} - \text{Apply only once per constraint:}\quad - \inferrule[Super]{ - \type{N} \lessdot \tv{a}\\ - \type{N} <: \type{N}' - }{ - \tv{a} \doteq \type{N}' - } -\end{mathpar} - -\begin{mathpar} - \inferrule[Split-L]{ - \tv{a} \lessdot \tv{b}\\ - \tv{a} \lessdot \type{N}\\ - }{ - \tv{b} \lessdot \type{N} - } - \quad \quad - \vline - \quad \quad - \inferrule[Split-R]{ - \tv{a} \lessdot \tv{b}\\ - \tv{a} \lessdot \type{N}\\ - }{ - \type{N} \lessdot \tv{b} - } -\end{mathpar} - -Result: -\begin{mathpar} -\inferrule[Solution]{ - \tv{a} \doteq \type{G} -}{ - \sigma(\tv{a}) = \type{G} -} -\and -\inferrule[Solution-Gen]{ - \tv{a} \lessdot \type{C}_1, \ldots, \tv{a} \lessdot \type{C}_n \\ - \forall i: \type{C}_m << \type{C}_i \\ -}{ - \tv{a} \doteq \type{C}_m -} -% \and -% \inferrule[Solution-Gen]{ -% \tv{a} \lessdot \type{C}\\ -% \sigma(\tv{a}) = \emptyset -% }{ -% \tv{a} \doteq \type{A} \\ \sigma'(\tv{a}) = \type{A} -% } -% \and -% \inferrule[Solution-Gen]{ -% \tv{a} \lessdot \type{G} \\ -% \tv{a} \lessdot \type{G}_1, \ldots, \tv{a} \lessdot \type{G}_n \\ -% \forall i: \type{G} << \type{G}_i \\ -% \sigma'(\tv{a}) = \type{A} -% }{ -% \Delta(\type{A}) = \type{G} -% } -\end{mathpar} - -Fail: - -\begin{mathpar} -% \inferrule[Fail]{ -% \type{T} \lessdot \type{N}\\ -% \type{T} \nless : \type{N} -% }{ -% \emptyset -% } -% \and -\inferrule[Fail]{ - \exptype{C}{\ldots} \doteq \exptype{D}{\ldots}\\ - \type{C} \neq \type{D} -}{ - \emptyset -} -\and -\inferrule[Fail-Generic]{ - \type{X} \doteq \type{T}\\ - \type{X} \neq \type{T} -}{ - \emptyset -} -\and -\inferrule[Fail-Sigma]{ - \tv{a} \doteq \type{N} \\ - \tv{a} \in \type{N} -}{ - \emptyset -} -\and -\inferrule[Fail]{ -\tv{a} \lessdot \type{N}_1 \\ -\tv{a} \lessdot \type{N}_2 \\ -\text{not}\ \type{N}_1 << \type{N}_2 \\ -\text{not}\ \type{N}_2 << \type{N}_1 -}{ - \emptyset -} -\end{mathpar} -\end{document} diff --git a/vortragKRRUpSeminar/slides.odp b/vortragKRRUpSeminar/slides.odp deleted file mode 100644 index d41c0b7..0000000 Binary files a/vortragKRRUpSeminar/slides.odp and /dev/null differ