6.2 List of Supported Summer Schools

The joint commission supports participation at the following Summer Schools in 2012. If a doctoral candidate wishes to attend a summer school that is not listed, he/she should talk to his/her supervisor. If the supervisor approves the choice, then the summer school will be added to the list.

  1. ESSLLI
    http://www.esslli2012.pl/

  2. IEEE International Conference on Semantic Computing
    http://icsc2012.pa.icar.cnr.it/

  3. LSS: The Logic Summer School at the Australian National University

  4. Utrecht Summer School 2012
    http://www.utrechtsummerschool.nl/

  5. Third International ALP/GULP Spring School on Computational Logic (ISCL)

  6. ACP Summer School 2012 - Hybrid Methods for Constraint Programming

  7. ESWC Summer School 2012 on Semantic Web

  8. Reasoning Web 2012 Summer School
    http://www.kr.tuwien.ac.at/events/rw2012/

  9. 2012 International Spring School in Formal Languages and Applications
    http://grammars.grlmc.com/ssfla2012/

  10. Interdisciplinary College 2012
    http://www.ik2012.de

  11. Second International SAT/SMT Summer School
    http://satsmtschool2012.fbk.eu