---
title: 'Logic Programming Working Group'
tags:
  - logic programming
authors:
  - name: Pjotr Prins
    orcid: 0000-0002-8021-9162
    affiliation: 1
  - name: Peter Amstutz
    orcid: 0000
    affiliation: 2
  - name: Tazro Ohta
    orcid: 0000
    affiliation: 3
  - name: Thomas Liener
    orcid: 0000
    affiliation: 4
  - name: Erik Garrison
    orcid: 0000
    affiliation: 5
  - name: Michael Crusoe
    orcid: 0000
    affiliation: 6
  - name: Rutger Vos
    orcid: 0000
    affiliation: 7
  - Michael Heuer
    orcid: 0000
    affiliation: 8

affiliations:
  - name: Department of Genetics, Genomics and Informatics, The University of Tennessee Health Science Center, Memphis, TN, USA.
    index: 1
  - name: Curii, Boston, USA
    index: 2
date: 11 April 2020
bibliography: paper.bib
---

<!--

The paper.md, bibtex and figure file can be found in this repo:

  https://github.com/arvados/bh20-seq-resource

To modify, please clone the repo. You can generate PDF of the paper by
pasting above link (or yours) with

  https://github.com/biohackrxiv/bhxiv-gen-pdf

-->

# Introduction

As part of the one week COVID-19 Biohackathion 2020, we formed a
working group on creating a public sequence resource for Corona virus.


<!--

    RESULTS!

    For each section below

    State the problem you worked on
    Give the state-of-the art/plan
    Describe what you have done/results starting with The working group created...
    Write a conclusion
    Write up any future work

-->

## Cloud computing backend

Peter, Pjotr, MichaelC

## A command-line sequence uploader

Peter, Pjotr

## Metadata uploader

With Thomas

## FASTA to GFA workflow

Michael Heuer

## BAM to GFA workflow

Tazro & Erik

## Phylogeny app

With Rutger

## RDF app

Jerven?

## EBI app

?

# Discussion

Future work...

# References