All About EMCL

next up previous Next: 5.4 Joint Diploma Supplement. Up: 5 Appendix (is to Previous: 5.2.2 Scholars


5.3 List of Supported Summer Schools

The JC supports students who attend one of the following Summer Schools in 2012:

  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
    (nothing announced yet)

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

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

  6. ACP Summer School 2012 - Hybrid Methods for Constraint Programming
    (nothing announced yet)

  7. ESWC Summer School 2012 on Semantic Web
    (nothing announced yet)

  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. SAT/SMT Summer School
    http://satsmtschool2012.fbk.eu/

If a student wants to go to another Summer School, then the student should talk to the local coordinator. If the local coordination approves the choice, then the summer school will be added to the list.