8th Scandinavian Logic Symposium, 20-21 August 2012, Roskilde University, Denmark
After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS) and will be held at Roskilde University (RUC), Denmark, a short train ride from the centre of Copenhagen.
Also note that the Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark. And just a few days before the Scandinavian Logic Symposium, the PCC 2012 - Proof, Computation, Complexity workshop will take place in Copenhagen on 17-18 August 2012. So this will truly be Logic Summer in the greater Copenhagen area.
After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS) and will be held at Roskilde University (RUC), Denmark, a short train ride from the centre of Copenhagen.
Also note that the Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark. And just a few days before the Scandinavian Logic Symposium, the PCC 2012 - Proof, Computation, Complexity workshop will take place in Copenhagen on 17-18 August 2012. So this will truly be Logic Summer in the greater Copenhagen area.