SIS:in logiikan ryhmä järjestää Tampereella 25-27.8 logiikan alan konferenssin Scandinavian Logic Symposium 2014. Symposium on laaja-alainen ja kattaa niin matemaattisen kuin filosofisenkin logiikan, sekä yhteydet tietojenkäsittelytieteeseen ja lingvistiikkaan. Symposiumin keskeisenä tarkoituksena kartoittaa logiikan alan tilaa pohjoismaissa ja toimia alan pohjoismaisena tapaamispaikkana. Lisätietoja konferenssin nettisivuilta: http://www.sis.uta.fi/SLS2014/
The 9th Scandinavian Logic Symposium will be held at the Museum Centre Vapriikki in Tampere Finland, during 25-27 August 2014 under the auspices of the Scandinavian Logic Society. The scope of SLS 2014 is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, etc.
As with previous editions of the Symposium, its primary aims are to reflect the current activities in logic in the Nordic countries and to provide a local meeting forum for their logical communities, broadly conceived. Besides, it invites and warmly welcomes participation of logicians from all over the world. More information see the conference webpage: http://www.sis.uta.fi/SLS2014/
Important dates:
Submission deadline: 25.4.2014 (yhden sivun abstrakti)
Notification: 15.5.2014
Early registration deadline: 15.6.2014