16-30 July 2016, 8th South-East Asian Summer School on Computational Logic, Rayong, Thailand

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.