Nordic Spring School in Logic 2013

Prosjektet går ut på, i samarbeid med Scandinavian Logic Society (SLS), å arrangere en "vårskole" i logikk ved Sophus Lie Conference Center i Nordfjordeid. Logikk er en viktig del av IKT både når det gjelder anvendelser og som grunnlagsfag. Det er viktig for utviklingen av IKT i Norge at tilstrekkelig mange behersker logikk som et teoretisk og anvendt fag. I Norge er det sterke forskningsgrupper i logikk, blant annet ved instituttene for informatikk i Bergen og Oslo, og ved Matematisk institutt i Oslo. Målgruppen for arrangementet er forskerstudenter og unge forskere fra Norden (prioritert) og fra det øvrige Europa fra alle grener av logikken, og vi regner med 60 - 90 deltagere. Programmet er fastlagt av en internasjonal komite utpekt av SLS, se vedleg g. Foreleserne er etablerte forskere fra Norge, Danmark, Sverige, Tyskland, Nederland, England og Spania, og forelesningsseriene vil dekke et bredt spekter av emner innen logikk. Arrangementet annonseres på nettstedet til SLS og gjennom diverse postlist er. Informasjon om arrangementet spres via personlige nettverk. Temaet for forskerskolen faller inn under hovedtemaet for VERDIKT, og vil bidra til å spre kunnskaper som er viktige for forskning innen samtlige fagsøyler i programmet. Personlige nettve rk starter ofte ved at unge forskere blir kjent med hverandre på arrangementer som dette, hvor deltagerne bor sammen hele tiden, og en langsiktig konsekvens av arrangementet vil være en internasjonal nettverksbygging som kommer fremtidens norske forskere i IKT til gode.