This is the git repository of the website https://concurrency-theory.org. The site primarily serves as a place for the IFIP-WG 1.8 “Concurrency Theory” (of TC 1 Foundations of Computer Science) to share information. It also contains some contens of the former page of the Calculi for Mobile Processes community lamp.epfl.ch/mobility.
This site can be built locally using Bundler and Jekyll.
bundle config set path 'vendor/bundle'
bundle install
bundle exec jekyll serve --livereload