Update ISSTA schedule
RE'13 added
RE'13 added (2)
RE'13 added (3: manual adaption)
RE'13 added (4: manual adaption)
Merge pull request #47 from confpub/master

Update of ISSTA, addition of RE