Correctness Workshop Site

For changes please edit index.md

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
_includes		_includes
_layouts		_layouts
_posts		_posts
aboutme		aboutme
archive		archive
assets		assets
categories		categories
contact		contact
img		img
papers		papers
travel		travel
.gitignore		.gitignore
404.html		404.html
Gemfile		Gemfile
Gemfile.lock		Gemfile.lock
LICENSE		LICENSE
README.md		README.md
_config.yml		_config.yml
camera-ready.md		camera-ready.md
feed.xml		feed.xml
index.html		index.html
index.md		index.md

Provide feedback