Update index.md

Add link to EPTCS
Merge pull request #457 from garrigue/patch-1

Update index.md