\documentclass{sig-alternate}
\usepackage{times}
\usepackage{url}
\usepackage{graphics}
\usepackage{color}
\usepackage{xspace}
\usepackage[pdftex]{hyperref}
\hypersetup{%
pdftitle={SCG},
pdfauthor={Your Authors},
pdfkeywords={your keywords},
bookmarksnumbered,
pdfstartview={FitH},
colorlinks,
citecolor=black,
filecolor=black,
linkcolor=black,
urlcolor=black,
breaklinks=true,
}
\newcommand{\comment}[1]{}
\newcommand\gap{\;\;}

\definecolor{Orange}{rgb}{1,0.5,0}
\newcommand{\todo}[1]{\textsf{\textbf{\textcolor{Orange}{[[#1]]}}}}


\newcommand{\period}[1]{#1\xspace}
\newcommand\SCG{\period{Scientific Community Game}}
\newcommand\SCGp{Scientific Community Game}

% from bionetics
\newcommand\demj{DemeterJ}

% for this paper
\newcommand\OmegaA{$\Omega\mbox{-}structure ~ \mathcal{A}$}
\newcommand\Omegaphi{ $\Omega\mbox{-}formula ~ \phi$}

\pagenumbering{arabic}  % Arabic page numbers for submission.  Remove this line to eliminate page numbers for the camera ready copy

\begin{document}
% to make various LaTeX processors do the right thing with page size
\special{papersize=8.5in,11in}
\setlength{\paperheight}{11in}
\setlength{\paperwidth}{8.5in}
\setlength{\pdfpageheight}{\paperheight}
\setlength{\pdfpagewidth}{\paperwidth}

% use this command to override the default ACM copyright statement 
% (e.g. for preprints). Remove for camera ready copy.
\toappear{To be submitted for review to the Serious Games track of the conference Foundations of Digital Games, 2013, Crete.}

\title{
%Crowdsourcing for STEM Knowledge Bases and The Know-How To Defend Them OR 
%Social Software for Computational Communities
The Scientific Community Game:\\
A Lens to Focus the Global Brain
%A Sociotechnical Architecture for Problem Solving
}
\numberofauthors{2}
\author{
  \alignauthor Ahmed Abdelmeged\\
    \affaddr{Northeastern University}\\
    \email{mohsen@ccs.neu.com}
  \alignauthor Karl Lieberherr\\
    \affaddr{Northeastern University}\\
    \email{lieber@ccs.neu.edu}
}

\maketitle
\begin{abstract}
% done by grammarly
We define the 
Scientific Community Game (SCG, formerly called the
Specker Challenge Game) and we show basic game properties
which are key to making the game interesting.
An example illustrates the concepts.
SCG, the first generic model 
of the Popperian Scientific Method on the web,
models scientific communities and has broad applications
in teaching and research organization.

SCG is designed 
to be both educational for scholars, and to
solve problems that we don't know how to solve yet.
SCG provides a systematic framework to
develop and disseminate the world's constructive claims
in formal scientific domains.
The development of claims is both 
collaborative and self-evaluating,
and SCG is an effective lens to focus the global brain
on solving a specific problem.

A key contribution of the paper is the design of SCG,
including a CSP-model of payoff function design.
The CSP-model allows us to state and prove
key properties of the game
across all its instantiations.

%A contribution of this paper is a simple protocol language
%which is at the heart of defining constructive claims through games.
%%Our protocol language generalizes the class of claims that
%%can be expressed in predicate logic.
%We build on the long tradition in logic and games of imperfect information:
%our protocol language can also express indeterminate claims, such as 
%``I am better than you at solving this problem.''
%
%The goal of SCG is to be both educational for the scholars and to
%solve problems that we don't know how to solve yet.
%SCG provides a systematic framework to
%develop and disseminate the world's constructive claims
%in formal scientific domains. 
%The development of claims is both collaborative and self-evaluating
%and SCG is an effective lens to focus the global brain
%on solving a specific problem.
%12/19/2012 v4
\end{abstract}
\keywords{
Human computation, STEM innovation and education,
epistemology, dialogic games, Karl Popper, mechanism design,
social welfare, logic, defense strategies, games and quantifiers, virtual communities.
} 


%\category{H.5.2}{Information Interfaces and Presentation}{Miscellaneous}[Optional sub-category]
%


%\section{Definition}

\input{definitions2}

%\cite{StanfordEncyclopedia}

%\bibliographystyle{abbrv}
%\bibliography{sample}

\bibliographystyle{abbrv}
\bibliography{references}

% \input{executive-summary-nsf}
\end{document}