\documentclass[compress]{beamer}
%,hyperref={pdfpagelabels=false}

\usepackage[ngerman,english]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{helvet}
\usepackage{url}
\usepackage{listings}
\usepackage{xcolor}
\usepackage{xspace} % Abstand hinter Variablennamen
\usepackage{fix-cm}
\usepackage{tikz}
%\usepackage[square, sort, numbers, authoryear]{natbib}

\usepackage{beamerthemeLEA2}

%\bibliographystyle{plainnat}


\newenvironment{changemargin}[2]{% 
  \begin{list}{}{%
    \setlength{\topsep}{0pt}%
    \setlength{\leftmargin}{#1}%
    \setlength{\rightmargin}{#2}%
    \setlength{\listparindent}{\parindent}%
    \setlength{\itemindent}{\parindent}%
    \setlength{\parsep}{\parskip}%
  }%
  \item[]}{\end{list}}

\title{Graphview}
\subtitle{Graph visualization tool for Isabelle}
\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} 
%\date{\today}
\date{2012-10-17}
\institute{Technische Universität München}
%Inhaltsverzeichnis zu Begin von jedem Abschnitt einblenden?
%\AtBeginSection[]{
%  \begin{frame}
%    \frametitle{Outline}
%    \tableofcontents[currentsection]
%  \end{frame}
%}
%\AtBeginSection[]{
%	\begin{frame}[plain]
%		\begin{center} \LARGE\insertsectionhead \end{center} 	
%	\end{frame}
%}

\begin{document}

\begin{frame}
  \titlepage
\end{frame}

% Inhaltsverzeichnis
%\begin{frame}
%  \frametitle{Inhalt}
%  \tableofcontents
%\end{frame}

\begin{frame}
	\frametitle{About Me}
	\begin{itemize}
		\item Bachelor student at TUM
		\item Computer Science
		\item Started in 2010

		\vspace{1.5em}

		\item Hiwi since Dec. 2010
		\item No prior FP experience
	\end{itemize}
\end{frame}

\begin{frame}
	\frametitle{Graphbrowser}
	
	\begin{columns}[T]
		\begin{column}{.4\textwidth}
			\begin{itemize}
				\item By Stefan Berghofer
				\vspace{1.5em}
				\item Written in Java
				\item Shows theory dependencies
				\item Can filter subtrees
				\item Static layout
			\end{itemize}
		\end{column}
		\begin{column}{.6\textwidth}
			\includegraphics[width=\textwidth]{img/graphbrowser}
		\end{column}
	\end{columns}
\end{frame}

\begin{frame}
	\frametitle{Task}
	
	\begin{itemize}
		\item Rewrite in Scala
		\item Integration into Isabelle/jEdit		
		\item Universal graph tool		
		\item Extension to locale dependencies
		\item Handling of larger graphs
		\item Better filtering		
		\item Interactive interface	
	\end{itemize}
\end{frame}

\begin{frame}
	\frametitle{Graphview}
	
	\begin{columns}[T]
		\begin{column}{.4\textwidth}
			\begin{itemize}
				\item jEdit dockable or stand-alone
				\item Displays DAGs
				\item Flexible tooltips				
				\vspace{1.5em}
				\item Filters
				\item Colorations
			\end{itemize}
		\end{column}
		\begin{column}{.6\textwidth}
			\includegraphics[width=\textwidth]{img/graphview}
		\end{column}
	\end{columns}
\end{frame}

\begin{frame}[plain]	
	\begin{center}
		\LARGE Demo
	\end{center}
\end{frame}

\begin{frame}
	\frametitle{Challenge}
	
	\begin{itemize}
		\item Scala, FP concepts
		\item Isabelle	
		
		\vspace{2em}		
		
		\item JUNG
		\item Reimplementation with Java2D
	\end{itemize}
\end{frame}

\begin{frame}
	\frametitle{JUNG}
	
	Java Universal Network/Graph Framework	
	\vspace{1.5em}
	\begin{itemize}
		\item Selected after Lars Hupel's evaluation 	
		\item Handles graph representation and visualization
		\item Looked promising from the outside
	\end{itemize}
	\vspace{1.5em}
	But
	\begin{itemize}
		\item Dying project
		\item No good DAG layout-algorithm
		\item Imperative
		\item Much boilerplate work
	\end{itemize}
\end{frame}

\begin{frame}
	\frametitle{Reimplementation}
	
	Uses
	\begin{itemize}
		\item Isabelle's internal graph representation
		\item Java2D-visualization
		
		\vspace{1.5em}
		\item More functional and simpler code
		\item No external dependencies		
		\item Halved LOC
		\item Easier interaction with ML
	\end{itemize}
\end{frame}

\begin{frame}
	\frametitle{Possible Improvements}
	
	\begin{itemize}
		\item Faster rendering
		\item Prettier layout algorithm
		\item Content-based filters
		\item Better integration into Isabelle/jEdit
	\end{itemize}
\end{frame}

\begin{frame}[plain]
	\begin{center}
		\LARGE Discussion
	\end{center}		
\end{frame}
\end{document}