[DL] 8th South-East Asian Summer School on Computational Logic in Rayong, Thailand, July 16 to 30, 2016

[Summerschool]

Dear all,

from July 16 to July 30, 2016 the 8th ICCL summer school will take place, which will be held in Rayong, Thailand and supported by the German Academic Exchange Service (DAAD). The summer school is done in cooperation with the cluster 'semantic technologies' of the Erasmus Mundus Action 2 project swap and transfer.

The first summer school has been held 2005 in HUT, Vietnam and the second summer school has been held 2006 in UI Jakarta, Indonesia. The summer schools in 2007 and 2014 have been held in Vietnam and the summer schools in 2008, 2010 and 2012 have been held in Indonesia again.

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 here:

https://ddll.inf.tu-dresden.de/web/SummerSchool2016

The online registration form can be found here:

http://www.computational-logic.org/content/events/iccl-ss-2016/register/general.php

with best regards,

the organizers of the summer school