]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/commitdiff
Empty template
authorChristoph Egger <christoph@christoph-egger.org>
Sun, 24 Apr 2016 17:49:05 +0000 (19:49 +0200)
committerChristoph Egger <christoph@christoph-egger.org>
Sun, 24 Apr 2016 17:49:05 +0000 (19:49 +0200)
BeamerColor.sty [new file with mode: 0644]
Makefile [new file with mode: 0644]
chapters/template.tex [new file with mode: 0644]
images/42.pdf [new file with mode: 0644]
images/fau-logo.png [new file with mode: 0644]
images/tcs.pdf [new file with mode: 0644]
vortrag.tex [new file with mode: 0644]

diff --git a/BeamerColor.sty b/BeamerColor.sty
new file mode 100644 (file)
index 0000000..ab3222e
--- /dev/null
@@ -0,0 +1,484 @@
+%%
+%% `BeamerColor.sty',
+%% 
+%%   Dieser Text ist urheberrechtlich geschützt
+%%   Er stellt einen Auszug eines von mir erstellten Referates dar
+%%   und darf nicht gewerblich genutzt werden
+%%   die private bzw. Studiums bezogen Nutzung ist frei
+%% 
+%% Autor: Sascha Frank 
+%% 
+%% www.informatik.uni-freiburg.de/~frank/
+%% 
+%% \usetheme{Was_auch_immer}
+%% \usecolortheme[named=Farbe]{structure}
+%%
+%% Beispielsweise das Usetheme Berkeley in rot anstatt dem üblichen blau:
+%%
+%% \usetheme{Berkeley}
+%% \usecolortheme[named=red]{structure}
+%%  
+%%   
+%%   
+%%        
+%% 
+%% 
+%%
+%% 
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{BeamerColor}[08/01/2008]
+\RequirePackage{xcolor}
+
+\definecolor{AliceBlue}{rgb}{0.94,0.97,1}
+\definecolor{BlueViolet}{rgb}{0.54,0.17,0.88}
+\definecolor{CadetBlue}{rgb}{0.37,0.62,0.63}
+\definecolor{CadetBlue1}{rgb}{0.59,0.96,1}
+\definecolor{CadetBlue2}{rgb}{0.55,0.89,0.93}
+\definecolor{CadetBlue3}{rgb}{0.48,0.77,0.8}
+\definecolor{CadetBlue4}{rgb}{0.32,0.52,0.54}
+\definecolor{CornflowerBlue}{rgb}{0.39,0.58,0.93}
+\definecolor{DarkSlateBlue}{rgb}{0.28,0.24,0.54}
+\definecolor{DarkTurquoise}{rgb}{0,0.8,0.82}
+\definecolor{DeepSkyBlue}{rgb}{0,0.75,1}
+\definecolor{DeepSkyBlue1}{rgb}{0,0.75,1}
+\definecolor{DeepSkyBlue2}{rgb}{0,0.7,0.93}
+\definecolor{DeepSkyBlue3}{rgb}{0,0.6,0.8}
+\definecolor{DeepSkyBlue4}{rgb}{0,0.41,0.54}
+\definecolor{DodgerBlue}{rgb}{0.12,0.56,1}
+\definecolor{DodgerBlue1}{rgb}{0.12,0.56,1}
+\definecolor{DodgerBlue2}{rgb}{0.11,0.52,0.93}
+\definecolor{DodgerBlue3}{rgb}{0.09,0.45,0.8}
+\definecolor{DodgerBlue4}{rgb}{0.06,0.3,0.54}
+\definecolor{LightBlue}{rgb}{0.68,0.84,0.9}
+\definecolor{LightBlue1}{rgb}{0.75,0.93,1}
+\definecolor{LightBlue2}{rgb}{0.7,0.87,0.93}
+\definecolor{LightBlue3}{rgb}{0.6,0.75,0.8}
+\definecolor{LightBlue4}{rgb}{0.41,0.51,0.54}
+\definecolor{LightCyan}{rgb}{0.88,1,1}
+\definecolor{LightCyan1}{rgb}{0.88,1,1}
+\definecolor{LightCyan2}{rgb}{0.82,0.93,0.93}
+\definecolor{LightCyan3}{rgb}{0.7,0.8,0.8}
+\definecolor{LightCyan4}{rgb}{0.48,0.54,0.54}
+\definecolor{LightSkyBlue}{rgb}{0.53,0.8,0.98}
+\definecolor{LightSkyBlue1}{rgb}{0.69,0.88,1}
+\definecolor{LightSkyBlue2}{rgb}{0.64,0.82,0.93}
+\definecolor{LightSkyBlue3}{rgb}{0.55,0.71,0.8}
+\definecolor{LightSkyBlue4}{rgb}{0.38,0.48,0.54}
+\definecolor{LightSlateBlue}{rgb}{0.52,0.44,1}
+\definecolor{LightSteelBlue}{rgb}{0.69,0.77,0.87}
+\definecolor{LightSteelBlue1}{rgb}{0.79,0.88,1}
+\definecolor{LightSteelBlue2}{rgb}{0.73,0.82,0.93}
+\definecolor{LightSteelBlue3}{rgb}{0.63,0.71,0.8}
+\definecolor{LightSteelBlue4}{rgb}{0.43,0.48,0.54}
+\definecolor{MediumAquamarine}{rgb}{0.4,0.8,0.66}
+\definecolor{MediumBlue}{rgb}{0,0,0.8}
+\definecolor{MediumSlateBlue}{rgb}{0.48,0.41,0.93}
+\definecolor{MediumTurquoise}{rgb}{0.28,0.82,0.8}
+\definecolor{MidnightBlue}{rgb}{0.1,0.1,0.44}
+\definecolor{NavyBlue}{rgb}{0,0,0.5}
+\definecolor{PaleTurquoise}{rgb}{0.68,0.93,0.93}
+\definecolor{PaleTurquoise1}{rgb}{0.73,1,1}
+\definecolor{PaleTurquoise2}{rgb}{0.68,0.93,0.93}
+\definecolor{PaleTurquoise3}{rgb}{0.59,0.8,0.8}
+\definecolor{PaleTurquoise4}{rgb}{0.4,0.54,0.54}
+\definecolor{PowderBlue}{rgb}{0.69,0.88,0.9}
+\definecolor{RoyalBlue}{rgb}{0.25,0.41,0.88}
+\definecolor{RoyalBlue1}{rgb}{0.28,0.46,1}
+\definecolor{RoyalBlue2}{rgb}{0.26,0.43,0.93}
+\definecolor{RoyalBlue3}{rgb}{0.23,0.37,0.8}
+\definecolor{RoyalBlue4}{rgb}{0.15,0.25,0.54}
+\definecolor{SkyBlue}{rgb}{0.53,0.8,0.92}
+\definecolor{SkyBlue1}{rgb}{0.53,0.8,1}
+\definecolor{SkyBlue2}{rgb}{0.49,0.75,0.93}
+\definecolor{SkyBlue3}{rgb}{0.42,0.65,0.8}
+\definecolor{SkyBlue4}{rgb}{0.29,0.44,0.54}
+\definecolor{SlateBlue}{rgb}{0.41,0.35,0.8}
+\definecolor{SlateBlue1}{rgb}{0.51,0.43,1}
+\definecolor{SlateBlue2}{rgb}{0.48,0.4,0.93}
+\definecolor{SlateBlue3}{rgb}{0.41,0.35,0.8}
+\definecolor{SlateBlue4}{rgb}{0.28,0.23,0.54}
+\definecolor{SteelBlue}{rgb}{0.27,0.51,0.7}
+\definecolor{SteelBlue1}{rgb}{0.39,0.72,1}
+\definecolor{SteelBlue2}{rgb}{0.36,0.67,0.93}
+\definecolor{SteelBlue3}{rgb}{0.31,0.58,0.8}
+\definecolor{SteelBlue4}{rgb}{0.21,0.39,0.54}
+\definecolor{aquamarine}{rgb}{0.5,1,0.83}
+\definecolor{aquamarine1}{rgb}{0.5,1,0.83}
+\definecolor{aquamarine2}{rgb}{0.46,0.93,0.77}
+\definecolor{aquamarine3}{rgb}{0.4,0.8,0.66}
+\definecolor{aquamarine4}{rgb}{0.27,0.54,0.45}
+\definecolor{azure}{rgb}{0.94,1,1}
+\definecolor{azure1}{rgb}{0.94,1,1}
+\definecolor{azure2}{rgb}{0.88,0.93,0.93}
+\definecolor{azure3}{rgb}{0.75,0.8,0.8}
+\definecolor{azure4}{rgb}{0.51,0.54,0.54}
+\definecolor{blue}{rgb}{0,0,1}
+\definecolor{blue1}{rgb}{0,0,1}
+\definecolor{blue2}{rgb}{0,0,0.93}
+\definecolor{blue3}{rgb}{0,0,0.8}
+\definecolor{blue4}{rgb}{0,0,0.54}
+\definecolor{cyan}{rgb}{0,1,1}
+\definecolor{cyan1}{rgb}{0,1,1}
+\definecolor{cyan2}{rgb}{0,0.93,0.93}
+\definecolor{cyan3}{rgb}{0,0.8,0.8}
+\definecolor{cyan4}{rgb}{0,0.54,0.54}
+\definecolor{navy}{rgb}{0,0,0.5}
+\definecolor{turquoise}{rgb}{0.25,0.88,0.81}
+\definecolor{turquoise1}{rgb}{0,0.96,1}
+\definecolor{turquoise2}{rgb}{0,0.89,0.93}
+\definecolor{turquoise3}{rgb}{0,0.77,0.8}
+\definecolor{turquoise4}{rgb}{0,0.52,0.54}
+\definecolor{RosyBrown}{rgb}{0.73,0.56,0.56}
+\definecolor{RosyBrown1}{rgb}{1,0.75,0.75}
+\definecolor{RosyBrown2}{rgb}{0.93,0.7,0.7}
+\definecolor{RosyBrown3}{rgb}{0.8,0.61,0.61}
+\definecolor{RosyBrown4}{rgb}{0.54,0.41,0.41}
+\definecolor{SaddleBrown}{rgb}{0.54,0.27,0.07}
+\definecolor{SandyBrown}{rgb}{0.95,0.64,0.38}
+\definecolor{beige}{rgb}{0.96,0.96,0.86}
+\definecolor{brown}{rgb}{0.64,0.16,0.16}
+\definecolor{brown1}{rgb}{1,0.25,0.25}
+\definecolor{brown2}{rgb}{0.93,0.23,0.23}
+\definecolor{brown3}{rgb}{0.8,0.2,0.2}
+\definecolor{brown4}{rgb}{0.54,0.14,0.14}
+\definecolor{burlywood}{rgb}{0.87,0.72,0.53}
+\definecolor{burlywood1}{rgb}{1,0.82,0.61}
+\definecolor{burlywood2}{rgb}{0.93,0.77,0.57}
+\definecolor{burlywood3}{rgb}{0.8,0.66,0.49}
+\definecolor{burlywood4}{rgb}{0.54,0.45,0.33}
+\definecolor{chocolate}{rgb}{0.82,0.41,0.12}
+\definecolor{chocolate1}{rgb}{1,0.5,0.14}
+\definecolor{chocolate2}{rgb}{0.93,0.46,0.13}
+\definecolor{chocolate3}{rgb}{0.8,0.4,0.11}
+\definecolor{chocolate4}{rgb}{0.54,0.27,0.07}
+\definecolor{peru}{rgb}{0.8,0.52,0.25}
+\definecolor{tan}{rgb}{0.82,0.7,0.55}
+\definecolor{tan1}{rgb}{1,0.64,0.31}
+\definecolor{tan2}{rgb}{0.93,0.6,0.29}
+\definecolor{tan3}{rgb}{0.8,0.52,0.25}
+\definecolor{tan4}{rgb}{0.54,0.35,0.17}
+\definecolor{DarkSlateGray}{rgb}{0.18,0.31,0.31}
+\definecolor{DarkSlateGray1}{rgb}{0.59,1,1}
+\definecolor{DarkSlateGray2}{rgb}{0.55,0.93,0.93}
+\definecolor{DarkSlateGray3}{rgb}{0.47,0.8,0.8}
+\definecolor{DarkSlateGray4}{rgb}{0.32,0.54,0.54}
+\definecolor{DarkSlateGrey}{rgb}{0.18,0.31,0.31}
+\definecolor{DimGray}{rgb}{0.41,0.41,0.41}
+\definecolor{DimGrey}{rgb}{0.41,0.41,0.41}
+\definecolor{LightGray}{rgb}{0.82,0.82,0.82}
+\definecolor{LightGrey}{rgb}{0.82,0.82,0.82}
+\definecolor{LightSlateGray}{rgb}{0.46,0.53,0.6}
+\definecolor{LightSlateGrey}{rgb}{0.46,0.53,0.6}
+\definecolor{SlateGray}{rgb}{0.44,0.5,0.56}
+\definecolor{SlateGray1}{rgb}{0.77,0.88,1}
+\definecolor{SlateGray2}{rgb}{0.72,0.82,0.93}
+\definecolor{SlateGray3}{rgb}{0.62,0.71,0.8}
+\definecolor{SlateGray4}{rgb}{0.42,0.48,0.54}
+\definecolor{SlateGrey}{rgb}{0.44,0.5,0.56}
+\definecolor{gray}{rgb}{0.74,0.74,0.74}
+\definecolor{gray0}{rgb}{0,0,0}
+\definecolor{gray1}{rgb}{0.01,0.01,0.01}
+\definecolor{gray10}{rgb}{0.1,0.1,0.1}
+\definecolor{DarkGreen}{rgb}{0,0.39,0}
+\definecolor{DarkKhaki}{rgb}{0.74,0.71,0.42}
+\definecolor{DarkOliveGreen}{rgb}{0.33,0.42,0.18}
+\definecolor{DarkOliveGreen1}{rgb}{0.79,1,0.44}
+\definecolor{DarkOliveGreen2}{rgb}{0.73,0.93,0.41}
+\definecolor{DarkOliveGreen3}{rgb}{0.63,0.8,0.35}
+\definecolor{DarkOliveGreen4}{rgb}{0.43,0.54,0.24}
+\definecolor{DarkSeaGreen}{rgb}{0.56,0.73,0.56}
+\definecolor{DarkSeaGreen1}{rgb}{0.75,1,0.75}
+\definecolor{DarkSeaGreen2}{rgb}{0.7,0.93,0.7}
+\definecolor{DarkSeaGreen3}{rgb}{0.61,0.8,0.61}
+\definecolor{DarkSeaGreen4}{rgb}{0.41,0.54,0.41}
+\definecolor{ForestGreen}{rgb}{0.13,0.54,0.13}
+\definecolor{GreenYellow}{rgb}{0.68,1,0.18}
+\definecolor{LawnGreen}{rgb}{0.48,0.98,0}
+\definecolor{LightSeaGreen}{rgb}{0.13,0.7,0.66}
+\definecolor{LimeGreen}{rgb}{0.2,0.8,0.2}
+\definecolor{MediumSeaGreen}{rgb}{0.23,0.7,0.44}
+\definecolor{MediumSpringGreen}{rgb}{0,0.98,0.6}
+\definecolor{MintCream}{rgb}{0.96,1,0.98}
+\definecolor{OliveDrab}{rgb}{0.42,0.55,0.14}
+\definecolor{OliveDrab1}{rgb}{0.75,1,0.24}
+\definecolor{OliveDrab2}{rgb}{0.7,0.93,0.23}
+\definecolor{OliveDrab3}{rgb}{0.6,0.8,0.2}
+\definecolor{OliveDrab4}{rgb}{0.41,0.54,0.13}
+\definecolor{PaleGreen}{rgb}{0.59,0.98,0.59}
+\definecolor{PaleGreen1}{rgb}{0.6,1,0.6}
+\definecolor{PaleGreen2}{rgb}{0.56,0.93,0.56}
+\definecolor{PaleGreen3}{rgb}{0.48,0.8,0.48}
+\definecolor{PaleGreen4}{rgb}{0.33,0.54,0.33}
+\definecolor{SeaGreen}{rgb}{0.18,0.54,0.34}
+\definecolor{SeaGreen1}{rgb}{0.33,1,0.62}
+\definecolor{SeaGreen2}{rgb}{0.3,0.93,0.58}
+\definecolor{SeaGreen3}{rgb}{0.26,0.8,0.5}
+\definecolor{SeaGreen4}{rgb}{0.18,0.54,0.34}
+\definecolor{SpringGreen}{rgb}{0,1,0.5}
+\definecolor{SpringGreen1}{rgb}{0,1,0.5}
+\definecolor{SpringGreen2}{rgb}{0,0.93,0.46}
+\definecolor{SpringGreen3}{rgb}{0,0.8,0.4}
+\definecolor{SpringGreen4}{rgb}{0,0.54,0.27}
+\definecolor{YellowGreen}{rgb}{0.6,0.8,0.2}
+\definecolor{chartreuse}{rgb}{0.5,1,0}
+\definecolor{chartreuse1}{rgb}{0.5,1,0}
+\definecolor{chartreuse2}{rgb}{0.46,0.93,0}
+\definecolor{chartreuse3}{rgb}{0.4,0.8,0}
+\definecolor{chartreuse4}{rgb}{0.27,0.54,0}
+\definecolor{green}{rgb}{0,1,0}
+\definecolor{green1}{rgb}{0,1,0}
+\definecolor{green2}{rgb}{0,0.93,0}
+\definecolor{green3}{rgb}{0,0.8,0}
+\definecolor{green4}{rgb}{0,0.54,0}
+\definecolor{khaki}{rgb}{0.94,0.9,0.55}
+\definecolor{khaki1}{rgb}{1,0.96,0.56}
+\definecolor{khaki2}{rgb}{0.93,0.9,0.52}
+\definecolor{khaki3}{rgb}{0.8,0.77,0.45}
+\definecolor{khaki4}{rgb}{0.54,0.52,0.3}
+\definecolor{DarkOrange}{rgb}{1,0.55,0}
+\definecolor{DarkOrange1}{rgb}{1,0.5,0}
+\definecolor{DarkOrange2}{rgb}{0.93,0.46,0}
+\definecolor{DarkOrange3}{rgb}{0.8,0.4,0}
+\definecolor{DarkOrange4}{rgb}{0.54,0.27,0}
+\definecolor{DarkSalmon}{rgb}{0.91,0.59,0.48}
+\definecolor{LightCoral}{rgb}{0.94,0.5,0.5}
+\definecolor{LightSalmon}{rgb}{1,0.63,0.48}
+\definecolor{LightSalmon1}{rgb}{1,0.63,0.48}
+\definecolor{LightSalmon2}{rgb}{0.93,0.58,0.45}
+\definecolor{LightSalmon3}{rgb}{0.8,0.5,0.38}
+\definecolor{LightSalmon4}{rgb}{0.54,0.34,0.26}
+\definecolor{PeachPuff}{rgb}{1,0.85,0.72}
+\definecolor{PeachPuff1}{rgb}{1,0.85,0.72}
+\definecolor{PeachPuff2}{rgb}{0.93,0.79,0.68}
+\definecolor{PeachPuff3}{rgb}{0.8,0.68,0.58}
+\definecolor{PeachPuff4}{rgb}{0.54,0.46,0.39}
+\definecolor{bisque}{rgb}{1,0.89,0.77}
+\definecolor{bisque1}{rgb}{1,0.89,0.77}
+\definecolor{bisque2}{rgb}{0.93,0.83,0.71}
+\definecolor{bisque3}{rgb}{0.8,0.71,0.62}
+\definecolor{bisque4}{rgb}{0.54,0.49,0.42}
+\definecolor{coral}{rgb}{1,0.5,0.31}
+\definecolor{coral1}{rgb}{1,0.45,0.34}
+\definecolor{coral2}{rgb}{0.93,0.41,0.31}
+\definecolor{coral3}{rgb}{0.8,0.36,0.27}
+\definecolor{coral4}{rgb}{0.54,0.24,0.18}
+\definecolor{honeydew}{rgb}{0.94,1,0.94}
+\definecolor{honeydew1}{rgb}{0.94,1,0.94}
+\definecolor{honeydew2}{rgb}{0.88,0.93,0.88}
+\definecolor{honeydew3}{rgb}{0.75,0.8,0.75}
+\definecolor{honeydew4}{rgb}{0.51,0.54,0.51}
+\definecolor{orange}{rgb}{1,0.64,0}
+\definecolor{orange1}{rgb}{1,0.64,0}
+\definecolor{orange2}{rgb}{0.93,0.6,0}
+\definecolor{orange3}{rgb}{0.8,0.52,0}
+\definecolor{orange4}{rgb}{0.54,0.35,0}
+\definecolor{salmon}{rgb}{0.98,0.5,0.45}
+\definecolor{salmon1}{rgb}{1,0.55,0.41}
+\definecolor{salmon2}{rgb}{0.93,0.51,0.38}
+\definecolor{salmon3}{rgb}{0.8,0.44,0.33}
+\definecolor{salmon4}{rgb}{0.54,0.3,0.22}
+\definecolor{sienna}{rgb}{0.63,0.32,0.18}
+\definecolor{sienna1}{rgb}{1,0.51,0.28}
+\definecolor{sienna2}{rgb}{0.93,0.47,0.26}
+\definecolor{sienna3}{rgb}{0.8,0.41,0.22}
+\definecolor{sienna4}{rgb}{0.54,0.28,0.15}
+\definecolor{DeepPink}{rgb}{1,0.08,0.57}
+\definecolor{DeepPink1}{rgb}{1,0.08,0.57}
+\definecolor{DeepPink2}{rgb}{0.93,0.07,0.54}
+\definecolor{DeepPink3}{rgb}{0.8,0.06,0.46}
+\definecolor{DeepPink4}{rgb}{0.54,0.04,0.31}
+\definecolor{HotPink}{rgb}{1,0.41,0.7}
+\definecolor{HotPink1}{rgb}{1,0.43,0.7}
+\definecolor{HotPink2}{rgb}{0.93,0.41,0.65}
+\definecolor{HotPink3}{rgb}{0.8,0.38,0.56}
+\definecolor{HotPink4}{rgb}{0.54,0.23,0.38}
+\definecolor{IndianRed}{rgb}{0.8,0.36,0.36}
+\definecolor{IndianRed1}{rgb}{1,0.41,0.41}
+\definecolor{IndianRed2}{rgb}{0.93,0.39,0.39}
+\definecolor{IndianRed3}{rgb}{0.8,0.33,0.33}
+\definecolor{IndianRed4}{rgb}{0.54,0.23,0.23}
+\definecolor{LightPink}{rgb}{1,0.71,0.75}
+\definecolor{LightPink1}{rgb}{1,0.68,0.72}
+\definecolor{LightPink2}{rgb}{0.93,0.63,0.68}
+\definecolor{LightPink3}{rgb}{0.8,0.55,0.58}
+\definecolor{LightPink4}{rgb}{0.54,0.37,0.39}
+\definecolor{MediumVioletRed}{rgb}{0.78,0.08,0.52}
+\definecolor{MistyRose}{rgb}{1,0.89,0.88}
+\definecolor{MistyRose1}{rgb}{1,0.89,0.88}
+\definecolor{MistyRose2}{rgb}{0.93,0.83,0.82}
+\definecolor{MistyRose3}{rgb}{0.8,0.71,0.71}
+\definecolor{MistyRose4}{rgb}{0.54,0.49,0.48}
+\definecolor{OrangeRed}{rgb}{1,0.27,0}
+\definecolor{OrangeRed1}{rgb}{1,0.27,0}
+\definecolor{OrangeRed2}{rgb}{0.93,0.25,0}
+\definecolor{OrangeRed3}{rgb}{0.8,0.21,0}
+\definecolor{OrangeRed4}{rgb}{0.54,0.14,0}
+\definecolor{PaleVioletRed}{rgb}{0.86,0.44,0.57}
+\definecolor{PaleVioletRed1}{rgb}{1,0.51,0.67}
+\definecolor{PaleVioletRed2}{rgb}{0.93,0.47,0.62}
+\definecolor{PaleVioletRed3}{rgb}{0.8,0.41,0.54}
+\definecolor{PaleVioletRed4}{rgb}{0.54,0.28,0.36}
+\definecolor{VioletRed}{rgb}{0.81,0.13,0.56}
+\definecolor{VioletRed1}{rgb}{1,0.24,0.59}
+\definecolor{VioletRed2}{rgb}{0.93,0.23,0.55}
+\definecolor{VioletRed3}{rgb}{0.8,0.2,0.47}
+\definecolor{VioletRed4}{rgb}{0.54,0.13,0.32}
+\definecolor{firebrick}{rgb}{0.7,0.13,0.13}
+\definecolor{firebrick1}{rgb}{1,0.19,0.19}
+\definecolor{firebrick2}{rgb}{0.93,0.17,0.17}
+\definecolor{firebrick3}{rgb}{0.8,0.15,0.15}
+\definecolor{firebrick4}{rgb}{0.54,0.1,0.1}
+\definecolor{pink}{rgb}{1,0.75,0.79}
+\definecolor{pink1}{rgb}{1,0.71,0.77}
+\definecolor{pink2}{rgb}{0.93,0.66,0.72}
+\definecolor{pink3}{rgb}{0.8,0.57,0.62}
+\definecolor{pink4}{rgb}{0.54,0.39,0.42}
+\definecolor{red}{rgb}{1,0,0}
+\definecolor{red1}{rgb}{1,0,0}
+\definecolor{red2}{rgb}{0.93,0,0}
+\definecolor{red3}{rgb}{0.8,0,0}
+\definecolor{red4}{rgb}{0.54,0,0}
+\definecolor{tomato}{rgb}{1,0.39,0.28}
+\definecolor{tomato1}{rgb}{1,0.39,0.28}
+\definecolor{tomato2}{rgb}{0.93,0.36,0.26}
+\definecolor{tomato3}{rgb}{0.8,0.31,0.22}
+\definecolor{tomato4}{rgb}{0.54,0.21,0.15}
+\definecolor{DarkOrchid}{rgb}{0.6,0.2,0.8}
+\definecolor{DarkOrchid1}{rgb}{0.75,0.24,1}
+\definecolor{DarkOrchid2}{rgb}{0.7,0.23,0.93}
+\definecolor{DarkOrchid3}{rgb}{0.6,0.2,0.8}
+\definecolor{DarkOrchid4}{rgb}{0.41,0.13,0.54}
+\definecolor{DarkViolet}{rgb}{0.58,0,0.82}
+\definecolor{LavenderBlush}{rgb}{1,0.94,0.96}
+\definecolor{LavenderBlush1}{rgb}{1,0.94,0.96}
+\definecolor{LavenderBlush2}{rgb}{0.93,0.88,0.89}
+\definecolor{LavenderBlush3}{rgb}{0.8,0.75,0.77}
+\definecolor{LavenderBlush4}{rgb}{0.54,0.51,0.52}
+\definecolor{MediumOrchid}{rgb}{0.73,0.33,0.82}
+\definecolor{MediumOrchid1}{rgb}{0.88,0.4,1}
+\definecolor{MediumOrchid2}{rgb}{0.82,0.37,0.93}
+\definecolor{MediumOrchid3}{rgb}{0.7,0.32,0.8}
+\definecolor{MediumOrchid4}{rgb}{0.48,0.21,0.54}
+\definecolor{MediumPurple}{rgb}{0.57,0.44,0.86}
+\definecolor{MediumPurple1}{rgb}{0.67,0.51,1}
+\definecolor{MediumPurple2}{rgb}{0.62,0.47,0.93}
+\definecolor{MediumPurple3}{rgb}{0.54,0.41,0.8}
+\definecolor{MediumPurple4}{rgb}{0.36,0.28,0.54}
+\definecolor{lavender}{rgb}{0.9,0.9,0.98}
+\definecolor{magenta}{rgb}{1,0,1}
+\definecolor{magenta1}{rgb}{1,0,1}
+\definecolor{magenta2}{rgb}{0.93,0,0.93}
+\definecolor{magenta3}{rgb}{0.8,0,0.8}
+\definecolor{magenta4}{rgb}{0.54,0,0.54}
+\definecolor{maroon}{rgb}{0.69,0.19,0.38}
+\definecolor{maroon1}{rgb}{1,0.2,0.7}
+\definecolor{maroon2}{rgb}{0.93,0.19,0.65}
+\definecolor{maroon3}{rgb}{0.8,0.16,0.56}
+\definecolor{maroon4}{rgb}{0.54,0.11,0.38}
+\definecolor{orchid}{rgb}{0.85,0.44,0.84}
+\definecolor{orchid1}{rgb}{1,0.51,0.98}
+\definecolor{orchid2}{rgb}{0.93,0.48,0.91}
+\definecolor{orchid3}{rgb}{0.8,0.41,0.79}
+\definecolor{orchid4}{rgb}{0.54,0.28,0.54}
+\definecolor{plum}{rgb}{0.86,0.63,0.86}
+\definecolor{plum1}{rgb}{1,0.73,1}
+\definecolor{plum2}{rgb}{0.93,0.68,0.93}
+\definecolor{plum3}{rgb}{0.8,0.59,0.8}
+\definecolor{plum4}{rgb}{0.54,0.4,0.54}
+\definecolor{purple}{rgb}{0.63,0.13,0.94}
+\definecolor{purple1}{rgb}{0.61,0.19,1}
+\definecolor{purple2}{rgb}{0.57,0.17,0.93}
+\definecolor{purple3}{rgb}{0.49,0.15,0.8}
+\definecolor{purple4}{rgb}{0.33,0.1,0.54}
+\definecolor{thistle}{rgb}{0.84,0.75,0.84}
+\definecolor{thistle1}{rgb}{1,0.88,1}
+\definecolor{thistle2}{rgb}{0.93,0.82,0.93}
+\definecolor{thistle3}{rgb}{0.8,0.71,0.8}
+\definecolor{thistle4}{rgb}{0.54,0.48,0.54}
+\definecolor{violet}{rgb}{0.93,0.51,0.93}
+\definecolor{AntiqueWhite}{rgb}{0.98,0.92,0.84}
+\definecolor{AntiqueWhite1}{rgb}{1,0.93,0.86}
+\definecolor{AntiqueWhite2}{rgb}{0.93,0.87,0.8}
+\definecolor{AntiqueWhite3}{rgb}{0.8,0.75,0.69}
+\definecolor{AntiqueWhite4}{rgb}{0.54,0.51,0.47}
+\definecolor{FloralWhite}{rgb}{1,0.98,0.94}
+\definecolor{GhostWhite}{rgb}{0.97,0.97,1}
+\definecolor{NavajoWhite}{rgb}{1,0.87,0.68}
+\definecolor{NavajoWhite1}{rgb}{1,0.87,0.68}
+\definecolor{NavajoWhite2}{rgb}{0.93,0.81,0.63}
+\definecolor{NavajoWhite3}{rgb}{0.8,0.7,0.54}
+\definecolor{NavajoWhite4}{rgb}{0.54,0.47,0.37}
+\definecolor{OldLace}{rgb}{0.99,0.96,0.9}
+\definecolor{WhiteSmoke}{rgb}{0.96,0.96,0.96}
+\definecolor{gainsboro}{rgb}{0.86,0.86,0.86}
+\definecolor{ivory}{rgb}{1,1,0.94}
+\definecolor{ivory1}{rgb}{1,1,0.94}
+\definecolor{ivory2}{rgb}{0.93,0.93,0.88}
+\definecolor{ivory3}{rgb}{0.8,0.8,0.75}
+\definecolor{ivory4}{rgb}{0.54,0.54,0.51}
+\definecolor{linen}{rgb}{0.98,0.94,0.9}
+\definecolor{seashell}{rgb}{1,0.96,0.93}
+\definecolor{seashell1}{rgb}{1,0.96,0.93}
+\definecolor{seashell2}{rgb}{0.93,0.89,0.87}
+\definecolor{seashell3}{rgb}{0.8,0.77,0.75}
+\definecolor{seashell4}{rgb}{0.54,0.52,0.51}
+\definecolor{snow}{rgb}{1,0.98,0.98}
+\definecolor{snow1}{rgb}{1,0.98,0.98}
+\definecolor{snow2}{rgb}{0.93,0.91,0.91}
+\definecolor{snow3}{rgb}{0.8,0.79,0.79}
+\definecolor{snow4}{rgb}{0.54,0.54,0.54}
+\definecolor{wheat}{rgb}{0.96,0.87,0.7}
+\definecolor{wheat1}{rgb}{1,0.9,0.73}
+\definecolor{wheat2}{rgb}{0.93,0.84,0.68}
+\definecolor{wheat3}{rgb}{0.8,0.73,0.59}
+\definecolor{wheat4}{rgb}{0.54,0.49,0.4}
+\definecolor{white}{rgb}{1,1,1}
+\definecolor{BlanchedAlmond}{rgb}{1,0.92,0.8}
+\definecolor{DarkGoldenrod}{rgb}{0.72,0.52,0.04}
+\definecolor{DarkGoldenrod1}{rgb}{1,0.72,0.06}
+\definecolor{DarkGoldenrod2}{rgb}{0.93,0.68,0.05}
+\definecolor{DarkGoldenrod3}{rgb}{0.8,0.58,0.05}
+\definecolor{DarkGoldenrod4}{rgb}{0.54,0.39,0.03}
+\definecolor{LemonChiffon}{rgb}{1,0.98,0.8}
+\definecolor{LemonChiffon1}{rgb}{1,0.98,0.8}
+\definecolor{LemonChiffon2}{rgb}{0.93,0.91,0.75}
+\definecolor{LemonChiffon3}{rgb}{0.8,0.79,0.64}
+\definecolor{LemonChiffon4}{rgb}{0.54,0.54,0.44}
+\definecolor{LightGoldenrod}{rgb}{0.93,0.86,0.51}
+\definecolor{LightGoldenrod1}{rgb}{1,0.92,0.54}
+\definecolor{LightGoldenrod2}{rgb}{0.93,0.86,0.51}
+\definecolor{LightGoldenrod3}{rgb}{0.8,0.74,0.44}
+\definecolor{LightGoldenrod4}{rgb}{0.54,0.5,0.3}
+\definecolor{LightGoldenrodYellow}{rgb}{0.98,0.98,0.82}
+\definecolor{LightYellow}{rgb}{1,1,0.88}
+\definecolor{LightYellow1}{rgb}{1,1,0.88}
+\definecolor{LightYellow2}{rgb}{0.93,0.93,0.82}
+\definecolor{LightYellow3}{rgb}{0.8,0.8,0.7}
+\definecolor{LightYellow4}{rgb}{0.54,0.54,0.48}
+\definecolor{PaleGoldenrod}{rgb}{0.93,0.91,0.66}
+\definecolor{PapayaWhip}{rgb}{1,0.93,0.83}
+\definecolor{cornsilk}{rgb}{1,0.97,0.86}
+\definecolor{cornsilk1}{rgb}{1,0.97,0.86}
+\definecolor{cornsilk2}{rgb}{0.93,0.91,0.8}
+\definecolor{cornsilk3}{rgb}{0.8,0.78,0.69}
+\definecolor{cornsilk4}{rgb}{0.54,0.53,0.47}
+\definecolor{gold}{rgb}{1,0.84,0}
+\definecolor{gold1}{rgb}{1,0.84,0}
+\definecolor{gold2}{rgb}{0.93,0.79,0}
+\definecolor{gold3}{rgb}{0.8,0.68,0}
+\definecolor{gold4}{rgb}{0.54,0.46,0}
+\definecolor{goldenrod}{rgb}{0.85,0.64,0.13}
+\definecolor{goldenrod1}{rgb}{1,0.75,0.14}
+\definecolor{goldenrod2}{rgb}{0.93,0.7,0.13}
+\definecolor{goldenrod3}{rgb}{0.8,0.61,0.11}
+\definecolor{goldenrod4}{rgb}{0.54,0.41,0.08}
+\definecolor{moccasin}{rgb}{1,0.89,0.71}
+\definecolor{yellow}{rgb}{1,1,0}
+\definecolor{yellow1}{rgb}{1,1,0}
+\definecolor{yellow2}{rgb}{0.93,0.93,0}
+\definecolor{yellow3}{rgb}{0.8,0.8,0}
+\definecolor{yellow4}{rgb}{0.54,0.54,0}
+
+\endinput
+%%
+%% End of file `BeamerColor.sty'.
diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..b140d5c
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,4 @@
+#!/usr/bin/make -f
+
+all:
+       latexmk -file-line-error -pdflatex="lualatex -shell-escape %O %S" -pdf
diff --git a/chapters/template.tex b/chapters/template.tex
new file mode 100644 (file)
index 0000000..063ed19
--- /dev/null
@@ -0,0 +1,9 @@
+\section{}
+\subsection*{Dummy}
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "../vortrag"
+%%% TeX-engine: luatex
+%%% TeX-PDF-mode: t
+%%% End: 
diff --git a/images/42.pdf b/images/42.pdf
new file mode 100644 (file)
index 0000000..a17e326
Binary files /dev/null and b/images/42.pdf differ
diff --git a/images/fau-logo.png b/images/fau-logo.png
new file mode 100644 (file)
index 0000000..e0f287c
Binary files /dev/null and b/images/fau-logo.png differ
diff --git a/images/tcs.pdf b/images/tcs.pdf
new file mode 100644 (file)
index 0000000..2401dc1
Binary files /dev/null and b/images/tcs.pdf differ
diff --git a/vortrag.tex b/vortrag.tex
new file mode 100644 (file)
index 0000000..3b07c62
--- /dev/null
@@ -0,0 +1,143 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%  This Beamer template was created by Cameron Bracken.
+%%  Anyone can freely use or modify it for any purpose
+%%  without attribution.
+%%
+%%  Last Modified: January 9, 2009
+%%
+%%% Modified by Maximilian Krüger
+%%%
+%%% April 17, 2014
+%%%
+%%%% Modified by Christoph Egger
+%%%%
+%%%% September 2015
+%%%%
+
+\documentclass[12pt]{beamer}
+
+\usepackage{BeamerColor}
+\usepackage{textcomp}
+%% Beamer Layout %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\useoutertheme[subsection=false,shadow]{miniframes}
+\setbeamertemplate{footline}[frame number]
+\useinnertheme{default}
+\usepackage{fontspec}
+\setmainfont{Droid Sans}
+\setsansfont{Droid Sans}
+\setmonofont{Source Code Pro Regular}
+
+\setbeamerfont{title like}{shape=\scshape}
+\setbeamerfont{frametitle}{shape=\scshape}
+\beamertemplatenavigationsymbolsempty
+%\setbeamertemplate{mini frames}{}
+\setbeamercolor*{lower separation line head}{bg=DeepSkyBlue4} 
+\setbeamercolor*{normal text}{fg=black,bg=white} 
+\setbeamercolor*{alerted text}{fg=red} 
+\setbeamercolor*{example text}{fg=black} 
+\setbeamercolor*{structure}{fg=black}
+\setbeamercolor*{frametitle}{fg=DeepSkyBlue4}
+\setbeamercolor*{title}{fg=DeepSkyBlue4}
+\setbeamercolor*{palette tertiary}{fg=white,bg=black!80} 
+\setbeamercolor*{palette quaternary}{fg=white,bg=black!80} 
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\usepackage{tikz}
+
+%\usepackage{minted}
+%\usemintedstyle{trac}
+%\usemintedstyle{monokai}
+\setbeamerfont{frametitle}{size=\huge}
+\setcounter{tocdepth}{2}
+\usepackage{booktabs}
+\usepackage{multirow}
+%use biblatex instead of bibtex
+%\usepackage[backend=bibtex, style=numeric, sorting=none]{biblatex}
+%\addbibresource{vortrag.bib}
+%\setbeamertemplate{bibliography item}{}
+\setbeamertemplate{caption}{\tiny\insertcaption}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{document}
+%\renewcommand{\inserttotalframenumber}{\pageref{lastslide}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[plain]
+\title{Alt. free $\mu$-Calculus for cool}
+%\subtitle{A Free and Interactive Disassembler}
+\author{
+       Christoph Egger\\
+       {\it Lehrstuhl~Informatik~8~\textendash~FAU}\\
+}
+\date{
+       \begin{tabular}[ht]{lcr}
+               \parbox{3.0cm}{
+                       \centering
+                       \includegraphics[width=2.5cm]{images/fau-logo.png}
+               } &
+               \parbox{3.0cm}{
+                       \centering
+
+               } &
+               \parbox{3.0cm}{
+                       \centering
+                       \includegraphics[width=2.5cm]{images/tcs.pdf}
+               }
+       \end{tabular}
+       \\
+       \vspace{0.6cm}
+       2016~\textendash~01~\textendash~19
+}
+\titlepage
+\end{frame}
+
+\AtBeginSection[]
+{
+  \begin{frame}
+    \frametitle{Table of Contents}
+    \tableofcontents[currentsection]
+  \end{frame}
+}
+
+\begin{frame}{Table of Contents}
+  \tableofcontents{}
+\end{frame}
+
+\begin{frame}{Where we left}
+  \begin{itemize}
+  \item actually implementing deferral tracking
+  \item deciding when some deferral can be considered ``finished''
+  \item \dots
+  \item finding ``right'' heuristic for when to try and close the tableaux
+  \item fixing all the bugs
+  \end{itemize}
+\end{frame}
+
+\input{chapters/finishingcool}
+\input{chapters/early}
+\input{chapters/optimizations}
+\input{chapters/benchmark}
+
+\section*{}
+
+\begin{frame}{Questions?}
+    \vspace*{\fill}
+    \begin{center}
+        \includegraphics[width=7cm]{images/42.pdf}
+    \end{center}
+    \vspace*{\fill}
+
+  Download: https://static.siccegge.de/talks/cool-FAU-2016-01-19.pdf\\
+  https://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool.git
+\end{frame}
+
+\end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-engine: luatex
+%%% TeX-PDF-mode: t
+%%% End:
\ No newline at end of file