Check-in [8078001da1]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Added poster for appreciation reception.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:8078001da1f105a97cf03b3401abfd536decec82
User & Date: andy 2015-04-22 20:49:22
Context
2015-04-22
20:50
Commented out tentative section of universal/existential quantification. check-in: c98b0d6d4e user: andy tags: trunk
20:49
Added poster for appreciation reception. check-in: 8078001da1 user: andy tags: trunk
10:30
Added material to the report on the handling of explicit quantifiers. Leaf check-in: 8a438a8abd user: andy tags: forall-exists
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Added poster/arend-poster.pdf.

cannot compute difference between binary files

Added poster/arend-poster.tex.

            1  +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
            2  +% baposter Landscape Poster
            3  +% LaTeX Template
            4  +% Version 1.0 (11/06/13)
            5  +%
            6  +% baposter Class Created by:
            7  +% Brian Amberg (baposter@brian-amberg.de)
            8  +%
            9  +% This template has been downloaded from:
           10  +% http://www.LaTeXTemplates.com
           11  +%
           12  +% License:
           13  +% CC BY-NC-SA 3.0 (http://creativecommons.org/licenses/by-nc-sa/3.0/)
           14  +%
           15  +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
           16  +
           17  +%----------------------------------------------------------------------------------------
           18  +%	PACKAGES AND OTHER DOCUMENT CONFIGURATIONS
           19  +%----------------------------------------------------------------------------------------
           20  +
           21  +\documentclass[landscape,a0paper,fontscale=0.285]{baposter} % Adjust the font scale/size here
           22  +
           23  +\usepackage{graphicx} % Required for including images
           24  +\graphicspath{{figures/}} % Directory in which figures are stored
           25  +
           26  +\usepackage{amsmath} % For typesetting math
           27  +\usepackage{amssymb} % Adds new symbols to be used in math mode
           28  +
           29  +\usepackage{booktabs} % Top and bottom rules for tables
           30  +\usepackage{enumitem} % Used to reduce itemize/enumerate spacing
           31  +%\usepackage{palatino} % Use the Palatino font
           32  +\usepackage[font=small,labelfont=bf]{caption} % Required for specifying captions to tables and figures
           33  +
           34  +% Setup fonts.
           35  +\usepackage{fontspec}
           36  +\defaultfontfeatures{Mapping=tex-text}
           37  +\setmainfont[Numbers=OldStyle]{Junicode}
           38  +\setsansfont[Numbers=OldStyle,Scale=MatchLowercase]{Raleway}
           39  +\setmonofont[Scale=MatchLowercase]{Fantasque Sans Mono}
           40  +
           41  +% The \lnum{} command displays numbers normally (not old style). The font
           42  +% setting above sets them to old-style by default, and you cannot "turn off"
           43  +% a font feature, only create a new font with the feature turned off. 
           44  +\newfontface\liningnum{Junicode}
           45  +\newcommand{\lnum}[1]{{\liningnum #1}}
           46  +
           47  +\usepackage{multicol} % Required for multiple columns
           48  +\setlength{\columnsep}{1.5em} % Slightly increase the space between columns
           49  +\setlength{\columnseprule}{0mm} % No horizontal rule between columns
           50  +
           51  +\usepackage{tikz} % Required for flow chart
           52  +\usetikzlibrary{shapes,arrows} % Tikz libraries required for the flow chart in the template
           53  +
           54  +\newcommand{\compresslist}{ % Define a command to reduce spacing within itemize/enumerate environments, this is used right after \begin{itemize} or \begin{enumerate}
           55  +\setlength{\itemsep}{1pt}
           56  +\setlength{\parskip}{0pt}
           57  +\setlength{\parsep}{0pt}
           58  +}
           59  +
           60  +\definecolor{lightblue}{rgb}{0.145,0.6666,1} % Defines the color used for content box headers
           61  +
           62  +\begin{document}
           63  +
           64  +\begin{poster}
           65  +{
           66  +headerborder=closed, % Adds a border around the header of content boxes
           67  +colspacing=1em, % Column spacing
           68  +bgColorOne=white, % Background color for the gradient on the left side of the poster
           69  +bgColorTwo=white, % Background color for the gradient on the right side of the poster
           70  +borderColor=lightblue, % Border color
           71  +headerColorOne=black, % Background color for the header in the content boxes (left side)
           72  +headerColorTwo=lightblue, % Background color for the header in the content boxes (right side)
           73  +headerFontColor=white, % Text color for the header text in the content boxes
           74  +boxColorOne=white, % Background color of the content boxes
           75  +textborder=roundedleft, % Format of the border around content boxes, can be: none, bars, coils, triangles, rectangle, rounded, roundedsmall, roundedright or faded
           76  +eyecatcher=true, % Set to false for ignoring the left logo in the title and move the title left
           77  +headerheight=0.1\textheight, % Height of the header
           78  +headershape=roundedright, % Specify the rounded corner in the content box headers, can be: rectangle, small-rounded, roundedright, roundedleft or rounded
           79  +headerfont=\Large\bf\textsc, % Large, bold and sans serif font in the headers of content boxes
           80  +%textfont={\setlength{\parindent}{1.5em}}, % Uncomment for paragraph indentation
           81  +linewidth=2pt % Width of the border lines around content boxes
           82  +}
           83  +%----------------------------------------------------------------------------------------
           84  +%	TITLE SECTION 
           85  +%----------------------------------------------------------------------------------------
           86  +%
           87  +{\includegraphics[height=4em]{logo.png}} % First university/lab logo on the left
           88  +{\bf\textsc{Arend --- Proof Assistant Assisted Pegagogy}\vspace{0.5em}} % Poster title
           89  +{\textsc{\{ Andrew V. Clifton \} \hspace{12pt} California State University, Fresno; College of Science and Mathematics; Computer Science Dept.}} % Author names and institution
           90  +{\includegraphics[height=4em]{logo.png}} % Second university/lab logo on the right
           91  +
           92  +%----------------------------------------------------------------------------------------
           93  +%	OBJECTIVES
           94  +%----------------------------------------------------------------------------------------
           95  +
           96  +\headerbox{Objectives}{name=objectives,column=0,row=0}{
           97  +
           98  +Donec non nisl a \textbf{arcu consequat} varius. Sed suscipit cursus luctus. Nulla sit amet elit augue. Curabitur scelerisque mollis dolor, quis blandit lorem condimentum at. Pellentesque sed nibh vel \textbf{dolor} sagittis semper. 
           99  +
          100  +\begin{enumerate}\compresslist
          101  +\item Feugiat vitae elit
          102  +\item bibendum ante sed lacinia eros in
          103  +\item Curabitur scelerisque arcu consequat varius
          104  +\item Dapibus nulla id purus consectetur
          105  +\item Fringilla integer 
          106  +\end{enumerate}
          107  +
          108  +\vspace{0.3em} % When there are two boxes, some whitespace may need to be added if the one on the right has more content
          109  +}
          110  +
          111  +%----------------------------------------------------------------------------------------
          112  +%	INTRODUCTION
          113  +%----------------------------------------------------------------------------------------
          114  +
          115  +\headerbox{Introduction}{name=introduction,column=1,row=0,bottomaligned=objectives}{
          116  +
          117  +Aliquam non lacus dolor, \textit{a aliquam quam}. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Nulla in nibh mauris. Donec vel ligula nisi, a lacinia arcu. Sed mi dui, malesuada vel consectetur et, egestas porta nisi. Sed eleifend pharetra dolor, et dapibus est vulputate eu. \textbf{Integer faucibus elementum felis vitae fringilla.} In hac habitasse platea dictumst. Duis tristique rutrum nisl, nec vulputate elit porta ut. Donec sodales sollicitudin turpis sed convallis. Etiam mauris ligula, blandit adipiscing condimentum eu, dapibus pellentesque risus.
          118  +}
          119  +
          120  +%----------------------------------------------------------------------------------------
          121  +%	RESULTS 1
          122  +%----------------------------------------------------------------------------------------
          123  +
          124  +\headerbox{Results 1}{name=results,column=2,span=2,row=0}{
          125  +
          126  +\begin{multicols}{2}
          127  +\vspace{1em}
          128  +\begin{center}
          129  +\includegraphics[width=0.8\linewidth]{placeholder}
          130  +\captionof{figure}{Figure caption}
          131  +\end{center}
          132  +
          133  +Aliquam auctor, metus id ultrices porta, risus enim cursus sapien, quis iaculis sapien tortor sed odio. Mauris ante orci, euismod vitae tincidunt eu, porta ut neque. Aenean sapien est, viverra vel lacinia nec, venenatis eu nulla. Maecenas ut nunc nibh, et tempus libero. Aenean vitae risus ante. Pellentesque condimentum dui. Etiam sagittis purus non tellus tempor volutpat. Donec et dui non massa tristique adipiscing.
          134  +\end{multicols}
          135  +
          136  +%------------------------------------------------
          137  +
          138  +\begin{multicols}{2}
          139  +\vspace{1em}
          140  +Sed fringilla tempus hendrerit. Vestibulum ante ipsum primis in faucibus orci luctus et ultrices posuere cubilia Curae; Etiam ut elit sit amet metus lobortis consequat sit amet in libero. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Phasellus vel sem magna. Nunc at convallis urna. isus ante. Pellentesque condimentum dui. Etiam sagittis purus non tellus tempor volutpat. Donec et dui non massa tristique adipiscing. Quisque vestibulum eros eu.
          141  +
          142  +\begin{center}
          143  +\includegraphics[width=0.8\linewidth]{placeholder}
          144  +\captionof{figure}{Figure caption}
          145  +\end{center}
          146  +
          147  +\end{multicols}
          148  +}
          149  +
          150  +%----------------------------------------------------------------------------------------
          151  +%	REFERENCES
          152  +%----------------------------------------------------------------------------------------
          153  +
          154  +\headerbox{References}{name=references,column=0,above=bottom}{
          155  +
          156  +\renewcommand{\section}[2]{\vskip 0.05em} % Get rid of the default "References" section title
          157  +\nocite{*} % Insert publications even if they are not cited in the poster
          158  +\small{ % Reduce the font size in this block
          159  +\bibliographystyle{unsrt}
          160  +\bibliography{sample} % Use sample.bib as the bibliography file
          161  +}}
          162  +
          163  +%----------------------------------------------------------------------------------------
          164  +%	FUTURE RESEARCH
          165  +%----------------------------------------------------------------------------------------
          166  +
          167  +\headerbox{Future Research}{name=futureresearch,column=1,span=2,aligned=references,above=bottom}{ % This block is as tall as the references block
          168  +
          169  +\begin{multicols}{2}
          170  +Integer sed lectus vel mauris euismod suscipit. Praesent a est a est ultricies pellentesque. Donec tincidunt, nunc in feugiat varius, lectus lectus auctor lorem, egestas molestie risus erat ut nibh.
          171  +
          172  +Maecenas viverra ligula a risus blandit vel tincidunt est adipiscing. Suspendisse mollis iaculis sem, in \emph{imperdiet} orci porta vitae. Quisque id dui sed ante sollicitudin sagittis.
          173  +\end{multicols}
          174  +}
          175  +
          176  +%----------------------------------------------------------------------------------------
          177  +%	CONTACT INFORMATION
          178  +%----------------------------------------------------------------------------------------
          179  +
          180  +\headerbox{Contact Information}{name=contact,column=3,aligned=references,above=bottom}{ % This block is as tall as the references block
          181  +
          182  +\begin{description}\compresslist
          183  +\item[Web] www.university.edu/smithlab
          184  +\item[Email] john@smith.com
          185  +\item[Phone] +1 (000) 111 1111
          186  +\end{description}
          187  +}
          188  +
          189  +%----------------------------------------------------------------------------------------
          190  +%	CONCLUSION
          191  +%----------------------------------------------------------------------------------------
          192  +
          193  +\headerbox{Conclusion}{name=conclusion,column=2,span=2,row=0,below=results,above=references}{
          194  +
          195  +\begin{multicols}{2}
          196  +
          197  +\tikzstyle{decision} = [diamond, draw, fill=blue!20, text width=4.5em, text badly centered, node distance=2cm, inner sep=0pt]
          198  +\tikzstyle{block} = [rectangle, draw, fill=blue!20, text width=5em, text centered, rounded corners, minimum height=4em]
          199  +\tikzstyle{line} = [draw, -latex']
          200  +\tikzstyle{cloud} = [draw, ellipse, fill=red!20, node distance=3cm, minimum height=2em]
          201  +
          202  +\begin{tikzpicture}[node distance = 2cm, auto]
          203  +\node [block] (init) {Initialize Model};
          204  +\node [cloud, left of=init] (Start) {Start};
          205  +\node [cloud, right of=init] (Start2) {Start Two};
          206  +\node [block, below of=init] (init2) {Initialize Two};
          207  +\node [decision, below of=init2] (End) {End};
          208  +\path [line] (init) -- (init2);
          209  +\path [line] (init2) -- (End);
          210  +\path [line, dashed] (Start) -- (init);
          211  +\path [line, dashed] (Start2) -- (init);
          212  +\path [line, dashed] (Start2) |- (init2);
          213  +\end{tikzpicture}
          214  +
          215  +%------------------------------------------------
          216  +
          217  +\begin{itemize}\compresslist
          218  +\item Pellentesque eget orci eros. Fusce ultricies, tellus et pellentesque fringilla, ante massa luctus libero, quis tristique purus urna nec nibh. Phasellus fermentum rutrum elementum. Nam quis justo lectus.
          219  +\item Vestibulum sem ante, hendrerit a gravida ac, blandit quis magna.
          220  +\item Donec sem metus, facilisis at condimentum eget, vehicula ut massa. Morbi consequat, diam sed convallis tincidunt, arcu nunc.
          221  +\item Nunc at convallis urna. isus ante. Pellentesque condimentum dui. Etiam sagittis purus non tellus tempor volutpat. Donec et dui non massa tristique adipiscing.
          222  +\end{itemize}
          223  +
          224  +\end{multicols}
          225  +}
          226  +
          227  +%----------------------------------------------------------------------------------------
          228  +%	MATERIALS AND METHODS
          229  +%----------------------------------------------------------------------------------------
          230  +
          231  +\headerbox{Materials \& Methods}{name=method,column=0,below=objectives,bottomaligned=conclusion}{ % This block's bottom aligns with the bottom of the conclusion block
          232  +
          233  +The following materials were required to complete the research:
          234  +
          235  +\begin{itemize}\compresslist
          236  +\item Curabitur pellentesque dignissim
          237  +\item Eu facilisis est tempus quis
          238  +\item Duis porta consequat lorem
          239  +\item Eu facilisis est tempus quis
          240  +\end{itemize}
          241  +
          242  +The following equations were used for statistical analysis:
          243  +
          244  +\begin{equation}
          245  +\cos^3 \theta =\frac{1}{4}\cos\theta+\frac{3}{4}\cos 3\theta
          246  +\label{eq:refname}
          247  +\end{equation}\
          248  +
          249  +\begin{equation}
          250  +E = mc^{2}
          251  +\label{eqn:Einstein}
          252  +\end{equation}
          253  +
          254  +Phasellus imperdiet, tortor vitae congue bibendum, felis enim sagittis lorem, et volutpat ante orci sagittis mi. Morbi rutrum laoreet semper. Morbi accumsan enim nec tortor consectetur non commodo nisi sollicitudin. Proin sollicitudin. Pellentesque eget orci eros. Fusce ultricies, tellus et pellentesque fringilla, ante massa luctus libero, quis tristique purus urna nec nibh.
          255  +}
          256  +
          257  +%----------------------------------------------------------------------------------------
          258  +%	RESULTS 2
          259  +%----------------------------------------------------------------------------------------
          260  +
          261  +\headerbox{Results 2}{name=results2,column=1,below=objectives,bottomaligned=conclusion}{ % This block's bottom aligns with the bottom of the conclusion block
          262  +
          263  +Donec faucibus purus at tortor egestas eu fermentum dolor facilisis. Maecenas tempor dui eu neque fringilla rutrum. Mauris \emph{lobortis} nisl accumsan.
          264  +
          265  +\begin{center}
          266  +\begin{tabular}{l l l}
          267  +\toprule
          268  +\textbf{Treatments} & \textbf{Response 1} & \textbf{Response 2}\\
          269  +\midrule
          270  +Treatment 1 & 0.0003262 & 0.562 \\
          271  +Treatment 2 & 0.0015681 & 0.910 \\
          272  +Treatment 3 & 0.0009271 & 0.296 \\
          273  +\bottomrule
          274  +\end{tabular}
          275  +\captionof{table}{Table caption}
          276  +\end{center}
          277  +
          278  +Nulla ut porttitor enim. Suspendisse venenatis dui eget eros gravida tempor. Mauris feugiat elit et augue placerat ultrices. Morbi accumsan enim nec tortor consectetur non commodo.
          279  +
          280  +\begin{center}
          281  +\begin{tabular}{l l l}
          282  +\toprule
          283  +\textbf{Treatments} & \textbf{Response 1} & \textbf{Response 2}\\
          284  +\midrule
          285  +Treatment 1 & 0.0003262 & 0.562 \\
          286  +Treatment 2 & 0.0015681 & 0.910 \\
          287  +Treatment 3 & 0.0009271 & 0.296 \\
          288  +\bottomrule
          289  +\end{tabular}
          290  +\captionof{table}{Table caption}
          291  +\end{center}
          292  +}
          293  +
          294  +%----------------------------------------------------------------------------------------
          295  +
          296  +\end{poster}
          297  +
          298  +\end{document}