\begin{frame}[allowframebreaks]{Albatross}
Evential is a mobile application that allows a user to view local events (movies, concerts, etc).
Here are 3 ideas for our app, Evential:
\begin{enumerate}

    \item \textbf{User Testing - Find nearby event} \\
	Evential has the goal of being a faster way to find nearby current events that the user would be interested in.
	Users would be given a simple task of finding a nearby event, on both Evential and on the internet, and the speed would be compared.
    \item \textbf{Fitness for purpose - Event Volume} \\
	Evential's goal is to provide a good set of events in any given city at a certain point in time.
	This can be verified by taking many samples of cities and times, and comparing the set of events to an established baseline.
    \item \textbf{Formal verification of events query} \\
	Evential uses a number of factors when querying the database for events.
	This can be formally verified.
    \item \textbf{Taedium: User Study - Event "Usefulness"} \\
	Evential strives to provide users with events that they were previously unaware of.
	Users would be provided with a list of events near them from they Evential app and asked to identify which events they were previously aware of and which
	ones were new to them.
	\item \textbf{VerifyY: Stress Testing of Performance} \\
	Verify the ability of the server to scale to high levels of load using stress-testing applications.
\end{enumerate}

\end{frame}
