UPDATE: The collected abstracts are available here and directions for getting to SLS 2012 have been added here.
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.
As with previous editions of this conference, the main aim of the event is to reflect current activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to meet with fellow logicians from the area. But, needless to say, we also extend a warm welcome to logicians from further afield who wish to present their work, or even just attend.
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.
PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA:
7th Scandinavian Logic Symposium: Uppsala in 1996
6th Scandinavian Logic Symposium: Telemark in 1982
5th Scandinavian Logic Symposium: Aalborg in 1979
4th Scandinavian Logic Symposium: Jyväskylä in 1976
3rd Scandinavian Logic Symposium: Uppsala in 1973
2nd Scandinavian Logic Symposium: Oslo in 1971
1st Scandinavian Logic Symposium: Åbo in 1968
The proceedings of several of these meetings have been published in book form.
Sponsored by:
|
|
“Microsoft is a trademark of the Microsoft group of companies and is used under license from Microsoft.”
