Mascot-SDS
overflow: auto; /* Scrollbar is displayed as it's needed */
Tamajit Banerjee Rupak Majumdar Kaushik Mallik
IIT Delhi, India MPI-SWS, Germany ISTA, Austria
tamajitbuba3 (at) gmail.com rupak (at) mpi-sws.org kaushik.mallik (at) ist.ac.at
Mateusz Rychlicki Anne-Kathrin Schmuck Sadegh Soudjani
Univ. of Leeds, UK MPI-SWS, Germany Newcastle University, UK
scmkry (at) leeds.ac.uk akschmuck (at) mpi-sws.org Sadegh.Soudjani (at) newcastle.ac.uk