The Journal of Computer Science & Technology, a CCF B ranked journal, is going to have a special section on…
We are glad to announce the second edition of the Summer School on Formal Methods, which will be held at…
Andrea Turrini, a member of our institute, is organizing a workshop mainly targeted to students to meet and share their…
We offer unique carreer opportunities for talented students and young researchers at Saarland Informatics Campus. a joint Sino-European Initiative! More…