Campus E1 1
66123 Saarbrücken (Germany)
LICS
IEEE Symposium on Logic in Computer Science, LICS
CAV
Computer Aided Verification - 31th International Conference, CAV
Mensch und Computer 2015 - Proceedings, Stuttgart, Germany, September 6-9, 2015
Proceedings of the 4th International Symposium on Pervasive Displays, PerDis 2015, Saarbrücken, Germany, June 10-12, 2015
Proceedings of the 4th International Symposium on Pervasive Displays, PerDis 2015, Saarbrücken, Germany, June 10-12, 2015