enable short event url
demonstrating short url for events
Merge pull request #2 from torbjoernk/feature/short-event-url

adding a short url option for display on event pages
fixing logos on event pages
Merge pull request #3 from torbjoernk/feature/fix-logos

fixing logos on event pages
events: adding short urls for other events
Merge branch 'feature/fix-logos' of https://github.com/torbjoernk/parallel-in-time.github.io into source
renaming events to workshops

on daniels suggestion
Merge pull request #4 from torbjoernk/feature/event-to-workshop

renaming events to workshops
workshop: further details on PinT Workshop 2015
Merge remote-tracking branch 'pint/source' into source