16-30 Jul 2016
Rayong, Thailand
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 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam